Package org.sonar.java.se

Class SymbolicExecutionVisitor

java.lang.Object

org.sonar.java.ast.visitors.SubscriptionVisitor

org.sonar.java.se.SymbolicExecutionVisitor

All Implemented Interfaces:

JavaCheck, JavaFileScanner

public class SymbolicExecutionVisitor
extends SubscriptionVisitor

Field Summary

Fields

Modifier and Type	Field	Description
BehaviorCache	behaviorCache

Fields inherited from class org.sonar.java.ast.visitors.SubscriptionVisitor

context

Constructor Summary

Constructors

Constructor	Description
SymbolicExecutionVisitor(List<JavaFileScanner> executableScanners, BehaviorCache behaviorCache)

Method Summary

Modifier and Type	Method	Description
void	execute(MethodTree methodTree)
protected ExplodedGraphWalker	getWalker()
static boolean	methodCanNotBeOverriden(Symbol.MethodSymbol methodSymbol)
List<Tree.Kind>	nodesToVisit()
void	scanFile(JavaFileScannerContext context)	Method called after parsing and semantic analysis has been done on file.
void	visitNode(Tree tree)

Methods inherited from class org.sonar.java.ast.visitors.SubscriptionVisitor

hasSemantic, leaveFile, leaveNode, scanTree, setContext, visitToken, visitTrivia

Methods inherited from class java.lang.Object

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

Field Detail

behaviorCache

public BehaviorCache behaviorCache

Constructor Detail

SymbolicExecutionVisitor

public SymbolicExecutionVisitor(List<JavaFileScanner> executableScanners,
                                BehaviorCache behaviorCache)

Method Detail

scanFile

public void scanFile(JavaFileScannerContext context)

Description copied from interface: JavaFileScanner

Method called after parsing and semantic analysis has been done on file.

Specified by:

scanFile in interface JavaFileScanner

Overrides:

scanFile in class SubscriptionVisitor

Parameters:

context - Context of analysis containing the parsed tree.

nodesToVisit

public List<Tree.Kind> nodesToVisit()

Specified by:

nodesToVisit in class SubscriptionVisitor

visitNode

public void visitNode(Tree tree)

Overrides:

visitNode in class SubscriptionVisitor

execute

public void execute(MethodTree methodTree)

getWalker

protected ExplodedGraphWalker getWalker()

methodCanNotBeOverriden

public static boolean methodCanNotBeOverriden(Symbol.MethodSymbol methodSymbol)