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 and Description
static class	ExplodedGraph.Edge
static class	ExplodedGraph.Node

Constructor Summary

Constructors

Constructor and Description
ExplodedGraph()

Method Summary

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