org.checkerframework.checker.lock

Class LockTreeAnnotator

java.lang.Object

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

org.checkerframework.framework.type.treeannotator.TreeAnnotator

org.checkerframework.checker.lock.LockTreeAnnotator

All Implemented Interfaces:

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

public class LockTreeAnnotator
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
LockTreeAnnotator(org.checkerframework.framework.type.AnnotatedTypeFactory atypeFactory)

Method Summary

Modifier and Type	Method and Description
Void	visitBinary(BinaryTree node, org.checkerframework.framework.type.AnnotatedTypeMirror type)
Void	visitCompoundAssignment(CompoundAssignmentTree node, org.checkerframework.framework.type.AnnotatedTypeMirror type)

Methods inherited from class org.checkerframework.framework.type.treeannotator.TreeAnnotator

visitMethod

Methods inherited from class com.sun.source.util.SimpleTreeVisitor

defaultAction, visit, visit, visitAnnotatedType, visitAnnotation, visitArrayAccess, visitArrayType, visitAssert, visitAssignment, visitBlock, visitBreak, visitCase, visitCatch, visitClass, visitCompilationUnit, visitConditionalExpression, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExpressionStatement, visitForLoop, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberReference, visitMemberSelect, visitMethodInvocation, visitModifiers, visitNewArray, visitNewClass, 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

LockTreeAnnotator

public LockTreeAnnotator(org.checkerframework.framework.type.AnnotatedTypeFactory atypeFactory)

Method Detail

visitBinary

public Void visitBinary(BinaryTree node,
                        org.checkerframework.framework.type.AnnotatedTypeMirror type)

Specified by:

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

Overrides:

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

visitCompoundAssignment

public Void visitCompoundAssignment(CompoundAssignmentTree node,
                                    org.checkerframework.framework.type.AnnotatedTypeMirror type)

Specified by:

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

Overrides:

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