View Javadoc

1   // ExceptionHandlerList.java, created Fri Jan 11 17:28:36 2002 by joewhaley
2   // Copyright (C) 2001-3 John Whaley <jwhaley@alum.mit.edu>
3   // Licensed under the terms of the GNU LGPL; see COPYING for details.
4   package joeq.Compiler.BytecodeAnalysis;
5   
6   import java.util.Collections;
7   
8   /***
9    * List of exception handlers for a bytecode CFG.
10   * 
11   * @author  John Whaley <jwhaley@alum.mit.edu>
12   * @version $Id: ExceptionHandlerList.java 2282 2005-05-28 11:14:27Z joewhaley $
13   */
14  public class ExceptionHandlerList {
15  
16      final ExceptionHandler exception_handler;
17      ExceptionHandlerList parent;
18      
19      ExceptionHandlerList(ExceptionHandler exception_handler, ExceptionHandlerList parent) {
20          this.exception_handler = exception_handler;
21          this.parent = parent;
22      }
23      
24      public ExceptionHandler getHandler() { return exception_handler; }
25      public ExceptionHandlerList getParent() { return parent; }
26  
27      public ExceptionHandlerIterator iterator() {
28          return new ExceptionHandlerIterator(Collections.singletonList(exception_handler), parent);
29      }
30  }