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
...
}
...
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
FlowGraph.ExceptionEdgeKey
public FlowGraph.ExceptionEdgeKey(Type t)
type
public Type type()
toString
public java.lang.String toString()
- Overrides:
toString
in class FlowGraph.EdgeKey