- 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