| Package | Description |
|---|---|
| org.sonar.java.se | |
| org.sonar.java.se.constraint |
| Modifier and Type | Method and Description |
|---|---|
Constraint |
ProgramState.getConstraint(SymbolicValue sv) |
| Modifier and Type | Method and Description |
|---|---|
ProgramState |
ProgramState.addConstraint(SymbolicValue symbolicValue,
Constraint constraint) |
| Modifier and Type | Class and Description |
|---|---|
class |
BooleanConstraint |
class |
ObjectConstraint |
class |
TypedConstraint |
Copyright © 2012–2016 SonarSource. All rights reserved.