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

Packages that use Constraint

Package	Description
org.sonar.javascript.se
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_VALUE
static Constraint	Constraint.ARRAY
static Constraint	Constraint.BOOLEAN
static Constraint	Constraint.EMPTY_STRING
static Constraint	Constraint.FALSE
static Constraint	Constraint.FALSY
static Constraint	Constraint.FUNCTION
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
static Constraint	Constraint.OBJECT
static Constraint	Constraint.OTHER_OBJECT
static Constraint	Constraint.STRING
static Constraint	Constraint.TRUE
static Constraint	Constraint.TRUTHY
static Constraint	Constraint.TRUTHY_NUMBER
static Constraint	Constraint.TRUTHY_STRING
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	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)
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.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	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>	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
SymbolicValueWithConstraint(Constraint originalConstraint)