org.checkerframework.checker.index

Class OffsetDependentTypesHelper

java.lang.Object

org.checkerframework.framework.util.dependenttypes.DependentTypesHelper

org.checkerframework.checker.index.OffsetDependentTypesHelper

public class OffsetDependentTypesHelper
extends org.checkerframework.framework.util.dependenttypes.DependentTypesHelper

Dependent type helper for array offset expressions. Each array offset expression may be the addition or subtraction of several Java expressions. For example, array.length - 1.

Field Summary

Fields inherited from class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper

factory

Constructor Summary

Constructors

Constructor and Description
OffsetDependentTypesHelper(org.checkerframework.framework.type.AnnotatedTypeFactory factory)

Method Summary

Modifier and Type	Method and Description
org.checkerframework.framework.type.treeannotator.TreeAnnotator	createDependentTypesTreeAnnotator(org.checkerframework.framework.type.AnnotatedTypeFactory factory)
protected String	standardizeString(String expression, org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext context, TreePath localScope, boolean useLocalScope)

Methods inherited from class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper

checkAnnotation, checkMethod, checkType, hasDependentAnnotations, reportErrors, standardizeAnnotation, standardizeExpression, standardizeFieldAccess, standardizeNewClassTree, standardizeReturnType, standardizeVariable, standardizeVariable, viewpointAdaptConstructor, viewpointAdaptMethod, viewpointAdaptTypeVariableBounds

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OffsetDependentTypesHelper

public OffsetDependentTypesHelper(org.checkerframework.framework.type.AnnotatedTypeFactory factory)

Method Detail

standardizeString

protected String standardizeString(String expression,
                                   org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext context,
                                   TreePath localScope,
                                   boolean useLocalScope)

Overrides:

standardizeString in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper

createDependentTypesTreeAnnotator

public org.checkerframework.framework.type.treeannotator.TreeAnnotator createDependentTypesTreeAnnotator(org.checkerframework.framework.type.AnnotatedTypeFactory factory)

Overrides:

createDependentTypesTreeAnnotator in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper