com.parctechnologies.eclipse
Class Throw

java.lang.Object
  |
  +--java.lang.Throwable
        |
        +--java.lang.Exception
              |
              +--com.parctechnologies.eclipse.EclipseException
                    |
                    +--com.parctechnologies.eclipse.Throw

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, getLocalizedMessage, getMessage, printStackTrace, printStackTrace, printStackTrace, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait