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 and Description
ProgramPoint	programPoint
ProgramState	programState

Method Summary

Modifier and Type	Method and 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 Detail

programPoint

public final ProgramPoint programPoint

programState

@Nullable
public final ProgramState programState

Method Detail

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()