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