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 and Description
SymbolicValue	Type.getPropertyValue(String propertyName)
SymbolicValue	ProgramState.getSymbolicValue(IdentifierTree identifier, SymbolicExecution execution)
SymbolicValue	ProgramState.getSymbolicValue(Symbol symbol)
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 and 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 and Description
ProgramState	ProgramState.assignment(Symbol variable, SymbolicValue value)
Optional<ProgramState>	ProgramState.constrain(SymbolicValue value, Constraint constraint)
Constraint	ProgramStateConstraints.getConstraint(SymbolicValue value)
Constraint	ProgramState.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 and 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 and 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 and Description
class	BuiltInConstructorSymbolicValue
class	BuiltInObjectSymbolicValue

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

Modifier and Type	Field and Description
static SymbolicValue	BuiltInObjectSymbolicValue.IS_NAN

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

Modifier and Type	Method and Description
SymbolicValue	BuiltInConstructorSymbolicValue.call(List<SymbolicValue> argumentValues)
SymbolicValue	BuiltInObjectSymbolicValue.getPropertyValue(String propertyName)
SymbolicValue	BuiltInConstructorSymbolicValue.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 and 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 and 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 and Description
protected SymbolicValue	StrictlyArithmeticBinaryProgramPoint.resolveValue(Constraint firstOperandConstraint, Constraint secondOperandConstraint, SymbolicValue firstOperandValue, SymbolicValue secondOperandValue)
protected SymbolicValue	PlusProgramPoint.resolveValue(Constraint firstOperandConstraint, Constraint secondOperandConstraint, SymbolicValue firstOperandValue, SymbolicValue secondOperandValue)
SymbolicValue	BitwiseBinaryProgramPoint.resolveValue(Constraint firstOperandConstraint, Constraint secondOperandConstraint, SymbolicValue firstOperandValue, SymbolicValue secondOperandValue)
protected abstract SymbolicValue	BinaryProgramPoint.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 and Description
protected SymbolicValue	StrictlyArithmeticBinaryProgramPoint.resolveValue(Constraint firstOperandConstraint, Constraint secondOperandConstraint, SymbolicValue firstOperandValue, SymbolicValue secondOperandValue)
protected SymbolicValue	PlusProgramPoint.resolveValue(Constraint firstOperandConstraint, Constraint secondOperandConstraint, SymbolicValue firstOperandValue, SymbolicValue secondOperandValue)
SymbolicValue	BitwiseBinaryProgramPoint.resolveValue(Constraint firstOperandConstraint, Constraint secondOperandConstraint, SymbolicValue firstOperandValue, SymbolicValue secondOperandValue)
protected abstract SymbolicValue	BinaryProgramPoint.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 and Description
interface	FunctionSymbolicValue
interface	ObjectSymbolicValue

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

Modifier and Type	Class and 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 and Description
default SymbolicValue	FunctionSymbolicValue.call(List<SymbolicValue> argumentValues)
SymbolicValue	BuiltInFunctionSymbolicValue.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)
SymbolicValue	ObjectSymbolicValue.getPropertyValue(String name)
default SymbolicValue	FunctionSymbolicValue.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 and Description
static SymbolicValue	LogicalNotSymbolicValue.create(SymbolicValue negatedValue)
static TypeOfComparisonSymbolicValue	TypeOfComparisonSymbolicValue.create(SymbolicValue operand1, SymbolicValue operand2)
static SymbolicValue	RelationalSymbolicValue.create(Tree.Kind kind, SymbolicValue leftOperand, SymbolicValue rightOperand)

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

Modifier and Type	Method and Description
default SymbolicValue	FunctionSymbolicValue.call(List<SymbolicValue> argumentValues)
SymbolicValue	BuiltInFunctionSymbolicValue.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 and Description
IncDecSymbolicValue(IncDecSymbolicValue.Sign sign, SymbolicValue operandValue)
InstanceOfSymbolicValue(SymbolicValue objectValue, SymbolicValue constructorValue)
PlusSymbolicValue(SymbolicValue firstOperandValue, SymbolicValue secondOperandValue)
TypeOfSymbolicValue(SymbolicValue operandValue)
UnaryMinusSymbolicValue(SymbolicValue operandValue)