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

Modifier and Type	Method and Description
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)
List<ProgramState>	RelationalSymbolicValue.setConstraint(ProgramState initialProgramState, BooleanConstraint booleanConstraint)