Uses of Class
org.sonar.java.symexec.ExecutionState

Packages that use ExecutionState

Package	Description
org.sonar.java.symexec

Uses of ExecutionState in org.sonar.java.symexec

Methods in org.sonar.java.symexec with parameters of type ExecutionState

Modifier and Type	Method and Description
SymbolicEvaluator.PackedStates	SymbolicEvaluator.ConditionVisitor.evaluate(ExecutionState state, ExpressionTree tree)
SymbolicBooleanConstraint	SymbolicEvaluator.ExpressionVisitor.evaluate(ExecutionState state, ExpressionTree tree)
Map<Tree,SymbolicBooleanConstraint>	SymbolicEvaluator.evaluateMethod(JavaFileScannerContext context, ExecutionState state, MethodTree tree)