| Package | Description |
|---|---|
| org.sonar.javascript.se | |
| org.sonar.javascript.se.sv |
| Modifier and Type | Method and Description |
|---|---|
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() |
| Modifier and Type | Method and Description |
|---|---|
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 |
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 |
EqualitySymbolicValue |
class |
FunctionSymbolicValue |
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 |
|---|---|
static SymbolicValue |
LogicalNotSymbolicValue.create(SymbolicValue negatedValue) |
static SymbolicValue |
RelationalSymbolicValue.create(Tree.Kind kind,
SymbolicValue leftOperand,
SymbolicValue rightOperand) |
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 |
RelationalSymbolicValue.create(Tree.Kind kind,
SymbolicValue leftOperand,
SymbolicValue rightOperand) |
| Constructor and Description |
|---|
PlusSymbolicValue(SymbolicValue firstOperandValue,
SymbolicValue secondOperandValue) |
TypeOfSymbolicValue(SymbolicValue operandValue) |
Copyright © 2011–2016 SonarSource and Eriks Nukis. All rights reserved.