Package org.sonar.java.se

Class ExplodedGraph

java.lang.Object

org.sonar.java.se.ExplodedGraph

public class ExplodedGraph
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final class	ExplodedGraph.Edge
static final class	ExplodedGraph.Node

Constructor Summary

Constructors

Constructor	Description
ExplodedGraph()

Method Summary

Modifier and Type	Method	Description
ExplodedGraph.Node	node(ProgramPoint programPoint, ProgramState programState)	Returns node associated with given (programPoint,programState) pair.
Map<ExplodedGraph.Node,ExplodedGraph.Node>	nodes()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ExplodedGraph

public ExplodedGraph()

Method Details

node

public ExplodedGraph.Node node(ProgramPoint programPoint,
 @Nullable
 ProgramState programState)

Returns node associated with given (programPoint,programState) pair. If no node for this pair exists, it is created.

nodes

public Map<ExplodedGraph.Node,ExplodedGraph.Node> nodes()