Package 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, objectTM

Constructor Summary

Constructors

Constructor	Description
OffsetDependentTypesHelper(AnnotatedTypeFactory factory)

Method Summary

Modifier and Type	Method	Description
TreeAnnotator	createDependentTypesTreeAnnotator()	Creates a TreeAnnotator that viewpoint-adapts dependent type annotations.
protected @Nullable JavaExpression	transform(JavaExpression javaExpr)	This method is for subclasses to override to change JavaExpressions in some way before they are inserted into new annotations.

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

atConstructorInvocation, atExpression, atFieldAccess, atLocalVariable, atMethodBody, atMethodInvocation, atParameterizedTypeUse, atTypeDecl, atVariableDeclaration, buildAnnotation, checkAnnotationForErrorExpressions, checkClassForErrorExpressions, checkMethodForErrorExpressions, checkTypeForErrorExpressions, convertAnnotatedTypeMirror, convertAnnotationMirror, createError, createError, delocalize, delocalizeAtCallsite, hasDependentAnnotations, reportErrors, shouldPassThroughExpression

Methods inherited from class java.lang.Object

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

Constructor Details

OffsetDependentTypesHelper

public OffsetDependentTypesHelper(AnnotatedTypeFactory factory)

Method Details

transform

protected @Nullable JavaExpression transform(JavaExpression javaExpr)

Description copied from class: DependentTypesHelper

This method is for subclasses to override to change JavaExpressions in some way before they are inserted into new annotations. This method is called after parsing and viewpoint-adaptation have occurred. javaExpr may be a DependentTypesHelper.PassThroughExpression.

If null is returned then the expression is not added to the new annotation.

The default implementation returns the argument, but subclasses may override it.

Overrides:

transform in class DependentTypesHelper

Parameters:

javaExpr - a JavaExpression

Returns:

a transformed JavaExpression or null if no transformation exists

createDependentTypesTreeAnnotator

public TreeAnnotator createDependentTypesTreeAnnotator()

Description copied from class: DependentTypesHelper

Creates a TreeAnnotator that viewpoint-adapts dependent type annotations.

Overrides:

createDependentTypesTreeAnnotator in class DependentTypesHelper

Returns:

a new TreeAnnotator that viewpoint-adapts dependent type annotations