Class EOerror

  • All Implemented Interfaces:
    Cloneable, Phi, Term

    public final class EOerror
    extends PhDefault
    ERROR.

    This object you must return in case of any error. It is highly recommended to use make(String, Object...) method instead of its constructor.

    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