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

      • make

        public static Phi make​(String format,
                               Object... params)
        Ctor.

        Use this method to build a new error object. Don't use the constructor here. This factory method is much more convenient.

        Parameters:
        format - Message format string, similar to String.format(String, Object...)
        params - Parameters, which will be passed to the formatter
        Returns:
        The error object
      • message

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