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)

Method Summary

Modifier and Type	Method and Description
MethodBehavior	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)

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

@CheckForNull
public MethodBehavior execute(MethodTree methodTree)

methodCanNotBeOverriden

public static boolean methodCanNotBeOverriden(Symbol.MethodSymbol methodSymbol)