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