checkers.typestate
Class TypestateFlow

java.lang.Object
  com.sun.source.util.TreeScanner<R,P>
      com.sun.source.util.TreePathScanner<java.lang.Void,java.lang.Void>
          checkers.flow.MainFlow
              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