pnuts.lang
Class Jump

java.lang.Object
  |
  +--java.lang.Throwable
        |
        +--java.lang.Exception
              |
              +--java.lang.RuntimeException
                    |
                    +--pnuts.lang.Escape
                          |
                          +--pnuts.lang.Jump

public class Jump
extends pnuts.lang.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

Constructor Summary
protected Jump()
           
protected Jump(java.lang.Object value)
           
 
Methods inherited from class pnuts.lang.Escape
getValue
 
Methods inherited from class java.lang.Throwable
fillInStackTrace, getLocalizedMessage, getMessage, printStackTrace, printStackTrace, printStackTrace, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Jump

protected Jump()

Jump

protected Jump(java.lang.Object value)