org.sonar.java.se

Class ExplodedGraph.ProgramPoint

java.lang.Object

org.sonar.java.se.ExplodedGraph.ProgramPoint

Enclosing class:

ExplodedGraph

public static class ExplodedGraph.ProgramPoint
extends Object

Constructor Summary

Constructors

Constructor and Description
ProgramPoint(CFG.Block block, int i)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
int	hashCode()
Tree	syntaxTree()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ProgramPoint

public ProgramPoint(CFG.Block block,
                    int i)

Method Detail

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

syntaxTree

public Tree syntaxTree()