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.