de.unisaarland.cs.st.jerify.verifier.tools.gui
Class OverviewVisitor

java.lang.Object
  com.sun.source.util.TreeScanner<R,P>
      com.sun.source.util.TreePathScanner<GuiPackageTreeNode,GuiPackageTreeNode>
          de.unisaarland.cs.st.jerify.verifier.tools.gui.OverviewVisitor

All Implemented Interfaces:

com.sun.source.tree.TreeVisitor<GuiPackageTreeNode,GuiPackageTreeNode>

public class OverviewVisitor
extends com.sun.source.util.TreePathScanner<GuiPackageTreeNode,GuiPackageTreeNode>

Constructor Summary

OverviewVisitor(checkers.source.SourceChecker checker)

Method Summary

static void	printNewClass()
GuiPackageTreeNode	visitClass(com.sun.source.tree.ClassTree node, GuiPackageTreeNode packageNode)
GuiPackageTreeNode	visitCompilationUnit(com.sun.source.tree.CompilationUnitTree arg0, GuiPackageTreeNode arg1)
GuiPackageTreeNode	visitNewClass(com.sun.source.tree.NewClassTree node, GuiPackageTreeNode packageNode)

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, visitCompoundAssignment, visitConditionalExpression, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExpressionStatement, visitForLoop, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitLabeledStatement, visitLiteral, visitMemberSelect, visitMethod, visitMethodInvocation, visitModifiers, visitNewArray, 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

OverviewVisitor

public OverviewVisitor(checkers.source.SourceChecker checker)

Method Detail

visitNewClass

public GuiPackageTreeNode visitNewClass(com.sun.source.tree.NewClassTree node,
                                        GuiPackageTreeNode packageNode)

Specified by:

visitNewClass in interface com.sun.source.tree.TreeVisitor<GuiPackageTreeNode,GuiPackageTreeNode>

Overrides:

visitNewClass in class com.sun.source.util.TreeScanner<GuiPackageTreeNode,GuiPackageTreeNode>

printNewClass

public static void printNewClass()

visitClass

public GuiPackageTreeNode visitClass(com.sun.source.tree.ClassTree node,
                                     GuiPackageTreeNode packageNode)

Specified by:

visitClass in interface com.sun.source.tree.TreeVisitor<GuiPackageTreeNode,GuiPackageTreeNode>

Overrides:

visitClass in class com.sun.source.util.TreeScanner<GuiPackageTreeNode,GuiPackageTreeNode>

visitCompilationUnit

public GuiPackageTreeNode visitCompilationUnit(com.sun.source.tree.CompilationUnitTree arg0,
                                               GuiPackageTreeNode arg1)

Specified by:

visitCompilationUnit in interface com.sun.source.tree.TreeVisitor<GuiPackageTreeNode,GuiPackageTreeNode>

Overrides:

visitCompilationUnit in class com.sun.source.util.TreeScanner<GuiPackageTreeNode,GuiPackageTreeNode>