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.