Class ToolManager.Fault

  • All Implemented Interfaces:
    java.io.Serializable
    Enclosing class:
    ToolManager

    public static class ToolManager.Fault
    extends java.lang.Exception
    This exception is used to report problems while using a tool manager.
    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

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Constructor Detail

      • Fault

        public Fault​(I18NResourceBundle i18n,
                     java.lang.String s)
        Create a Fault.
        Parameters:
        i18n - A resource bundle in which to find the detail message.
        s - The key for the detail message.
      • Fault

        public Fault​(I18NResourceBundle i18n,
                     java.lang.String s,
                     java.lang.Object o)
        Create a Fault.
        Parameters:
        i18n - A resource bundle in which to find the detail message.
        s - The key for the detail message.
        o - An argument to be formatted with the detail message by MessageFormat.format(java.lang.Object[], java.lang.StringBuffer, java.text.FieldPosition)
      • Fault

        public Fault​(I18NResourceBundle i18n,
                     java.lang.String s,
                     java.lang.Object[] o)
        Create a Fault.
        Parameters:
        i18n - A resource bundle in which to find the detail message.
        s - The key for the detail message.
        o - An array of arguments to be formatted with the detail message by MessageFormat.format(java.lang.Object[], java.lang.StringBuffer, java.text.FieldPosition)