Uses of Class
org.sonar.java.symexec.SymbolicEvaluator.PackedStates

Packages that use SymbolicEvaluator.PackedStates

Package	Description
org.sonar.java.symexec

Uses of SymbolicEvaluator.PackedStates in org.sonar.java.symexec

Methods in org.sonar.java.symexec that return SymbolicEvaluator.PackedStates

Modifier and Type	Method and Description
SymbolicEvaluator.PackedStates	SymbolicEvaluator.ConditionVisitor.evaluate(ExecutionState state, ExpressionTree tree)

Methods in org.sonar.java.symexec with parameters of type SymbolicEvaluator.PackedStates

Modifier and Type	Method and Description
void	SymbolicEvaluator.PackedStates.add(SymbolicEvaluator.PackedStates that)