| Package | Description |
|---|---|
| org.sonar.java.se | |
| org.sonar.java.se.symbolicvalues |
| Modifier and Type | Method and Description |
|---|---|
Set<RelationalSymbolicValue> |
ProgramState.knownRelations() |
| Modifier and Type | Method and Description |
|---|---|
protected List<ProgramState> |
SymbolicValue.setConstraint(ProgramState state,
Constraint constraint,
Set<RelationalSymbolicValue> knownRelations) |
protected List<ProgramState> |
RelationalSymbolicValue.setConstraint(ProgramState initialProgramState,
Constraint constraint,
Set<RelationalSymbolicValue> knownRelations) |
Copyright © 2012–2018 SonarSource. All rights reserved.