org.sonar.java.symexec

Class SymbolicEvaluator

java.lang.Object

org.sonar.java.symexec.SymbolicEvaluator

public class SymbolicEvaluator
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	SymbolicEvaluator.ConditionVisitor
class	SymbolicEvaluator.ExpressionVisitor
static class	SymbolicEvaluator.PackedStates
class	SymbolicEvaluator.StatementVisitor

Constructor Summary

Constructors

Constructor and Description
SymbolicEvaluator()

Method Summary

Methods

Modifier and Type	Method and Description
Map<Tree,SymbolicBooleanConstraint>	evaluateMethod(JavaFileScannerContext context, ExecutionState state, MethodTree tree)

Methods inherited from class java.lang.Object

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

Constructor Detail

SymbolicEvaluator

public SymbolicEvaluator()

Method Detail

evaluateMethod

public Map<Tree,SymbolicBooleanConstraint> evaluateMethod(JavaFileScannerContext context,
                                                 ExecutionState state,
                                                 MethodTree tree)