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.Node
static class	ExplodedGraph.ProgramPoint

Constructor Summary

Constructors

Constructor and Description
ExplodedGraph()

Method Summary

Modifier and Type	Method and Description
Map<ExplodedGraph.Node,ExplodedGraph.Node>	getNodes()

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

getNodes

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