org.checkerframework.checker.index

Class OffsetDependentTypesHelper

java.lang.Object

org.checkerframework.framework.util.dependenttypes.DependentTypesHelper

org.checkerframework.checker.index.OffsetDependentTypesHelper

public class OffsetDependentTypesHelper
extends 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(AnnotatedTypeFactory factory)

Method Summary

Modifier and Type	Method and Description
TreeAnnotator	createDependentTypesTreeAnnotator(AnnotatedTypeFactory factory) Creates a TreeAnnotator that standardizes dependent type annotations.
protected java.lang.String	standardizeString(java.lang.String expression, FlowExpressionParseUtil.FlowExpressionContext context, com.sun.source.util.TreePath localScope, boolean useLocalScope)

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

checkAnnotation, checkClass, checkMethod, checkType, hasDependentAnnotations, reportErrors, standardizeAnnotation, standardizeClass, 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(AnnotatedTypeFactory factory)

Method Detail

standardizeString

protected java.lang.String standardizeString(java.lang.String expression,
                                             FlowExpressionParseUtil.FlowExpressionContext context,
                                             com.sun.source.util.TreePath localScope,
                                             boolean useLocalScope)

Overrides:

standardizeString in class DependentTypesHelper

createDependentTypesTreeAnnotator

public TreeAnnotator createDependentTypesTreeAnnotator(AnnotatedTypeFactory factory)

Description copied from class: DependentTypesHelper

Creates a TreeAnnotator that standardizes dependent type annotations.

Overrides:

createDependentTypesTreeAnnotator in class DependentTypesHelper

Parameters:

factory - annotated type factory

Returns:

a new TreeAnnotator that standardizes dependent type annotations