public class OffsetDependentTypesHelper extends DependentTypesHelper
array.length - 1
.factory
Constructor and Description |
---|
OffsetDependentTypesHelper(AnnotatedTypeFactory factory) |
Modifier and Type | Method and Description |
---|---|
TreeAnnotator |
createDependentTypesTreeAnnotator()
Creates a TreeAnnotator that standardizes dependent type annotations.
|
protected String |
standardizeString(String expression,
JavaExpressionParseUtil.JavaExpressionContext context,
@Nullable TreePath localVarPath)
Standardizes a Java expression.
|
checkAnnotation, checkClass, checkMethod, checkType, delocalize, hasDependentAnnotations, reportErrors, standardizeAnnotationIfDependentType, standardizeClass, standardizeExpression, standardizeFieldAccess, standardizeNewClassTree, standardizeReturnType, standardizeVariable, standardizeVariable, viewpointAdaptConstructor, viewpointAdaptMethod, viewpointAdaptQualifierFromContract, viewpointAdaptTypeVariableBounds
public OffsetDependentTypesHelper(AnnotatedTypeFactory factory)
protected String standardizeString(String expression, JavaExpressionParseUtil.JavaExpressionContext context, @Nullable TreePath localVarPath)
DependentTypesHelper
standardizeString
in class DependentTypesHelper
expression
- a Java expressioncontext
- the contextlocalVarPath
- if non-null, the expression is parsed as if it were written at this
locationpublic TreeAnnotator createDependentTypesTreeAnnotator()
DependentTypesHelper
createDependentTypesTreeAnnotator
in class DependentTypesHelper