protected class InitializationAnnotatedTypeFactory.CommitmentTreeAnnotator
extends org.checkerframework.framework.type.treeannotator.TreeAnnotator
atypeFactory
DEFAULT_VALUE
Constructor and Description |
---|
CommitmentTreeAnnotator(InitializationAnnotatedTypeFactory<?,?,?,?> atypeFactory) |
Modifier and Type | Method and Description |
---|---|
Void |
visitLiteral(LiteralTree tree,
org.checkerframework.framework.type.AnnotatedTypeMirror type) |
Void |
visitMethod(MethodTree node,
org.checkerframework.framework.type.AnnotatedTypeMirror p) |
Void |
visitNewClass(NewClassTree node,
org.checkerframework.framework.type.AnnotatedTypeMirror p) |
visitBinary
defaultAction, visit, visit, visitAnnotatedType, visitAnnotation, visitArrayAccess, visitArrayType, visitAssert, visitAssignment, visitBlock, visitBreak, visitCase, visitCatch, visitClass, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExpressionStatement, visitForLoop, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitMemberReference, visitMemberSelect, visitMethodInvocation, visitModifiers, visitNewArray, visitOther, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitReturn, visitSwitch, visitSynchronized, visitThrow, visitTry, visitTypeCast, visitTypeParameter, visitUnary, visitUnionType, visitVariable, visitWhileLoop, visitWildcard
public CommitmentTreeAnnotator(InitializationAnnotatedTypeFactory<?,?,?,?> atypeFactory)
public Void visitMethod(MethodTree node, org.checkerframework.framework.type.AnnotatedTypeMirror p)
visitMethod
in interface TreeVisitor<Void,org.checkerframework.framework.type.AnnotatedTypeMirror>
visitMethod
in class org.checkerframework.framework.type.treeannotator.TreeAnnotator
public Void visitNewClass(NewClassTree node, org.checkerframework.framework.type.AnnotatedTypeMirror p)
visitNewClass
in interface TreeVisitor<Void,org.checkerframework.framework.type.AnnotatedTypeMirror>
visitNewClass
in class SimpleTreeVisitor<Void,org.checkerframework.framework.type.AnnotatedTypeMirror>
public Void visitLiteral(LiteralTree tree, org.checkerframework.framework.type.AnnotatedTypeMirror type)
visitLiteral
in interface TreeVisitor<Void,org.checkerframework.framework.type.AnnotatedTypeMirror>
visitLiteral
in class SimpleTreeVisitor<Void,org.checkerframework.framework.type.AnnotatedTypeMirror>