Uses of Class
org.sonar.java.se.ConstraintManager.BooleanConstraint

Packages that use ConstraintManager.BooleanConstraint

Package	Description
org.sonar.java.se
org.sonar.java.se.symbolicvalues

Uses of ConstraintManager.BooleanConstraint in org.sonar.java.se

Methods in org.sonar.java.se that return ConstraintManager.BooleanConstraint

Modifier and Type	Method and Description
ConstraintManager.BooleanConstraint	ConstraintManager.BooleanConstraint.inverse()
static ConstraintManager.BooleanConstraint	ConstraintManager.BooleanConstraint.valueOf(String name) Returns the enum constant of this type with the specified name.
static ConstraintManager.BooleanConstraint[]	ConstraintManager.BooleanConstraint.values() Returns an array containing the constants of this enum type, in the order they are declared.

Uses of ConstraintManager.BooleanConstraint in org.sonar.java.se.symbolicvalues

Methods in org.sonar.java.se.symbolicvalues that return ConstraintManager.BooleanConstraint

Modifier and Type	Method and Description
ConstraintManager.BooleanConstraint	RelationalSymbolicValue.shouldNotInverse()
abstract ConstraintManager.BooleanConstraint	BinarySymbolicValue.shouldNotInverse()
ConstraintManager.BooleanConstraint	SymbolicValue.BooleanExpressionSymbolicValue.shouldNotInverse()

Methods in org.sonar.java.se.symbolicvalues with parameters of type ConstraintManager.BooleanConstraint

Modifier and Type	Method and Description
protected List<ProgramState>	RelationalSymbolicValue.copyConstraint(SymbolicValue from, SymbolicValue to, ProgramState programState, ConstraintManager.BooleanConstraint booleanConstraint)
protected List<ProgramState>	BinarySymbolicValue.copyConstraint(SymbolicValue from, SymbolicValue to, ProgramState programState, ConstraintManager.BooleanConstraint booleanConstraint)
boolean	RelationState.rejects(ConstraintManager.BooleanConstraint constraint)
List<ProgramState>	RelationalSymbolicValue.setConstraint(ProgramState initialProgramState, ConstraintManager.BooleanConstraint booleanConstraint)
List<ProgramState>	NullCheckSymbolicValue.setConstraint(ProgramState programState, ConstraintManager.BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.setConstraint(ProgramState programState, ConstraintManager.BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.NotSymbolicValue.setConstraint(ProgramState programState, ConstraintManager.BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.InstanceOfSymbolicValue.setConstraint(ProgramState programState, ConstraintManager.BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.AndSymbolicValue.setConstraint(ProgramState programState, ConstraintManager.BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.OrSymbolicValue.setConstraint(ProgramState programState, ConstraintManager.BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.XorSymbolicValue.setConstraint(ProgramState programState, ConstraintManager.BooleanConstraint booleanConstraint)