| Package | Description |
|---|---|
| org.sonar.java.se | |
| org.sonar.java.se.constraint | |
| org.sonar.java.se.xproc |
| Modifier and Type | Method and Description |
|---|---|
ConstraintsByDomain |
ProgramState.getConstraints(SymbolicValue sv) |
| Modifier and Type | Method and Description |
|---|---|
ProgramState |
ProgramState.addConstraints(SymbolicValue symbolicValue,
ConstraintsByDomain constraintsForSV) |
| Modifier and Type | Method and Description |
|---|---|
static ConstraintsByDomain |
ConstraintsByDomain.empty() |
ConstraintsByDomain |
ConstraintsByDomain.put(Constraint constraint) |
ConstraintsByDomain |
ConstraintsByDomain.remove(Class<? extends Constraint> domain) |
| Modifier and Type | Method and Description |
|---|---|
ConstraintsByDomain |
HappyPathYield.resultConstraint() |
| Modifier and Type | Method and Description |
|---|---|
void |
HappyPathYield.setResult(int resultIndex,
ConstraintsByDomain resultConstraint) |
Copyright © 2012–2017 SonarSource. All rights reserved.