- All Implemented Interfaces:
- java.io.Serializable
public class Jump
extends Escape
This class is a special Exception class in a Pnuts runtime in that it's not
checked by exception handlers. This class is used to implement handled
exceptions by catch() function and return() function.
- See Also:
- Serialized Form