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

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

Modifier and Type	Field and Description
static List<Constraint>	Type.EMPTY
static List<Constraint>	Type.NUMBER_NUMBER
static List<Constraint>	Type.NUMBER_STRING
static List<Constraint>	Type.ONE_NUMBER
static List<Constraint>	Type.ONE_STRING
static List<Constraint>	Type.STRING_NUMBER
static IntFunction<Constraint>	Type.TO_LOCALE_STRING_SIGNATURE

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)
static BuiltInFunctionSymbolicValue.ArgumentsConstrainer	BuiltInProperties.getIsSomethingArgumentsConstrainer(Constraint logicConstraint)
protected static BuiltInFunctionSymbolicValue	BuiltInProperties.method(Constraint returnConstraint)
protected static BuiltInFunctionSymbolicValue	BuiltInProperties.method(Constraint returnConstraint, BuiltInFunctionSymbolicValue.ArgumentsConstrainer argumentsConstrainer, List<Constraint> parameterTypes)
protected static BuiltInFunctionSymbolicValue	BuiltInProperties.method(Constraint returnConstraint, BuiltInFunctionSymbolicValue.ArgumentsConstrainer argumentsConstrainer, List<Constraint> parameterTypes, boolean hasSideEffect)
protected static BuiltInFunctionSymbolicValue	BuiltInProperties.method(Constraint returnConstraint, IntFunction<Constraint> signature)
protected static BuiltInFunctionSymbolicValue	BuiltInProperties.method(Constraint returnConstraint, IntFunction<Constraint> signature, boolean hasSideEffect)
protected static BuiltInFunctionSymbolicValue	BuiltInProperties.method(Constraint returnConstraint, List<Constraint> parameterTypes)
protected static BuiltInFunctionSymbolicValue	BuiltInProperties.method(Constraint returnConstraint, List<Constraint> parameterTypes, boolean hasSideEffect)

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

Modifier and Type	Method and Description
protected static BuiltInFunctionSymbolicValue	BuiltInProperties.method(Constraint returnConstraint, BuiltInFunctionSymbolicValue.ArgumentsConstrainer argumentsConstrainer, List<Constraint> parameterTypes)
protected static BuiltInFunctionSymbolicValue	BuiltInProperties.method(Constraint returnConstraint, BuiltInFunctionSymbolicValue.ArgumentsConstrainer argumentsConstrainer, List<Constraint> parameterTypes, boolean hasSideEffect)
protected static BuiltInFunctionSymbolicValue	BuiltInProperties.method(Constraint returnConstraint, IntFunction<Constraint> signature)
protected static BuiltInFunctionSymbolicValue	BuiltInProperties.method(Constraint returnConstraint, IntFunction<Constraint> signature, boolean hasSideEffect)
protected static BuiltInFunctionSymbolicValue	BuiltInProperties.method(Constraint returnConstraint, List<Constraint> parameterTypes)
protected static BuiltInFunctionSymbolicValue	BuiltInProperties.method(Constraint returnConstraint, List<Constraint> parameterTypes, boolean hasSideEffect)

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	BuiltInFunctionSymbolicValue.ListSignature.apply(int parameterIndex)
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)
default Constraint	FunctionSymbolicValue.baseConstraint(ProgramState state)
Constraint	EqualitySymbolicValue.baseConstraint(ProgramState state)
Constraint	BuiltInFunctionSymbolicValue.baseConstraint(ProgramState state)

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

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

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

Modifier and Type	Method and Description
Optional<ProgramState>	BuiltInFunctionSymbolicValue.ArgumentsConstrainer.constrain(List<SymbolicValue> arguments, ProgramState state, Constraint constraint)
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)
default Optional<ProgramState>	FunctionSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)
Optional<ProgramState>	EqualitySymbolicValue.constrainDependencies(ProgramState incomingState, Constraint constraint)
Optional<ProgramState>	BuiltInFunctionSymbolicValue.constrainDependencies(ProgramState state, Constraint constraint)

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

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

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

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