| Package | Description |
|---|---|
| org.sonar.javascript.se |
| Modifier and Type | Class and Description |
|---|---|
class |
ProgramState
This class represents the knowledge about the variables values.
|
| Modifier and Type | Method and Description |
|---|---|
ExpressionStack |
ExpressionStack.execute(ExpressionTree expression,
ProgramStateConstraints constraints)
This method executes expression: it pushes to the stack a new symbolic value based (if required) on popped symbolic values.
|
Copyright © 2011–2017 SonarSource and Eriks Nukis. All rights reserved.