Class TestCases.Fault

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

    public static class TestCases.Fault
    extends java.lang.Exception
    Exception used to report internal errors.
    See Also:
    Serialized Form
    • Constructor Summary

      Constructors 
      Constructor Description
      Fault​(java.lang.String s)
      Construct a new Fault object that signals failure with a corresponding message.
    • 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​(java.lang.String s)
        Construct a new Fault object that signals failure with a corresponding message.
        Parameters:
        s - the string containing a comment