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, org.sonar.squidbridge.api.CodeVisitor

public class SymbolicExecutionVisitor
extends SubscriptionVisitor

Field Summary

Fields

Modifier and Type	Field and Description
BehaviorCache	behaviorCache

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

context

Constructor Summary

Constructors

Constructor and Description
SymbolicExecutionVisitor(List<JavaFileScanner> executableScanners)
SymbolicExecutionVisitor(List<JavaFileScanner> executableScanners, SquidClassLoader classLoader)

Method Summary

Modifier and Type	Method and Description
void	execute(MethodTree methodTree)
static boolean	methodCanNotBeOverriden(Symbol.MethodSymbol methodSymbol)
List<Tree.Kind>	nodesToVisit()
void	visitNode(Tree tree)

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

hasSemantic, leaveNode, scanFile, scanTree, visitToken, visitTrivia

Methods inherited from class java.lang.Object

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

Field Detail

behaviorCache

public final BehaviorCache behaviorCache

Constructor Detail

SymbolicExecutionVisitor

public SymbolicExecutionVisitor(List<JavaFileScanner> executableScanners)

SymbolicExecutionVisitor

public SymbolicExecutionVisitor(List<JavaFileScanner> executableScanners,
                                SquidClassLoader classLoader)

Method Detail

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)

methodCanNotBeOverriden

public static boolean methodCanNotBeOverriden(Symbol.MethodSymbol methodSymbol)