org.checkerframework.checker.initialization

Class InitializationAnnotatedTypeFactory.CommitmentTreeAnnotator

java.lang.Object

com.sun.source.util.SimpleTreeVisitor<Void,org.checkerframework.framework.type.AnnotatedTypeMirror>

org.checkerframework.framework.type.treeannotator.TreeAnnotator

org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory.CommitmentTreeAnnotator

All Implemented Interfaces:

TreeVisitor<Void,org.checkerframework.framework.type.AnnotatedTypeMirror>

Enclosing class:

InitializationAnnotatedTypeFactory<Value extends org.checkerframework.framework.flow.CFAbstractValue<Value>,Store extends InitializationStore<Value,Store>,Transfer extends InitializationTransfer<Value,Transfer,Store>,Flow extends org.checkerframework.framework.flow.CFAbstractAnalysis<Value,Store,Transfer>>

protected class InitializationAnnotatedTypeFactory.CommitmentTreeAnnotator
extends org.checkerframework.framework.type.treeannotator.TreeAnnotator

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

Constructors

Constructor and Description
CommitmentTreeAnnotator(InitializationAnnotatedTypeFactory<?,?,?,?> atypeFactory)

Method Summary

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)

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, 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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CommitmentTreeAnnotator

public CommitmentTreeAnnotator(InitializationAnnotatedTypeFactory<?,?,?,?> atypeFactory)

Method Detail

visitMethod

public Void visitMethod(MethodTree node,
                        org.checkerframework.framework.type.AnnotatedTypeMirror p)

Specified by:

visitMethod in interface TreeVisitor<Void,org.checkerframework.framework.type.AnnotatedTypeMirror>

Overrides:

visitMethod in class org.checkerframework.framework.type.treeannotator.TreeAnnotator

visitNewClass

public Void visitNewClass(NewClassTree node,
                          org.checkerframework.framework.type.AnnotatedTypeMirror p)

Specified by:

visitNewClass in interface TreeVisitor<Void,org.checkerframework.framework.type.AnnotatedTypeMirror>

Overrides:

visitNewClass in class SimpleTreeVisitor<Void,org.checkerframework.framework.type.AnnotatedTypeMirror>

visitLiteral

public Void visitLiteral(LiteralTree tree,
                         org.checkerframework.framework.type.AnnotatedTypeMirror type)

Specified by:

visitLiteral in interface TreeVisitor<Void,org.checkerframework.framework.type.AnnotatedTypeMirror>

Overrides:

visitLiteral in class SimpleTreeVisitor<Void,org.checkerframework.framework.type.AnnotatedTypeMirror>