Uses of Interface
org.sonar.java.se.constraint.Constraint

Packages that use Constraint

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

Uses of Constraint in org.sonar.java.se

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

Modifier and Type	Method and Description
Constraint	ExplodedGraph.Node.LearnedConstraint.getConstraint()
Constraint	ProgramState.getConstraint(SymbolicValue sv)

Methods in org.sonar.java.se with parameters of type Constraint

Modifier and Type	Method and Description
ProgramState	ProgramState.addConstraint(SymbolicValue symbolicValue, Constraint constraint)

Method parameters in org.sonar.java.se with type arguments of type Constraint

Modifier and Type	Method and Description
static List<JavaFileScannerContext.Location>	FlowComputation.flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, Predicate<Constraint> addToFlow)
static List<JavaFileScannerContext.Location>	FlowComputation.flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, Predicate<Constraint> addToFlow, Predicate<Constraint> terminateTraversal)
static List<JavaFileScannerContext.Location>	FlowComputation.flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, Predicate<Constraint> addToFlow, Predicate<Constraint> terminateTraversal)

Constructors in org.sonar.java.se with parameters of type Constraint

Constructor and Description
LearnedConstraint(SymbolicValue sv, Constraint constraint)

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

Classes in org.sonar.java.se.constraint that implement Constraint

Modifier and Type	Class and Description
class	BooleanConstraint
class	ObjectConstraint<S extends ObjectConstraint.Status>
class	TypedConstraint

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

Modifier and Type	Method and Description
static Predicate<Constraint>	ObjectConstraint.statusPredicate(Object status)

Methods in org.sonar.java.se.constraint with parameters of type Constraint

Modifier and Type	Method and Description
boolean	ObjectConstraint.isInvalidWith(Constraint target)