| Package | Description |
|---|---|
| org.sonar.javascript.se | |
| org.sonar.javascript.se.sv |
| Modifier and Type | Method and Description |
|---|---|
Constraint |
Constraint.and(Constraint other) |
Constraint |
ProgramState.getConstraint(Symbol symbol) |
Constraint |
ProgramState.getConstraint(SymbolicValue value) |
Constraint |
Constraint.not() |
static Constraint |
Constraint.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static Constraint[] |
Constraint.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
| Modifier and Type | Method and Description |
|---|---|
Map<Symbol,Constraint> |
ProgramState.constraintsBySymbol() |
| Modifier and Type | Method and Description |
|---|---|
Constraint |
Constraint.and(Constraint other) |
ProgramState |
ProgramState.constrain(SymbolicValue value,
Constraint constraint) |
boolean |
Constraint.isIncompatibleWith(Constraint other) |
boolean |
Constraint.isStricterOrEqualTo(Constraint other) |
ProgramState |
ProgramState.newSymbolicValue(Symbol symbol,
Constraint constraint) |
| Modifier and Type | Method and Description |
|---|---|
default Constraint |
SymbolicValue.inherentConstraint() |
Constraint |
SpecialSymbolicValue.inherentConstraint() |
Constraint |
LogicalNotSymbolicValue.inherentConstraint() |
Constraint |
LiteralSymbolicValue.inherentConstraint() |
Constraint |
EqualToSymbolicValue.inherentConstraint() |
| Modifier and Type | Method and Description |
|---|---|
List<ProgramState> |
UnknownSymbolicValue.constrain(ProgramState state,
Constraint constraint) |
List<ProgramState> |
TypeOfSymbolicValue.constrain(ProgramState state,
Constraint constraint) |
List<ProgramState> |
TypeOfComparisonSymbolicValue.constrain(ProgramState state,
Constraint constraint) |
List<ProgramState> |
SymbolicValue.constrain(ProgramState state,
Constraint constraint) |
List<ProgramState> |
SpecialSymbolicValue.constrain(ProgramState state,
Constraint constraint) |
List<ProgramState> |
SimpleSymbolicValue.constrain(ProgramState state,
Constraint constraint) |
List<ProgramState> |
LogicalNotSymbolicValue.constrain(ProgramState state,
Constraint constraint) |
List<ProgramState> |
LiteralSymbolicValue.constrain(ProgramState state,
Constraint constraint) |
List<ProgramState> |
EqualToSymbolicValue.constrain(ProgramState state,
Constraint constraint) |
| Constructor and Description |
|---|
EqualToSymbolicValue(SymbolicValue firstOperandValue,
Constraint constraint) |
Copyright © 2011–2016 SonarSource and Eriks Nukis. All rights reserved.