Package org.sonar.java.se

Class ExplodedGraph.Node

java.lang.Object

org.sonar.java.se.ExplodedGraph.Node

Enclosing class:

ExplodedGraph

public static final class ExplodedGraph.Node
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
final ProgramPoint	programPoint
final ProgramState	programState

Method Summary

Modifier and Type	Method	Description
void	addParent(ExplodedGraph.Node parent, MethodYield methodYield)
Collection<ExplodedGraph.Edge>	edges()
boolean	equals(Object obj)
int	hashCode()
boolean	isNew()
ExplodedGraph.Node	parent()
Set<ExplodedGraph.Node>	parents()
Collection<ExplodedGraph.Node>	siblings()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details

programPoint

public final ProgramPoint programPoint

programState

@Nullable
public final ProgramState programState

Method Details

addParent

public void addParent(@Nullable
 ExplodedGraph.Node parent,
 @Nullable
 MethodYield methodYield)

siblings

public Collection<ExplodedGraph.Node> siblings()

parent

@Nullable
public ExplodedGraph.Node parent()

parents

public Set<ExplodedGraph.Node> parents()

Returns:

the ordered (by insertion) sets of parents

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object

edges

public Collection<ExplodedGraph.Edge> edges()

isNew

public boolean isNew()