polyglot.visit
Class FlowGraph.ExceptionEdgeKey

java.lang.Object
  polyglot.visit.FlowGraph.EdgeKey
      polyglot.visit.FlowGraph.ExceptionEdgeKey

Enclosing class:

FlowGraph

public static class FlowGraph.ExceptionEdgeKey
extends FlowGraph.EdgeKey

This class extends EdgeKey and is the key for edges that are taken when an exception of type t is thrown. Thus, the flow from line 2 in the example below to the catch block (line 4) would have an ExceptionEdgeKey constructed with the Type representing NullPointerExceptions.

 ...
 try {                                      // line 1
   o.foo();                                 // line 2
 }                                          // line 3
 catch (NullPointerException e) {           // line 4
   ...
 }
 ...
 

Field Summary

Fields inherited from class polyglot.visit.FlowGraph.EdgeKey

o

Constructor Summary

FlowGraph.ExceptionEdgeKey(Type t)

Method Summary

java.lang.String	toString()
Type	type()

Methods inherited from class polyglot.visit.FlowGraph.EdgeKey

equals, hashCode

Methods inherited from class java.lang.Object

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

Constructor Detail

FlowGraph.ExceptionEdgeKey

public FlowGraph.ExceptionEdgeKey(Type t)

Method Detail

type

public Type type()

toString

public java.lang.String toString()

Overrides:

toString in class FlowGraph.EdgeKey