comparison src/com/go/trove/classfile/ExceptionHandler.java @ 0:3dc0c5604566

Initial checkin of blitz 2.0 fcs - no installer yet.
author Dan Creswell <dan.creswell@gmail.com>
date Sat, 21 Mar 2009 11:00:06 +0000
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:3dc0c5604566
1 /* ====================================================================
2 * Trove - Copyright (c) 1997-2000 Walt Disney Internet Group
3 * ====================================================================
4 * The Tea Software License, Version 1.1
5 *
6 * Copyright (c) 2000 Walt Disney Internet Group. All rights reserved.
7 *
8 * Redistribution and use in source and binary forms, with or without
9 * modification, are permitted provided that the following conditions
10 * are met:
11 *
12 * 1. Redistributions of source code must retain the above copyright
13 * notice, this list of conditions and the following disclaimer.
14 *
15 * 2. Redistributions in binary form must reproduce the above copyright
16 * notice, this list of conditions and the following disclaimer in
17 * the documentation and/or other materials provided with the
18 * distribution.
19 *
20 * 3. The end-user documentation included with the redistribution,
21 * if any, must include the following acknowledgment:
22 * "This product includes software developed by the
23 * Walt Disney Internet Group (http://opensource.go.com/)."
24 * Alternately, this acknowledgment may appear in the software itself,
25 * if and wherever such third-party acknowledgments normally appear.
26 *
27 * 4. The names "Tea", "TeaServlet", "Kettle", "Trove" and "BeanDoc" must
28 * not be used to endorse or promote products derived from this
29 * software without prior written permission. For written
30 * permission, please contact opensource@dig.com.
31 *
32 * 5. Products derived from this software may not be called "Tea",
33 * "TeaServlet", "Kettle" or "Trove", nor may "Tea", "TeaServlet",
34 * "Kettle", "Trove" or "BeanDoc" appear in their name, without prior
35 * written permission of the Walt Disney Internet Group.
36 *
37 * THIS SOFTWARE IS PROVIDED ``AS IS'' AND ANY EXPRESSED OR IMPLIED
38 * WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
39 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
40 * DISCLAIMED. IN NO EVENT SHALL THE WALT DISNEY INTERNET GROUP OR ITS
41 * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
42 * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
43 * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
44 * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
45 * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
46 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
47 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
48 * ====================================================================
49 *
50 * For more information about Tea, please see http://opensource.go.com/.
51 */
52
53 package com.go.trove.classfile;
54
55 import java.io.*;
56
57 /******************************************************************************
58 * This class corresponds to the exception_table structure as defined in
59 * section 4.7.4 of <i>The Java Virtual Machine Specification</i>.
60 *
61 * @author Brian S O'Neill
62 * @version
63 * <!--$$Revision: 1.1 $-->, <!--$$JustDate:--> 9/07/00 <!-- $-->
64 */
65 public class ExceptionHandler implements LocationRange {
66 private Location mStart;
67 private Location mEnd;
68 private Location mCatch;
69 private ConstantClassInfo mCatchType;
70
71 /**
72 * @param startLocation
73 * @param endLocation
74 * @param catchLocation
75 * @param catchType if null, then catch every object.
76 */
77 public ExceptionHandler(Location startLocation,
78 Location endLocation,
79 Location catchLocation,
80 ConstantClassInfo catchType) {
81 mStart = startLocation;
82 mEnd = endLocation;
83 mCatch = catchLocation;
84 mCatchType = catchType;
85 }
86
87 public Location getStartLocation() {
88 return mStart;
89 }
90
91 public Location getEndLocation() {
92 return mEnd;
93 }
94
95 public Location getCatchLocation() {
96 return mCatch;
97 }
98
99 /**
100 * Returns null if every object is caught by this handler.
101 */
102 public ConstantClassInfo getCatchType() {
103 return mCatchType;
104 }
105
106 public int compareTo(Object obj) {
107 if (this == obj) {
108 return 0;
109 }
110
111 LocationRange other = (LocationRange)obj;
112
113 int result = getStartLocation().compareTo(other.getStartLocation());
114
115 if (result == 0) {
116 result = getEndLocation().compareTo(other.getEndLocation());
117 }
118
119 if (result == 0 && obj instanceof ExceptionHandler) {
120 result = getCatchLocation().compareTo
121 (((ExceptionHandler)other).getCatchLocation());
122 }
123
124 return result;
125 }
126
127 public void writeTo(DataOutput dout) throws IOException {
128 int start_pc = getStartLocation().getLocation();
129 int end_pc = getEndLocation().getLocation();
130 int handler_pc = getCatchLocation().getLocation();
131 int catch_type;
132 ConstantClassInfo catchType = getCatchType();
133 if (catchType == null) {
134 catch_type = 0;
135 }
136 else {
137 catch_type = catchType.getIndex();
138 }
139
140 check("exception start PC", start_pc);
141 check("exception end PC", end_pc);
142 check("exception handler PC", handler_pc);
143
144 dout.writeShort(start_pc);
145 dout.writeShort(end_pc);
146 dout.writeShort(handler_pc);
147 dout.writeShort(catch_type);
148 }
149
150 private void check(String type, int addr) throws RuntimeException {
151 if (addr < 0 || addr > 65535) {
152 throw new RuntimeException("Value for " + type + " out of " +
153 "valid range: " + addr);
154
155 }
156 }
157
158 static ExceptionHandler readFrom(ConstantPool cp,
159 DataInput din) throws IOException {
160 int start_pc = din.readUnsignedShort();
161 int end_pc = din.readUnsignedShort();
162 int handler_pc = din.readUnsignedShort();
163 int catch_type = din.readUnsignedShort();
164
165 ConstantClassInfo catchTypeConstant;
166 if (catch_type == 0) {
167 catchTypeConstant = null;
168 }
169 else {
170 catchTypeConstant = (ConstantClassInfo)cp.getConstant(catch_type);
171 }
172
173 return new ExceptionHandler(new FixedLocation(start_pc),
174 new FixedLocation(end_pc),
175 new FixedLocation(handler_pc),
176 catchTypeConstant);
177 }
178 }