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
final BehaviorCache	behaviorCache

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

context

Constructor Summary

Constructors

Constructor	Description
SymbolicExecutionVisitor(List<SECheck> seChecks)

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)
void	visitNode(Tree tree)

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

leaveFile, leaveNode, scanTree, setContext, visitToken, visitTrivia

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.sonar.plugins.java.api.JavaFileScanner

scanWithoutParsing

Field Details

behaviorCache

public final BehaviorCache behaviorCache

Constructor Details

SymbolicExecutionVisitor

public SymbolicExecutionVisitor(List<SECheck> seChecks)

Method Details

scanFile

public void scanFile(JavaFileScannerContext context)

Specified by:

scanFile in interface JavaFileScanner

Overrides:

scanFile in class SubscriptionVisitor

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)