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.points
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	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.NEGATIVE_NUMBER_PRIMITIVE
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.POSITIVE_NUMBER_PRIMITIVE
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	Description
Constraint	Constraint.and(Constraint other)
Constraint	Type.constraint()
Constraint	ProgramState.getConstraint(SymbolicValue value)
Constraint	ProgramState.getConstraint(Symbol symbol)
Constraint	ProgramStateConstraints.getConstraint(SymbolicValue value)
Constraint	SymbolicExecution.getReturnConstraint()
Constraint	Constraint.not()
Constraint	Constraint.or(Constraint other)

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

Modifier and Type	Method	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)

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

Modifier and Type	Method	Description
void	SeCheck.checkConditions(Map<Tree,Collection<Constraint>> conditions)	Override this method to check the constraints on conditions (TRUTHY or FALSY) in current execution (aka function scope).

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

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

Modifier and Type	Method	Description
Constraint	BuiltInObjectSymbolicValue.baseConstraint()
Constraint	BuiltInObjectSymbolicValue.baseConstraint(ProgramState state)

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

Modifier and Type	Method	Description
static BuiltInConstructorSymbolicValue	BuiltInConstructorSymbolicValue.constructor(Map<String,org.sonar.javascript.se.builtins.BuiltInProperty> properties, Constraint constraintOnReturnedValue, BuiltInObjectSymbolicValue prototypeOfInstances)
static BuiltInObjectSymbolicValue	BuiltInObjectSymbolicValue.create(Map<String,org.sonar.javascript.se.builtins.BuiltInProperty> properties, BuiltInObjectSymbolicValue prototype, Constraint baseConstraint)

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

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

Modifier and Type	Method	Description
Constraint	BinaryProgramPoint.firstOperandConstraint()	NOTE This method should be called only after BinaryProgramPoint.resultingConstraint(ProgramState) or BinaryProgramPoint.execute(ProgramState)
Constraint	BinaryProgramPoint.resultingConstraint(ProgramState currentState)
Constraint	BinaryProgramPoint.secondOperandConstraint()	NOTE This method should be called only after BinaryProgramPoint.resultingConstraint(ProgramState) or BinaryProgramPoint.execute(ProgramState)

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

Modifier and Type	Method	Description
protected abstract SymbolicValue	BinaryProgramPoint.resolveValue(Constraint firstOperandConstraint, Constraint secondOperandConstraint, SymbolicValue firstOperandValue, SymbolicValue secondOperandValue)
SymbolicValue	BitwiseBinaryProgramPoint.resolveValue(Constraint firstOperandConstraint, Constraint secondOperandConstraint, SymbolicValue firstOperandValue, SymbolicValue secondOperandValue)
protected SymbolicValue	PlusProgramPoint.resolveValue(Constraint firstOperandConstraint, Constraint secondOperandConstraint, SymbolicValue firstOperandValue, SymbolicValue secondOperandValue)
protected SymbolicValue	StrictlyArithmeticBinaryProgramPoint.resolveValue(Constraint firstOperandConstraint, Constraint secondOperandConstraint, SymbolicValue firstOperandValue, SymbolicValue secondOperandValue)

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

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

Modifier and Type	Method	Description
Constraint	BuiltInFunctionSymbolicValue.ListSignature.apply(int parameterIndex)
Constraint	BuiltInFunctionSymbolicValue.baseConstraint(ProgramState state)
Constraint	EqualitySymbolicValue.baseConstraint(ProgramState state)
default Constraint	FunctionSymbolicValue.baseConstraint(ProgramState state)
Constraint	FunctionWithTreeSymbolicValue.baseConstraint(ProgramState state)
Constraint	IncDecSymbolicValue.baseConstraint(ProgramState state)
Constraint	InstanceOfSymbolicValue.baseConstraint(ProgramState state)
Constraint	LiteralSymbolicValue.baseConstraint(ProgramState state)
Constraint	LogicalNotSymbolicValue.baseConstraint(ProgramState state)
Constraint	PlusSymbolicValue.baseConstraint(ProgramState state)
Constraint	RelationalSymbolicValue.baseConstraint(ProgramState state)
Constraint	SimpleSymbolicValue.baseConstraint(ProgramState state)
Constraint	SpecialSymbolicValue.baseConstraint(ProgramState state)
Constraint	SymbolicValue.baseConstraint(ProgramState state)
Constraint	SymbolicValueWithConstraint.baseConstraint(ProgramState state)
Constraint	TypeOfComparisonSymbolicValue.baseConstraint(ProgramState state)
Constraint	TypeOfSymbolicValue.baseConstraint(ProgramState state)
Constraint	UnaryMinusSymbolicValue.baseConstraint(ProgramState state)
Constraint	UnknownSymbolicValue.baseConstraint(ProgramState state)

Methods in org.sonar.javascript.se.sv that return types with arguments of type Constraint

Modifier and Type	Method	Description
IntFunction<Constraint>	BuiltInFunctionSymbolicValue.signature()

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

Modifier and Type	Method	Description
Optional<ProgramState>	BuiltInFunctionSymbolicValue.ArgumentsConstrainer.constrain(List<SymbolicValue> arguments, ProgramState state, Constraint constraint)
Optional<ProgramState>	BuiltInFunctionSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	EqualitySymbolicValue.constrainDependencies(ProgramState incomingState, Constraint constraint)
Optional<ProgramState>	FunctionWithTreeSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	IncDecSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	InstanceOfSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	LiteralSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	LogicalNotSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
default Optional<ProgramState>	ObjectSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	PlusSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	RelationalSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	SimpleSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	SpecialSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	SymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	SymbolicValueWithConstraint.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	TypeOfComparisonSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	TypeOfSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	UnaryMinusSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	UnknownSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)

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

Constructor	Description
BuiltInFunctionSymbolicValue(Constraint returnedValueConstraint)
BuiltInFunctionSymbolicValue(Constraint returnedValueConstraint, IntFunction<Constraint> signature)
BuiltInFunctionSymbolicValue(Constraint returnedValueConstraint, IntFunction<Constraint> signature, boolean hasSideEffect)
BuiltInFunctionSymbolicValue(Constraint returnedValueConstraint, BuiltInFunctionSymbolicValue.ArgumentsConstrainer argumentsConstrainer, IntFunction<Constraint> signature, boolean hasSideEffect)
SymbolicValueWithConstraint(Constraint originalConstraint)

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

Constructor	Description
BuiltInFunctionSymbolicValue(Constraint returnedValueConstraint, IntFunction<Constraint> signature)
BuiltInFunctionSymbolicValue(Constraint returnedValueConstraint, IntFunction<Constraint> signature, boolean hasSideEffect)
BuiltInFunctionSymbolicValue(Constraint returnedValueConstraint, BuiltInFunctionSymbolicValue.ArgumentsConstrainer argumentsConstrainer, IntFunction<Constraint> signature, boolean hasSideEffect)
ListSignature(List<Constraint> parameterTypes)