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

Packages that use Constraint

Package	Description
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.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, int maxReturnedFlows)
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, int maxReturnedFlows)
static Set<Flow>	FlowComputation.flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, List<Class<? extends Constraint>> domains, int maxReturnedFlows)
static Set<Flow>	FlowComputation.flow(ExplodedGraph.Node currentNode, SymbolicValue currentVal, List<Class<? extends Constraint>> domains, Symbol trackSymbol, int maxReturnedFlows)
static Set<Flow>	FlowComputation.flowWithoutExceptions(ExplodedGraph.Node currentNode, SymbolicValue currentVal, Predicate<Constraint> addToFlow, Predicate<Constraint> terminateTraversal, List<Class<? extends Constraint>> domains, int maxReturnedFlows)
static Set<Flow>	FlowComputation.flowWithoutExceptions(ExplodedGraph.Node currentNode, SymbolicValue currentVal, Predicate<Constraint> addToFlow, Predicate<Constraint> terminateTraversal, List<Class<? extends Constraint>> domains, int maxReturnedFlows)
static Set<Flow>	FlowComputation.flowWithoutExceptions(ExplodedGraph.Node currentNode, SymbolicValue currentVal, Predicate<Constraint> addToFlow, List<Class<? extends Constraint>> domains, int maxReturnedFlows)
static Set<Flow>	FlowComputation.flowWithoutExceptions(ExplodedGraph.Node currentNode, SymbolicValue currentVal, Predicate<Constraint> addToFlow, List<Class<? extends Constraint>> domains, int maxReturnedFlows)
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
static class	XxeProperty.AttributeDTD
static class	XxeProperty.AttributeSchema
static class	XxeProperty.AttributeStyleSheet
static class	XxeProperty.FeatureDisallowDoctypeDecl
static class	XxeProperty.FeatureExternalGeneralEntities
static class	XxeProperty.FeatureIsSupportingExternalEntities
static class	XxeProperty.FeatureLoadExternalDtd
static class	XxeProperty.FeatureSupportDtd

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()
default Constraint	XxeProperty.namedConstraint()
default Constraint	XxeProperty.securedConstraint()
default Constraint	XxeProperty.unsecuredConstraint()

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

Modifier and Type	Method	Description
boolean	DivisionByZeroCheck.ZeroConstraint.isValidWith(Constraint constraint)

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

Constructor	Description
XxePropertyHolder(String propertyName, Constraint named, BiPredicate<SymbolicValue,ExpressionTree> securing, Constraint secured, BiPredicate<SymbolicValue,ExpressionTree> unsecuring, Constraint unsecured)

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)