Class InitializationAnnotatedTypeFactory.CommitmentTreeAnnotator
java.lang.Object
com.sun.source.util.SimpleTreeVisitor<Void,AnnotatedTypeMirror>
org.checkerframework.framework.type.treeannotator.TreeAnnotator
org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory.CommitmentTreeAnnotator
- All Implemented Interfaces:
TreeVisitor<Void,AnnotatedTypeMirror>
- Enclosing class:
InitializationAnnotatedTypeFactory<Value extends CFAbstractValue<Value>,Store extends InitializationStore<Value, Store>, Transfer extends InitializationTransfer<Value, Transfer, Store>, Flow extends CFAbstractAnalysis<Value, Store, Transfer>>
-
Field Summary
Fields inherited from class org.checkerframework.framework.type.treeannotator.TreeAnnotator
atypeFactoryFields inherited from class com.sun.source.util.SimpleTreeVisitor
DEFAULT_VALUE -
Constructor Summary
ConstructorsConstructorDescriptionCommitmentTreeAnnotator(InitializationAnnotatedTypeFactory<?, ?, ?, ?> atypeFactory) -
Method Summary
Modifier and TypeMethodDescriptionvisitLiteral(LiteralTree tree, AnnotatedTypeMirror type) visitMemberSelect(MemberSelectTree tree, AnnotatedTypeMirror annotatedTypeMirror) visitMethod(MethodTree tree, AnnotatedTypeMirror p) This method is not called when checking a method invocation against its declaration.visitNewClass(NewClassTree tree, AnnotatedTypeMirror p) Methods inherited from class org.checkerframework.framework.type.treeannotator.TreeAnnotator
log, visitBinaryMethods inherited from class com.sun.source.util.SimpleTreeVisitor
defaultAction, visit, visit, visitAnnotatedType, visitAnnotation, visitAnyPattern, visitArrayAccess, visitArrayType, visitAssert, visitAssignment, visitBindingPattern, visitBlock, visitBreak, visitCase, visitCatch, visitClass, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitConstantCaseLabel, visitContinue, visitDeconstructionPattern, visitDefaultCaseLabel, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExports, visitExpressionStatement, visitForLoop, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitMemberReference, visitMethodInvocation, visitModifiers, visitModule, visitNewArray, visitOpens, visitOther, visitPackage, visitParameterizedType, visitParenthesized, visitPatternCaseLabel, visitPrimitiveType, visitProvides, visitRequires, visitReturn, visitStringTemplate, visitSwitch, visitSwitchExpression, visitSynchronized, visitThrow, visitTry, visitTypeCast, visitTypeParameter, visitUnary, visitUnionType, visitUses, visitVariable, visitWhileLoop, visitWildcard, visitYield
-
Constructor Details
-
CommitmentTreeAnnotator
-
-
Method Details
-
visitMethod
Description copied from class:TreeAnnotatorThis method is not called when checking a method invocation against its declaration. So, instead of overriding this method, override TypeAnnotator.visitExecutable. TypeAnnotator.visitExecutable is called both when checking method declarations and method invocations.- Specified by:
visitMethodin interfaceTreeVisitor<Void,AnnotatedTypeMirror> - Overrides:
visitMethodin classTreeAnnotator- See Also:
-
visitNewClass
- Specified by:
visitNewClassin interfaceTreeVisitor<Void,AnnotatedTypeMirror> - Overrides:
visitNewClassin classSimpleTreeVisitor<Void,AnnotatedTypeMirror>
-
visitLiteral
- Specified by:
visitLiteralin interfaceTreeVisitor<Void,AnnotatedTypeMirror> - Overrides:
visitLiteralin classSimpleTreeVisitor<Void,AnnotatedTypeMirror>
-
visitMemberSelect
- Specified by:
visitMemberSelectin interfaceTreeVisitor<Void,AnnotatedTypeMirror> - Overrides:
visitMemberSelectin classSimpleTreeVisitor<Void,AnnotatedTypeMirror>
-