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

Modifier	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 enum	DivisionByZeroCheck.ZeroConstraint
static enum	LocksNotUnlockedCheck.LockConstraint
static enum	StreamConsumedCheck.StreamPipelineConstraint
static enum	UnclosedResourcesCheck.ResourceConstraint
protected static enum	XxeProcessingCheck.XmlSetValidating
protected static enum	XxeProcessingCheck.XmlSetXIncludeAware
protected static enum	XxeProcessingCheck.XxeEntityResolver
protected static enum	XxeProcessingCheck.XxeSetExpandEntity
static enum	XxeProperty.AttributeDTD
static enum	XxeProperty.AttributeSchema
static enum	XxeProperty.AttributeStyleSheet
static enum	XxeProperty.FeatureDisallowDoctypeDecl
static enum	XxeProperty.FeatureExternalGeneralEntities
static enum	XxeProperty.FeatureIsSupportingExternalEntities
static enum	XxeProperty.FeatureLoadExternalDtd
static enum	XxeProperty.FeatureSecureProcessing
static enum	XxeProperty.FeatureSupportDtd
static enum	XxeProperty.FeatureXInclude

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 that return types with arguments of type Constraint

Modifier and Type	Method	Description
protected abstract List<Class<? extends Constraint>>	AbstractXMLProcessing.getDomains()
protected List<Class<? extends Constraint>>	AllowXMLInclusionCheck.getDomains()
protected List<Class<? extends Constraint>>	DenialOfServiceXMLCheck.getDomains()
protected List<Class<? extends Constraint>>	XmlParserLoadsExternalSchemasCheck.getDomains()

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

Modifier and Type	Method	Description
boolean	DivisionByZeroCheck.ZeroConstraint.isValidWith(Constraint constraint)
protected abstract boolean	AbstractXMLProcessing.shouldTrackConstraint(Constraint constraint)
protected boolean	AllowXMLInclusionCheck.shouldTrackConstraint(Constraint constraint)
protected boolean	DenialOfServiceXMLCheck.shouldTrackConstraint(Constraint constraint)
protected boolean	XmlParserLoadsExternalSchemasCheck.shouldTrackConstraint(Constraint constraint)

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

Modifier	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
enum	BooleanConstraint
enum	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)