checkers.typestate
Class TypestateFlow

java.lang.Object
  extended by com.sun.source.util.TreeScanner<R,P>
      extended by com.sun.source.util.TreePathScanner<java.lang.Void,java.lang.Void>
          extended by checkers.flow.MainFlow
              extended by checkers.typestate.TypestateFlow
All Implemented Interfaces:
com.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>

public class TypestateFlow
extends MainFlow

Author:
Adam Warski (adam at warski dot org)

Field Summary
 
Fields inherited from class checkers.flow.MainFlow
annos, annosWhenFalse, annosWhenTrue, annotations, atypes, catchBits, checker, elements, env, factory, root, source, tryBits, vars
 
Constructor Summary
TypestateFlow(checkers.source.SourceChecker checker, java.util.Set<javax.lang.model.element.AnnotationMirror> annotations, checkers.types.AnnotatedTypeFactory factory, com.sun.source.tree.CompilationUnitTree root, TypestateUtil typestateUtil)
           
 
Method Summary
protected  void updateExceptionBits()
           
 java.lang.Void visitMethodInvocation(com.sun.source.tree.MethodInvocationTree node, java.lang.Void p)
           
 
Methods inherited from class checkers.flow.MainFlow
scan, scanCond, scanDef, scanExpr, scanStat, scanStats, updateExceptionBits, visitAnnotation, visitAssert, visitAssignment, visitBlock, visitBreak, visitClass, visitCompoundAssignment, visitConditionalExpression, visitContinue, visitDoWhileLoop, visitEnhancedForLoop, visitForLoop, visitIf, visitImport, visitMethod, visitReturn, visitThrow, visitTry, visitVariable, visitWhileLoop
 
Methods inherited from class com.sun.source.util.TreePathScanner
getCurrentPath, scan
 
Methods inherited from class com.sun.source.util.TreeScanner
reduce, scan, visitAnnotatedType, visitArrayAccess, visitArrayType, visitBinary, visitCase, visitCatch, visitCompilationUnit, visitEmptyStatement, visitErroneous, visitExpressionStatement, visitIdentifier, visitInstanceOf, visitLabeledStatement, visitLiteral, visitMemberSelect, visitModifiers, visitNewArray, visitNewClass, visitOther, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitSwitch, visitSynchronized, visitTypeCast, visitTypeParameter, visitUnary, visitWildcard
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TypestateFlow

public TypestateFlow(checkers.source.SourceChecker checker,
                     java.util.Set<javax.lang.model.element.AnnotationMirror> annotations,
                     checkers.types.AnnotatedTypeFactory factory,
                     com.sun.source.tree.CompilationUnitTree root,
                     TypestateUtil typestateUtil)
Method Detail

visitMethodInvocation

public java.lang.Void visitMethodInvocation(com.sun.source.tree.MethodInvocationTree node,
                                            java.lang.Void p)
Specified by:
visitMethodInvocation in interface com.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>
Overrides:
visitMethodInvocation in class MainFlow

updateExceptionBits

protected void updateExceptionBits()
Overrides:
updateExceptionBits in class MainFlow