| Package | Description |
|---|---|
| org.sonar.javascript.se | |
| org.sonar.javascript.se.sv |
| Modifier and Type | Method and Description |
|---|---|
SymbolicValue |
ProgramState.getSymbolicValue(Symbol symbol) |
SymbolicValue |
ExpressionStack.peek() |
SymbolicValue |
ExpressionStack.peek(int n) |
SymbolicValue |
ProgramState.peekStack() |
SymbolicValue |
ProgramState.peekStack(int n) |
| Modifier and Type | Method and Description |
|---|---|
com.google.common.collect.ImmutableMap<Symbol,SymbolicValue> |
ProgramState.values() |
| Modifier and Type | Method and Description |
|---|---|
ProgramState |
ProgramState.constrain(SymbolicValue value,
Constraint constraint) |
ProgramState |
ProgramState.constrainOwnSV(SymbolicValue value,
Constraint constraint) |
Constraint |
ProgramState.getConstraint(SymbolicValue value) |
Nullability |
ProgramState.getNullability(SymbolicValue value) |
ExpressionStack |
ExpressionStack.push(SymbolicValue newValue) |
ProgramState |
ProgramState.pushToStack(SymbolicValue value) |
| Modifier and Type | Class and Description |
|---|---|
class |
EqualToSymbolicValue
This class represents symbolic value for equality 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 |
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 |
|---|---|
static SymbolicValue |
LogicalNotSymbolicValue.create(SymbolicValue negatedValue) |
static SymbolicValue |
EqualToSymbolicValue.createEqual(SymbolicValue operand1,
SymbolicValue operand2) |
static SymbolicValue |
EqualToSymbolicValue.createNotEqual(SymbolicValue operand1,
SymbolicValue operand2) |
static SymbolicValue |
EqualToSymbolicValue.createStrictEqual(SymbolicValue operand1,
SymbolicValue operand2) |
static SymbolicValue |
EqualToSymbolicValue.createStrictNotEqual(SymbolicValue operand1,
SymbolicValue operand2) |
SymbolicValue |
TypeOfSymbolicValue.operandValue() |
| Modifier and Type | Method and Description |
|---|---|
static SymbolicValue |
LogicalNotSymbolicValue.create(SymbolicValue negatedValue) |
static TypeOfComparisonSymbolicValue |
TypeOfComparisonSymbolicValue.create(SymbolicValue operand1,
SymbolicValue operand2) |
static SymbolicValue |
EqualToSymbolicValue.createEqual(SymbolicValue operand1,
SymbolicValue operand2) |
static SymbolicValue |
EqualToSymbolicValue.createNotEqual(SymbolicValue operand1,
SymbolicValue operand2) |
static SymbolicValue |
EqualToSymbolicValue.createStrictEqual(SymbolicValue operand1,
SymbolicValue operand2) |
static SymbolicValue |
EqualToSymbolicValue.createStrictNotEqual(SymbolicValue operand1,
SymbolicValue operand2) |
| Constructor and Description |
|---|
EqualToSymbolicValue(SymbolicValue firstOperandValue,
Constraint constraint) |
PlusSymbolicValue(SymbolicValue firstOperandValue,
SymbolicValue secondOperandValue) |
TypeOfSymbolicValue(SymbolicValue operandValue) |
Copyright © 2011–2016 SonarSource and Eriks Nukis. All rights reserved.