Uses of Class
org.sonar.javascript.se.Constraint

Packages that use Constraint

Package	Description
org.sonar.javascript.se
org.sonar.javascript.se.builtins
org.sonar.javascript.se.sv

Uses of Constraint in org.sonar.javascript.se

Fields in org.sonar.javascript.se declared as Constraint

Modifier and Type	Field and Description
static Constraint	Constraint.ANY_BOOLEAN
static Constraint	Constraint.ANY_NUMBER
static Constraint	Constraint.ANY_STRING
static Constraint	Constraint.ANY_VALUE
static Constraint	Constraint.ARRAY
static Constraint	Constraint.BOOLEAN_OBJECT
static Constraint	Constraint.BOOLEAN_PRIMITIVE
static Constraint	Constraint.DATE
static Constraint	Constraint.EMPTY_STRING_PRIMITIVE
static Constraint	Constraint.FALSE
static Constraint	Constraint.FALSY
static Constraint	Constraint.FUNCTION
static Constraint	Constraint.KNOWN_OBJECTS
static Constraint	Constraint.NAN
static Constraint	Constraint.NO_POSSIBLE_VALUE
static Constraint	Constraint.NOT_NULLY
static Constraint	Constraint.NULL
static Constraint	Constraint.NULL_OR_UNDEFINED
static Constraint	Constraint.NUMBER_OBJECT
static Constraint	Constraint.NUMBER_PRIMITIVE
static Constraint	Constraint.OBJECT
static Constraint	Constraint.OTHER_OBJECT
static Constraint	Constraint.REGEXP
static Constraint	Constraint.STRING_OBJECT
static Constraint	Constraint.STRING_PRIMITIVE
static Constraint	Constraint.TRUE
static Constraint	Constraint.TRUTHY
static Constraint	Constraint.TRUTHY_NUMBER_PRIMITIVE
static Constraint	Constraint.TRUTHY_STRING_PRIMITIVE
static Constraint	Constraint.UNDEFINED
static Constraint	Constraint.ZERO

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

Modifier and Type	Method and Description
Constraint	Constraint.and(Constraint other)
Constraint	Type.constraint()
Constraint	ProgramState.getConstraint(Symbol symbol)
Constraint	ProgramStateConstraints.getConstraint(SymbolicValue value)
Constraint	ProgramState.getConstraint(SymbolicValue value)
Constraint	Constraint.not()
Constraint	Constraint.or(Constraint other)

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

Modifier and Type	Method and Description
Constraint	Constraint.and(Constraint other)
Optional<ProgramState>	ProgramState.constrain(SymbolicValue value, Constraint constraint)
static Type	Type.find(Constraint constraint)
boolean	Constraint.isIncompatibleWith(Constraint other)
boolean	Constraint.isStricterOrEqualTo(Constraint other)
ProgramState	ProgramState.newSymbolicValue(Symbol symbol, Constraint constraint)
Constraint	Constraint.or(Constraint other)

Uses of Constraint in org.sonar.javascript.se.builtins

Methods in org.sonar.javascript.se.builtins that return Constraint

Modifier and Type	Method and Description
Constraint	MathBuiltInObjectSymbolicValue.baseConstraint(ProgramState state)
protected static Constraint	BuiltInProperties.constraintOnRecentProperty(Constraint baseConstraint)

Methods in org.sonar.javascript.se.builtins with parameters of type Constraint

Modifier and Type	Method and Description
Optional<ProgramState>	MathBuiltInObjectSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
protected static Constraint	BuiltInProperties.constraintOnRecentProperty(Constraint baseConstraint)
protected static FunctionWithKnownReturnSymbolicValue	BuiltInProperties.method(Constraint returnConstraint)

Uses of Constraint in org.sonar.javascript.se.sv

Methods in org.sonar.javascript.se.sv that return Constraint

Modifier and Type	Method and Description
Constraint	UnknownSymbolicValue.baseConstraint(ProgramState state)
Constraint	TypeOfSymbolicValue.baseConstraint(ProgramState state)
Constraint	TypeOfComparisonSymbolicValue.baseConstraint(ProgramState state)
Constraint	SymbolicValueWithConstraint.baseConstraint(ProgramState state)
Constraint	SymbolicValue.baseConstraint(ProgramState state)
Constraint	SpecialSymbolicValue.baseConstraint(ProgramState state)
Constraint	SimpleSymbolicValue.baseConstraint(ProgramState state)
Constraint	RelationalSymbolicValue.baseConstraint(ProgramState state)
Constraint	PlusSymbolicValue.baseConstraint(ProgramState state)
Constraint	LogicalNotSymbolicValue.baseConstraint(ProgramState state)
Constraint	LiteralSymbolicValue.baseConstraint(ProgramState state)
Constraint	InstanceOfSymbolicValue.baseConstraint(ProgramState state)
Constraint	FunctionWithTreeSymbolicValue.baseConstraint(ProgramState state)
Constraint	FunctionWithKnownReturnSymbolicValue.baseConstraint(ProgramState state)
default Constraint	FunctionSymbolicValue.baseConstraint(ProgramState state)
Constraint	EqualitySymbolicValue.baseConstraint(ProgramState state)

Methods in org.sonar.javascript.se.sv with parameters of type Constraint

Modifier and Type	Method and Description
Optional<ProgramState>	UnknownSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	TypeOfSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	TypeOfComparisonSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	SymbolicValueWithConstraint.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	SymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	SpecialSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	SimpleSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	RelationalSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	PlusSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	LogicalNotSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	LiteralSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	InstanceOfSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	FunctionWithTreeSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	FunctionWithKnownReturnSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
default Optional<ProgramState>	FunctionSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	EqualitySymbolicValue.constrainDependencies(ProgramState incomingState, Constraint constraint)

Constructors in org.sonar.javascript.se.sv with parameters of type Constraint

Constructor and Description
FunctionWithKnownReturnSymbolicValue(Constraint returnedValueConstraint)
SymbolicValueWithConstraint(Constraint originalConstraint)