polyglot.visit
Class CFGBuilder.EdgeKeyTermPair

java.lang.Object
  extended by polyglot.visit.CFGBuilder.EdgeKeyTermPair
Enclosing class:
CFGBuilder

protected static class CFGBuilder.EdgeKeyTermPair
extends java.lang.Object


Constructor Summary
CFGBuilder.EdgeKeyTermPair(FlowGraph.EdgeKey edgeKey, Term term)
           
 
Method Summary
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

CFGBuilder.EdgeKeyTermPair

public CFGBuilder.EdgeKeyTermPair(FlowGraph.EdgeKey edgeKey,
                                  Term term)
Method Detail

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object