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:
com.sun.source.tree.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
atypeFactory
Fields inherited from class com.sun.source.util.SimpleTreeVisitor
DEFAULT_VALUE
-
Constructor Summary
ConstructorsConstructorDescriptionCommitmentTreeAnnotator
(InitializationAnnotatedTypeFactory<?, ?, ?, ?> atypeFactory) -
Method Summary
Modifier and TypeMethodDescriptionvisitLiteral
(com.sun.source.tree.LiteralTree tree, AnnotatedTypeMirror type) visitMemberSelect
(com.sun.source.tree.MemberSelectTree node, AnnotatedTypeMirror annotatedTypeMirror) visitMethod
(com.sun.source.tree.MethodTree node, AnnotatedTypeMirror p) This method is not called when checking a method invocation against its declaration.visitNewClass
(com.sun.source.tree.NewClassTree node, AnnotatedTypeMirror p) Methods inherited from class org.checkerframework.framework.type.treeannotator.TreeAnnotator
visitBinary
Methods inherited from class com.sun.source.util.SimpleTreeVisitor
defaultAction, visit, visit, visitAnnotatedType, visitAnnotation, visitArrayAccess, visitArrayType, visitAssert, visitAssignment, visitBindingPattern, visitBlock, visitBreak, visitCase, visitCatch, visitClass, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitContinue, visitDefaultCaseLabel, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExports, visitExpressionStatement, visitForLoop, visitGuardedPattern, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitMemberReference, visitMethodInvocation, visitModifiers, visitModule, visitNewArray, visitOpens, visitOther, visitPackage, visitParameterizedType, visitParenthesized, visitParenthesizedPattern, visitPrimitiveType, visitProvides, visitRequires, visitReturn, visitSwitch, visitSwitchExpression, visitSynchronized, visitThrow, visitTry, visitTypeCast, visitTypeParameter, visitUnary, visitUnionType, visitUses, visitVariable, visitWhileLoop, visitWildcard, visitYield
-
Constructor Details
-
CommitmentTreeAnnotator
-
-
Method Details
-
visitMethod
Description copied from class:TreeAnnotator
This 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:
visitMethod
in interfacecom.sun.source.tree.TreeVisitor<Void,
AnnotatedTypeMirror> - Overrides:
visitMethod
in classTreeAnnotator
- See Also:
-
visitNewClass
- Specified by:
visitNewClass
in interfacecom.sun.source.tree.TreeVisitor<Void,
AnnotatedTypeMirror> - Overrides:
visitNewClass
in classcom.sun.source.util.SimpleTreeVisitor<Void,
AnnotatedTypeMirror>
-
visitLiteral
- Specified by:
visitLiteral
in interfacecom.sun.source.tree.TreeVisitor<Void,
AnnotatedTypeMirror> - Overrides:
visitLiteral
in classcom.sun.source.util.SimpleTreeVisitor<Void,
AnnotatedTypeMirror>
-
visitMemberSelect
public Void visitMemberSelect(com.sun.source.tree.MemberSelectTree node, AnnotatedTypeMirror annotatedTypeMirror) - Specified by:
visitMemberSelect
in interfacecom.sun.source.tree.TreeVisitor<Void,
AnnotatedTypeMirror> - Overrides:
visitMemberSelect
in classcom.sun.source.util.SimpleTreeVisitor<Void,
AnnotatedTypeMirror>
-