de.unisaarland.cs.st.jerify.verifier.typestate
Class CompilationUnitCFG

java.lang.Object
  com.sun.source.util.TreeScanner<R,P>
      com.sun.source.util.TreePathScanner<R,P>
          checkers.source.SourceVisitor<java.lang.Void,java.lang.Void>
              de.unisaarland.cs.st.jerify.verifier.typestate.CompilationUnitCFG

All Implemented Interfaces:

com.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>

public class CompilationUnitCFG
extends checkers.source.SourceVisitor<java.lang.Void,java.lang.Void>

Visitor for compilation units, it will visit all classes and run the analysis on them.

Author:

dw

Constructor Summary

CompilationUnitCFG(checkers.source.SourceChecker checker, checkers.types.AnnotatedTypeFactory factory, com.sun.source.tree.CompilationUnitTree root)
Create a new Visitor

Method Summary

java.lang.Void

visitClass(com.sun.source.tree.ClassTree classNode, java.lang.Void p) visit all classes, generate control flow graphs, run analysis.

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

getCurrentPath, scan, scan

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

reduce, scan, visitAnnotatedType, visitAnnotation, visitArrayAccess, visitArrayType, visitAssert, visitAssignment, visitBinary, visitBlock, visitBreak, visitCase, visitCatch, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExpressionStatement, visitForLoop, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitLabeledStatement, visitLiteral, visitMemberSelect, visitMethod, visitMethodInvocation, visitModifiers, visitNewArray, visitNewClass, visitOther, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitReturn, visitSwitch, visitSynchronized, visitThrow, visitTry, visitTypeCast, visitTypeParameter, visitUnary, visitVariable, visitWhileLoop, visitWildcard

Methods inherited from class java.lang.Object

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

Constructor Detail

CompilationUnitCFG

public CompilationUnitCFG(checkers.source.SourceChecker checker,
                          checkers.types.AnnotatedTypeFactory factory,
                          com.sun.source.tree.CompilationUnitTree root)

Create a new Visitor

Parameters:

checker - the SourceChecker

factory - the AnnotatedTypeFactory

root - the compilation unit

Method Detail

visitClass

public java.lang.Void visitClass(com.sun.source.tree.ClassTree classNode,
                                 java.lang.Void p)

visit all classes, generate control flow graphs, run analysis.

Specified by:

visitClass in interface com.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>

Overrides:

visitClass in class com.sun.source.util.TreeScanner<java.lang.Void,java.lang.Void>