com.parctechnologies.eclipse
Class Throw

java.lang.Object
  extended byjava.lang.Throwable
      extended byjava.lang.Exception
          extended bycom.parctechnologies.eclipse.EclipseException
              extended bycom.parctechnologies.eclipse.Throw
All Implemented Interfaces:
java.io.Serializable

public class Throw
extends EclipseException

Exception thrown when an rpc goal throws an ECLiPSe error. A Throw exception occurs when an ECLiPSe goal exits by calling exit_block/1. The ECLiPSe exit tag is converted to an exception which is the equivalent concept in Java.

See Also:
Serialized Form

Methods inherited from class java.lang.Throwable
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait