01: /*
02: * @(#)Escape.java 1.2 04/12/06
03: *
04: * Copyright (c) 1997-2003 Sun Microsystems, Inc. All Rights Reserved.
05: *
06: * See the file "LICENSE.txt" for information on usage and redistribution
07: * of this file, and for a DISCLAIMER OF ALL WARRANTIES.
08: */
09: package pnuts.lang;
10:
11: /**
12: * This class is a special Exception class in a Pnuts runtime in that it's not
13: * checked by exception handlers. This class is used to implement quit()
14: * function.
15: *
16: * @see pnuts.lang.Jump
17: */
18: public class Escape extends RuntimeException {
19: private Object value;
20:
21: protected Escape() {
22: }
23:
24: protected Escape(Object value) {
25: this .value = value;
26: }
27:
28: public Object getValue() {
29: return value;
30: }
31: }
|