01: /*
02: * @(#)Jump.java 1.2 04/12/06
03: *
04: * Copyright (c) 1997-2004 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 handled
14: * exceptions by catch() function and return() function.
15: */
16: public class Jump extends Escape {
17:
18: protected Jump() {
19: }
20:
21: public Jump(Object value) {
22: super(value);
23: }
24: }
|