public class OffsetDependentTypesHelper
extends org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
array.length - 1
.Constructor and Description |
---|
OffsetDependentTypesHelper(org.checkerframework.framework.type.AnnotatedTypeFactory factory) |
Modifier and Type | Method and Description |
---|---|
org.checkerframework.framework.type.treeannotator.TreeAnnotator |
createDependentTypesTreeAnnotator(org.checkerframework.framework.type.AnnotatedTypeFactory factory) |
protected java.lang.String |
standardizeString(java.lang.String expression,
org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext context,
TreePath localScope,
boolean useLocalScope) |
checkAnnotation, checkMethod, checkType, hasDependentAnnotations, reportErrors, standardizeAnnotation, standardizeExpression, standardizeFieldAccess, standardizeNewClassTree, standardizeReturnType, standardizeVariable, standardizeVariable, viewpointAdaptConstructor, viewpointAdaptMethod, viewpointAdaptTypeVariableBounds
public OffsetDependentTypesHelper(org.checkerframework.framework.type.AnnotatedTypeFactory factory)
protected java.lang.String standardizeString(java.lang.String expression, org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext context, TreePath localScope, boolean useLocalScope)
standardizeString
in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
public org.checkerframework.framework.type.treeannotator.TreeAnnotator createDependentTypesTreeAnnotator(org.checkerframework.framework.type.AnnotatedTypeFactory factory)
createDependentTypesTreeAnnotator
in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper