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

Packages that use BooleanConstraint

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

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

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

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

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

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

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

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

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