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 class	ExplodedGraph.Edge
static 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 Detail

ExplodedGraph

public ExplodedGraph()

Method Detail

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