Class DepthFirstVoidVisitor.ShouldNotOccurException

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

    public static class DepthFirstVoidVisitor.ShouldNotOccurException
    extends java.lang.RuntimeException
    Class handling a programmatic exception. Static for generic outer classes.
    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

      • ShouldNotOccurException

        public ShouldNotOccurException()
        Constructor with no message.
      • ShouldNotOccurException

        public ShouldNotOccurException​(NodeChoice ch)
        Constructor which outputs a message.
        Parameters:
        ch - - a NodeChoice whose which value is invalid or lead to a fall-through