Uses of Interface
org.sonar.javascript.se.sv.SymbolicValue

Packages that use SymbolicValue

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

Uses of SymbolicValue in org.sonar.javascript.se

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

Modifier and Type	Method	Description
SymbolicValue	Type.getPropertyValue(String propertyName)
SymbolicValue	ProgramState.getSymbolicValue(Symbol symbol)
SymbolicValue	ProgramState.getSymbolicValue(IdentifierTree identifier, SymbolicExecution execution)
SymbolicValue	Relation.leftOperand()
SymbolicValue	ExpressionStack.peek()
SymbolicValue	ExpressionStack.peek(int n)
SymbolicValue	ProgramState.peekStack()
SymbolicValue	ProgramState.peekStack(int n)
SymbolicValue	Relation.rightOperand()

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

Modifier and Type	Method	Description
Set<SymbolicValue>	Relation.operands()
com.google.common.collect.ImmutableMap<Symbol,SymbolicValue>	ProgramState.values()

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

Modifier and Type	Method	Description
ProgramState	ProgramState.assignment(Symbol variable, SymbolicValue value)
Optional<ProgramState>	ProgramState.constrain(SymbolicValue value, Constraint constraint)
Constraint	ProgramState.getConstraint(SymbolicValue value)
Constraint	ProgramStateConstraints.getConstraint(SymbolicValue value)
ExpressionStack	ExpressionStack.push(SymbolicValue newValue)
ProgramState	ProgramState.pushToStack(SymbolicValue value)

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

Modifier and Type	Method	Description
ExpressionStack	ExpressionStack.apply(Consumer<Deque<SymbolicValue>> action)	This method allows to perform one or more operations on a copy of the internal stack.

Constructors in org.sonar.javascript.se with parameters of type SymbolicValue

Constructor	Description
Relation(Tree.Kind kind, SymbolicValue leftOperand, SymbolicValue rightOperand)

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

Classes in org.sonar.javascript.se.builtins that implement SymbolicValue

Modifier and Type	Class	Description
class	BuiltInConstructorSymbolicValue
class	BuiltInObjectSymbolicValue

Fields in org.sonar.javascript.se.builtins declared as SymbolicValue

Modifier and Type	Field	Description
static SymbolicValue	BuiltInObjectSymbolicValue.IS_NAN

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

Modifier and Type	Method	Description
SymbolicValue	BuiltInConstructorSymbolicValue.call(List<SymbolicValue> argumentValues)
SymbolicValue	BuiltInConstructorSymbolicValue.getPropertyValue(String propertyName)
SymbolicValue	BuiltInObjectSymbolicValue.getPropertyValue(String propertyName)
SymbolicValue	BuiltInConstructorSymbolicValue.instantiate()

Methods in org.sonar.javascript.se.builtins that return types with arguments of type SymbolicValue

Modifier and Type	Method	Description
static Optional<SymbolicValue>	BuiltInObjectSymbolicValue.find(String name)

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

Modifier and Type	Method	Description
SymbolicValue	BuiltInConstructorSymbolicValue.call(List<SymbolicValue> argumentValues)

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

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

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)

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

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 SymbolicValue in org.sonar.javascript.se.sv

Subinterfaces of SymbolicValue in org.sonar.javascript.se.sv

Modifier and Type	Interface	Description
interface	FunctionSymbolicValue
interface	ObjectSymbolicValue

Classes in org.sonar.javascript.se.sv that implement SymbolicValue

Modifier and Type	Class	Description
class	BuiltInFunctionSymbolicValue	This symbolic values is used for built-in types and objects methods.
class	EqualitySymbolicValue
class	FunctionWithTreeSymbolicValue
class	IncDecSymbolicValue	This symbolic value represents "plus 1" or "minus 1" operation (used for increment and decrement)
class	InstanceOfSymbolicValue	This class represents symbolic value for "instanceof" expression.
class	LiteralSymbolicValue	This class represents symbolic value for literal (string, number and boolean).
class	LogicalNotSymbolicValue
class	PlusSymbolicValue	This class represents symbolic value for binary "+" expression.
class	RelationalSymbolicValue
class	SimpleSymbolicValue	This class represents symbolic value for symbol.
class	SpecialSymbolicValue
class	SymbolicValueWithConstraint
class	TypeOfComparisonSymbolicValue	This class represents symbolic value for typical comparison of "typeof " with string literal.
class	TypeOfSymbolicValue	This class represents symbolic value for "typeof" expression.
class	UnaryMinusSymbolicValue	Symbolic value used for numeric negation ("-x")
class	UnknownSymbolicValue	This enum represents symbolic value for which we have no information.

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

Modifier and Type	Method	Description
SymbolicValue	BuiltInFunctionSymbolicValue.call(List<SymbolicValue> argumentValues)
default SymbolicValue	FunctionSymbolicValue.call(List<SymbolicValue> argumentValues)
static SymbolicValue	LogicalNotSymbolicValue.create(SymbolicValue negatedValue)
static SymbolicValue	RelationalSymbolicValue.create(Tree.Kind kind, SymbolicValue leftOperand, SymbolicValue rightOperand)
static SymbolicValue	LiteralSymbolicValue.get(LiteralTree literal)
default SymbolicValue	FunctionSymbolicValue.getPropertyValue(String name)
SymbolicValue	ObjectSymbolicValue.getPropertyValue(String name)
default SymbolicValue	FunctionSymbolicValue.instantiate()
SymbolicValue	LogicalNotSymbolicValue.negatedValue()
SymbolicValue	TypeOfSymbolicValue.operandValue()

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

Modifier and Type	Method	Description
static SymbolicValue	LogicalNotSymbolicValue.create(SymbolicValue negatedValue)
static SymbolicValue	RelationalSymbolicValue.create(Tree.Kind kind, SymbolicValue leftOperand, SymbolicValue rightOperand)
static TypeOfComparisonSymbolicValue	TypeOfComparisonSymbolicValue.create(SymbolicValue operand1, SymbolicValue operand2)

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

Modifier and Type	Method	Description
SymbolicValue	BuiltInFunctionSymbolicValue.call(List<SymbolicValue> argumentValues)
default SymbolicValue	FunctionSymbolicValue.call(List<SymbolicValue> argumentValues)
Optional<ProgramState>	BuiltInFunctionSymbolicValue.ArgumentsConstrainer.constrain(List<SymbolicValue> arguments, ProgramState state, Constraint constraint)

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

Constructor	Description
IncDecSymbolicValue(IncDecSymbolicValue.Sign sign, SymbolicValue operandValue)
InstanceOfSymbolicValue(SymbolicValue objectValue, SymbolicValue constructorValue)
PlusSymbolicValue(SymbolicValue firstOperandValue, SymbolicValue secondOperandValue)
TypeOfSymbolicValue(SymbolicValue operandValue)
UnaryMinusSymbolicValue(SymbolicValue operandValue)