Class EOerror

  • All Implemented Interfaces:
    Cloneable, Phi, Term

    public final class EOerror
    extends PhDefault
    ERROR.

    You are NOT supposed to use this object programmatically. It is only used from EO, but not from Java. From Java you just throw ExFailure. It will be properly caught and converted to the error. Again, DON'T USE THIS OBJECT PROGRAMMATICALLY.

    Since:
    0.22
    • Constructor Detail

      • EOerror

        public EOerror​(Phi sigma)
        Ctor.
        Parameters:
        sigma - Sigma
    • Method Detail

      • message

        public static String message​(Throwable exp)
        Make a message from an exception.
        Parameters:
        exp - The exception
        Returns:
        Message