public static class ExplodedGraph.Node extends Object
Modifier and Type | Class and Description |
---|---|
static class |
ExplodedGraph.Node.LearnedConstraint |
static class |
ExplodedGraph.Node.LearnedValue |
Modifier and Type | Field and Description |
---|---|
ExplodedGraph.ProgramPoint |
programPoint
Execution location.
|
ProgramState |
programState |
Constructor and Description |
---|
Node(ExplodedGraph.ProgramPoint programPoint,
ProgramState programState) |
Modifier and Type | Method and Description |
---|---|
void |
addParent(ExplodedGraph.Node node) |
boolean |
equals(Object obj) |
List<ExplodedGraph.Node.LearnedConstraint> |
getLearnedConstraints() |
List<ExplodedGraph.Node.LearnedValue> |
getLearnedSymbols() |
List<ExplodedGraph.Node> |
getParents() |
int |
hashCode() |
ExplodedGraph.Node |
parent() |
void |
setParent(ExplodedGraph.Node parent) |
String |
toString() |
public final ExplodedGraph.ProgramPoint programPoint
@Nullable public final ProgramState programState
public Node(ExplodedGraph.ProgramPoint programPoint, @Nullable ProgramState programState)
public void setParent(@Nullable ExplodedGraph.Node parent)
public void addParent(ExplodedGraph.Node node)
@Nullable public ExplodedGraph.Node parent()
public List<ExplodedGraph.Node> getParents()
public List<ExplodedGraph.Node.LearnedConstraint> getLearnedConstraints()
public List<ExplodedGraph.Node.LearnedValue> getLearnedSymbols()
Copyright © 2012–2017 SonarSource. All rights reserved.