Class 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
    • Method Summary

      • Methods inherited from class java.lang.Throwable

        addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
      • Methods inherited from class java.lang.Object

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