KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > gov > nasa > jpf > jvm > ExceptionHandler


1 //
2 // Copyright (C) 2005 United States Government as represented by the
3 // Administrator of the National Aeronautics and Space Administration
4 // (NASA). All Rights Reserved.
5 //
6 // This software is distributed under the NASA Open Source Agreement
7 // (NOSA), version 1.3. The NOSA has been approved by the Open Source
8 // Initiative. See the file NOSA-1.3-JPF at the top of the distribution
9 // directory tree for the complete NOSA document.
10 //
11 // THE SUBJECT SOFTWARE IS PROVIDED "AS IS" WITHOUT ANY WARRANTY OF ANY
12 // KIND, EITHER EXPRESSED, IMPLIED, OR STATUTORY, INCLUDING, BUT NOT
13 // LIMITED TO, ANY WARRANTY THAT THE SUBJECT SOFTWARE WILL CONFORM TO
14 // SPECIFICATIONS, ANY IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR
15 // A PARTICULAR PURPOSE, OR FREEDOM FROM INFRINGEMENT, ANY WARRANTY THAT
16 // THE SUBJECT SOFTWARE WILL BE ERROR FREE, OR ANY WARRANTY THAT
17 // DOCUMENTATION, IF PROVIDED, WILL CONFORM TO THE SUBJECT SOFTWARE.
18 //
19 package gov.nasa.jpf.jvm;
20
21 /**
22  * Stores the information about an exception handler.
23  */
24 public class ExceptionHandler {
25   /**
26    * Name of the exception caught.
27    */
28   private String JavaDoc name;
29
30   /**
31    * The first instruction belonging to this handler.
32    */
33   private int begin;
34
35   /**
36    * The last instruction belonging to this handler.
37    */
38   private int end;
39
40   /**
41    * The offset of the handler.
42    */
43   private int handler;
44
45   /**
46    * Creates a new exception handler.
47    */
48   public ExceptionHandler (String JavaDoc n, int b, int e, int h) {
49     name = n;
50     begin = b;
51     end = e;
52     handler = h;
53   }
54
55   /**
56    * Returns the first instruction in the block.
57    */
58   public int getBegin () {
59     return begin;
60   }
61
62   /**
63    * Returns the last instruction in the block.
64    */
65   public int getEnd () {
66     return end;
67   }
68
69   /**
70    * Returns the instruction location for the handler.
71    */
72   public int getHandler () {
73     return handler;
74   }
75
76   /**
77    * Returns the name of the exception caught.
78    */
79   public String JavaDoc getName () {
80     return name;
81   }
82 }
Popular Tags