polyglot.visit

Class FlowGraph.ExceptionEdgeKey

java.lang.Object

polyglot.visit.FlowGraph.EdgeKey

polyglot.visit.FlowGraph.ExceptionEdgeKey

Enclosing class:

FlowGraph<FlowItem extends DataFlow.Item>

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

Constructors

Constructor and Description
FlowGraph.ExceptionEdgeKey(Type t)

Method Summary

Methods

Modifier and Type	Method and Description
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