Class AnalysisTimeoutException

All Implemented Interfaces:
Serializable

public class AnalysisTimeoutException extends RuntimeException
Analysis took too long; bail out of entire DFA construction.
See Also:
  • Field Details

    • abortedDFA

      public DFA abortedDFA
  • Constructor Details

    • AnalysisTimeoutException

      public AnalysisTimeoutException(DFA abortedDFA)