Class AnalysisTimeoutException

  • All Implemented Interfaces:
    java.io.Serializable

    public class AnalysisTimeoutException
    extends java.lang.RuntimeException
    Analysis took too long; bail out of entire DFA construction.
    See Also:
    Serialized Form
    • Field Summary

      Fields 
      Modifier and Type Field Description
      DFA abortedDFA  
    • 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
    • Field Detail

      • abortedDFA

        public DFA abortedDFA
    • Constructor Detail

      • AnalysisTimeoutException

        public AnalysisTimeoutException​(DFA abortedDFA)