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 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)
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

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)