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	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 with parameters of type BooleanConstraint

Modifier and Type	Method	Description
List<ProgramState>	RelationalSymbolicValue.setConstraint(ProgramState initialProgramState, BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.AndSymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.InstanceOfSymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.NotSymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.OrSymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)
List<ProgramState>	SymbolicValue.XorSymbolicValue.setConstraint(ProgramState programState, BooleanConstraint booleanConstraint)