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

Packages that use ObjectConstraint

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

Uses of ObjectConstraint in org.sonar.java.se

Methods in org.sonar.java.se that return ObjectConstraint

Modifier and Type	Method and Description
<S extends ObjectConstraint.Status> ObjectConstraint<S>	ProgramState.getConstraintWithStatus(SymbolicValue value, S aState)

Methods in org.sonar.java.se that return types with arguments of type ObjectConstraint

Modifier and Type	Method and Description
Map<SymbolicValue,ObjectConstraint>	ProgramState.getValuesWithConstraints(Object state)

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

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

Modifier and Type	Method and Description
ObjectConstraint<S>	ObjectConstraint.inverse()
static <S extends ObjectConstraint.Status> ObjectConstraint<S>	ObjectConstraint.notNull()
static <S extends ObjectConstraint.Status> ObjectConstraint<S>	ObjectConstraint.nullConstraint()
ObjectConstraint<S>	ObjectConstraint.withStatus(S newStatus)

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

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

Modifier and Type	Method and Description
List<ProgramState>	SymbolicValue.setConstraint(ProgramState programState, ObjectConstraint nullConstraint)
ProgramState	SymbolicValue.setSingleConstraint(ProgramState programState, ObjectConstraint nullConstraint)