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

Packages that use SymbolicBooleanConstraint

Package	Description
org.sonar.java.symexec

Uses of SymbolicBooleanConstraint in org.sonar.java.symexec

Methods in org.sonar.java.symexec that return SymbolicBooleanConstraint

Modifier and Type	Method and Description
SymbolicBooleanConstraint	SymbolicEvaluator.ExpressionVisitor.evaluate(ExecutionState state, ExpressionTree tree)
SymbolicBooleanConstraint	SymbolicEvaluator.PackedStates.getBooleanConstraint()
SymbolicBooleanConstraint	SymbolicBooleanConstraint.negate()
SymbolicBooleanConstraint	SymbolicBooleanConstraint.union(SymbolicBooleanConstraint other)
static SymbolicBooleanConstraint	SymbolicBooleanConstraint.valueOf(String name) Returns the enum constant of this type with the specified name.
static SymbolicBooleanConstraint[]	SymbolicBooleanConstraint.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in org.sonar.java.symexec that return types with arguments of type SymbolicBooleanConstraint

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

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

Modifier and Type	Method and Description
SymbolicBooleanConstraint	SymbolicBooleanConstraint.union(SymbolicBooleanConstraint other)