Class InvariantParser.InvariantParseException

java.lang.Object
java.lang.Throwable
java.lang.Exception
java.lang.RuntimeException
com.tnsai.exceptions.TnsAIException
com.tnsai.invariants.InvariantParser.InvariantParseException
All Implemented Interfaces:
Serializable
Enclosing class:
InvariantParser

public static class InvariantParser.InvariantParseException extends com.tnsai.exceptions.TnsAIException
Exception thrown when parsing fails.
See Also:
  • Constructor Details

    • InvariantParseException

      public InvariantParseException(String message)