public class AnalysisTimeoutException extends RuntimeException
Modifier and Type | Field and Description |
---|---|
DFA |
abortedDFA |
Constructor and Description |
---|
AnalysisTimeoutException(DFA abortedDFA) |
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
Copyright © 2020. All rights reserved.