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

Packages that use Constraint

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

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

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

Modifier and Type	Class	Description
static class	BytecodeEGWalker.StackValueCategoryConstraint	Because some instructions manipulate stack differently depending on the type of the value, we need this constraint to know category of the value see https://docs.oracle.com/javase/specs/jvms/se9/html/jvms-2.html#jvms-2.11.1 Table 2.11.1-B

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

Modifier and Type	Method	Description
Constraint	BytecodeEGWalker.StackValueCategoryConstraint.copyOver(RelationalSymbolicValue.Kind kind)

Uses of Constraint in org.sonar.java.se

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

Modifier and Type	Method	Description
<T extends Constraint> T	ProgramState.getConstraint(SymbolicValue sv, Class<T> domain)

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

Modifier and Type	Method	Description
Constraint	LearnedConstraint.constraint()

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

Modifier and Type	Method	Description
ProgramState	ProgramState.addConstraint(SymbolicValue symbolicValue, Constraint constraint)
ProgramState	ProgramState.addConstraintTransitively(SymbolicValue symbolicValue, Constraint constraint)
List<SymbolicValue>	ProgramState.getValuesWithConstraints(Constraint constraint)

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

Modifier and Type	Method	Description
static Set<Flow>	FlowComputation.flow(ExplodedGraph.Node currentNode, Set<SymbolicValue> symbolicValues, Predicate<Constraint> addToFlow, Predicate<Constraint> terminateTraversal, List<Class<? extends Constraint>> domains, Set<Symbol> symbols)
static Set<Flow>	FlowComputation.flow(ExplodedGraph.Node currentNode, Set<SymbolicValue> symbolicValues, Predicate<Constraint> addToFlow, Predicate<Constraint> terminateTraversal, List<Class<? extends Constraint>> domains, Set<Symbol> symbols)
static Set<Flow>	FlowComputation.flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, List<Class<? extends Constraint>> domains)
static Set<Flow>	FlowComputation.flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, List<Class<? extends Constraint>> domains, Symbol trackSymbol)
static Set<Flow>	FlowComputation.flowWithoutExceptions(ExplodedGraph.Node currentNode, SymbolicValue currentVal, Predicate<Constraint> addToFlow, Predicate<Constraint> terminateTraversal, List<Class<? extends Constraint>> domains)
static Set<Flow>	FlowComputation.flowWithoutExceptions(ExplodedGraph.Node currentNode, SymbolicValue currentVal, Predicate<Constraint> addToFlow, Predicate<Constraint> terminateTraversal, List<Class<? extends Constraint>> domains)
static Set<Flow>	FlowComputation.flowWithoutExceptions(ExplodedGraph.Node currentNode, SymbolicValue currentVal, Predicate<Constraint> addToFlow, List<Class<? extends Constraint>> domains)
static Set<Flow>	FlowComputation.flowWithoutExceptions(ExplodedGraph.Node currentNode, SymbolicValue currentVal, Predicate<Constraint> addToFlow, List<Class<? extends Constraint>> domains)
ProgramState	ProgramState.removeConstraintsOnDomain(SymbolicValue sv, Class<? extends Constraint> domain)

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

Constructor	Description
LearnedConstraint(SymbolicValue sv, Constraint constraint)

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

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

Modifier and Type	Class	Description
class	CustomUnclosedResourcesCheck.CustomResourceConstraint
static class	DivisionByZeroCheck.ZeroConstraint
static class	LocksNotUnlockedCheck.LockConstraint
static class	StreamConsumedCheck.StreamPipelineConstraint
static class	UnclosedResourcesCheck.ResourceConstraint

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

Modifier and Type	Method	Description
Constraint	DivisionByZeroCheck.ZeroConstraint.copyOver(RelationalSymbolicValue.Kind kind)
Constraint	DivisionByZeroCheck.ZeroConstraint.inverse()

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

Modifier and Type	Method	Description
boolean	DivisionByZeroCheck.ZeroConstraint.isValidWith(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	Description
class	BooleanConstraint
class	ObjectConstraint
class	TypedConstraint

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

Modifier and Type	Method	Description
Constraint	BooleanConstraint.copyOver(RelationalSymbolicValue.Kind kind)
default Constraint	Constraint.copyOver(RelationalSymbolicValue.Kind kind)	Return constraint which should be applied to the rhs of the relation, if this constraint is set on the lhs of the relation.
Constraint	ObjectConstraint.copyOver(RelationalSymbolicValue.Kind kind)
Constraint	ConstraintsByDomain.get(Class<? extends Constraint> domain)
default Constraint	Constraint.inverse()
Constraint	ObjectConstraint.inverse()

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

Modifier and Type	Method	Description
Stream<Class<? extends Constraint>>	ConstraintsByDomain.domains()
Stream<Constraint>	ConstraintsByDomain.stream()

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

Modifier and Type	Method	Description
boolean	ConstraintsByDomain.hasConstraint(Constraint constraint)
boolean	BooleanConstraint.isValidWith(Constraint constraint)
default boolean	Constraint.isValidWith(Constraint constraint)
boolean	ObjectConstraint.isValidWith(Constraint constraint)
ConstraintsByDomain	ConstraintsByDomain.put(Constraint constraint)

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

Modifier and Type	Method	Description
void	ConstraintsByDomain.forEach(BiConsumer<Class<? extends Constraint>,Constraint> action)
void	ConstraintsByDomain.forEach(BiConsumer<Class<? extends Constraint>,Constraint> action)
Constraint	ConstraintsByDomain.get(Class<? extends Constraint> domain)
ConstraintsByDomain	ConstraintsByDomain.remove(Class<? extends Constraint> domain)

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

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

Modifier and Type	Method	Description
protected List<ProgramState>	RelationalSymbolicValue.setConstraint(ProgramState initialProgramState, Constraint constraint, Set<RelationalSymbolicValue> knownRelations)
List<ProgramState>	SymbolicValue.setConstraint(ProgramState programState, Constraint constraint)
protected List<ProgramState>	SymbolicValue.setConstraint(ProgramState state, Constraint constraint, Set<RelationalSymbolicValue> knownRelations)