| Package | Description |
|---|---|
| org.sonar.java.collections |
https://en.wikipedia.org/wiki/Persistent_data_structure
|
| org.sonar.java.se | |
| org.sonar.java.se.xproc |
| Modifier and Type | Method and Description |
|---|---|
static <E,V> PMap<E,V> |
PCollections.emptyMap() |
PMap<K,V> |
PMap.put(K key,
V value) |
PMap<K,V> |
PMap.remove(K key) |
| Modifier and Type | Method and Description |
|---|---|
PMap<Class<? extends Constraint>,Constraint> |
ProgramState.getConstraints(SymbolicValue sv) |
| Modifier and Type | Method and Description |
|---|---|
ProgramState |
ProgramState.addConstraints(SymbolicValue symbolicValue,
PMap<Class<? extends Constraint>,Constraint> constraintsForSV) |
| Modifier and Type | Method and Description |
|---|---|
PMap<Class<? extends Constraint>,Constraint> |
HappyPathYield.resultConstraint() |
| Modifier and Type | Method and Description |
|---|---|
void |
HappyPathYield.setResult(int resultIndex,
PMap<Class<? extends Constraint>,Constraint> resultConstraint) |
Copyright © 2012–2017 SonarSource. All rights reserved.