| Package | Description |
|---|---|
| org.sonar.javascript.se |
| Modifier and Type | Method and Description |
|---|---|
ProgramState |
ProgramState.constrain(Symbol symbol,
Nullability nullability) |
ProgramState |
ProgramState.constrain(Symbol symbol,
Truthiness truthiness) |
ProgramState |
ProgramState.copyAndAddValue(Symbol symbol,
SymbolicValue value) |
static ProgramState |
ProgramState.emptyState() |
ProgramState |
BlockExecution.state() |
| Modifier and Type | Method and Description |
|---|---|
void |
SeCheck.afterBlockElement(ProgramState currentState,
Tree element) |
void |
SeCheck.beforeBlockElement(ProgramState currentState,
Tree element) |
| Constructor and Description |
|---|
BlockExecution(CfgBlock block,
ProgramState state) |
Copyright © 2011–2016 SonarSource and Eriks Nukis. All rights reserved.