| Package | Description |
|---|---|
| org.sonar.javascript.se | |
| org.sonar.javascript.se.builtins | |
| org.sonar.javascript.se.sv |
| Modifier and Type | Method and Description |
|---|---|
SymbolicValue |
ProgramState.getSymbolicValue(Symbol symbol) |
SymbolicValue |
Type.getValueForProperty(String propertyName) |
SymbolicValue |
Relation.leftOperand() |
SymbolicValue |
ExpressionStack.peek() |
SymbolicValue |
ExpressionStack.peek(int n) |
SymbolicValue |
ProgramState.peekStack() |
SymbolicValue |
ProgramState.peekStack(int n) |
SymbolicValue |
Relation.rightOperand() |
| Modifier and Type | Method and Description |
|---|---|
Optional<SymbolicValue> |
Type.getValueForOwnProperty(String name) |
Set<SymbolicValue> |
Relation.operands() |
com.google.common.collect.ImmutableMap<Symbol,SymbolicValue> |
ProgramState.values() |
| Modifier and Type | Method and Description |
|---|---|
Optional<ProgramState> |
ProgramState.constrain(SymbolicValue value,
Constraint constraint) |
Constraint |
ProgramStateConstraints.getConstraint(SymbolicValue value) |
Constraint |
ProgramState.getConstraint(SymbolicValue value) |
Nullability |
ProgramState.getNullability(SymbolicValue value) |
ExpressionStack |
ExpressionStack.push(SymbolicValue newValue) |
ProgramState |
ProgramState.pushToStack(SymbolicValue value) |
| Constructor and Description |
|---|
Relation(Tree.Kind kind,
SymbolicValue leftOperand,
SymbolicValue rightOperand) |
| Modifier and Type | Class and Description |
|---|---|
class |
BuiltInObjectSymbolicValue |
class |
MathBuiltInObjectSymbolicValue |
| Modifier and Type | Method and Description |
|---|---|
SymbolicValue |
BuiltInObjectSymbolicValue.call(List<SymbolicValue> argumentValues) |
SymbolicValue |
BuiltInProperties.getValueForProperty(String propertyName) |
SymbolicValue |
BuiltInObjectSymbolicValue.instantiate() |
| Modifier and Type | Method and Description |
|---|---|
static Optional<SymbolicValue> |
BuiltInObjectSymbolicValue.find(String name) |
Optional<SymbolicValue> |
MathBuiltInObjectSymbolicValue.getValueForOwnProperty(String name) |
Optional<SymbolicValue> |
BuiltInProperties.getValueForOwnProperty(String name) |
Optional<SymbolicValue> |
BuiltInObjectSymbolicValue.getValueForOwnProperty(String name) |
| Modifier and Type | Method and Description |
|---|---|
SymbolicValue |
BuiltInObjectSymbolicValue.call(List<SymbolicValue> argumentValues) |
| Modifier and Type | Interface and Description |
|---|---|
interface |
FunctionSymbolicValue |
interface |
ObjectSymbolicValue |
| 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 |
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
|
class |
TypeOfSymbolicValue
This class represents symbolic value for "typeof" expression.
|
class |
UnknownSymbolicValue
This enum represents symbolic value for which we have no information.
|
| 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) |
default SymbolicValue |
FunctionSymbolicValue.instantiate() |
SymbolicValue |
TypeOfSymbolicValue.operandValue() |
| Modifier and Type | Method and Description |
|---|---|
Optional<SymbolicValue> |
ObjectSymbolicValue.getValueForOwnProperty(String name) |
default Optional<SymbolicValue> |
FunctionSymbolicValue.getValueForOwnProperty(String name) |
| 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) |
| 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) |
| Constructor and Description |
|---|
InstanceOfSymbolicValue(SymbolicValue objectValue,
SymbolicValue constructorValue) |
PlusSymbolicValue(SymbolicValue firstOperandValue,
SymbolicValue secondOperandValue) |
TypeOfSymbolicValue(SymbolicValue operandValue) |
Copyright © 2011–2017 SonarSource and Eriks Nukis. All rights reserved.