View Javadoc

1   // ExceptionHandler.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 joeq.Class.jq_Class;
7   
8   /***
9    * Exception handler for a bytecode CFG.
10   * 
11   * @author  John Whaley <jwhaley@alum.mit.edu>
12   * @version $Id: ExceptionHandler.java 2282 2005-05-28 11:14:27Z joewhaley $
13   */
14  public class ExceptionHandler {
15  
16      final jq_Class exceptionType;
17      final BasicBlock[] handledBlocks;
18      final BasicBlock entry;
19      
20      ExceptionHandler(jq_Class exceptionType,
21                          int numOfHandledBlocks,
22                          BasicBlock entry) {
23          this.exceptionType = exceptionType;
24          this.handledBlocks = new BasicBlock[numOfHandledBlocks];
25          this.entry = entry;
26      }
27      
28      public jq_Class getExceptionType() { return exceptionType; }
29      public BasicBlock getEntry() { return entry; }
30      public BasicBlock[] getHandledBlocks() { return handledBlocks; }
31  }