Package org.tweetyproject.preferences.io
Class TokenMgrError
java.lang.Object
java.lang.Throwable
java.lang.Error
org.tweetyproject.preferences.io.TokenMgrError
-
Constructor Summary
ConstructorDescriptionNo-argument constructor forTokenMgrError
.TokenMgrError
(boolean EOFSeen, int lexState, int errorLine, int errorColumn, String errorAfter, char curChar, int reason) Full constructor forTokenMgrError
, generating a detailed lexical error message.TokenMgrError
(String message, int reason) Constructor forTokenMgrError
with a specified message and reason code. -
Method Summary
Modifier and TypeMethodDescriptionReturns a detailed message about the error.Methods inherited from class java.lang.Throwable
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
-
Constructor Details
-
TokenMgrError
public TokenMgrError()No-argument constructor forTokenMgrError
. -
TokenMgrError
Constructor forTokenMgrError
with a specified message and reason code.- Parameters:
message
- the detailed error message.reason
- the reason code indicating the type of error.
-
TokenMgrError
public TokenMgrError(boolean EOFSeen, int lexState, int errorLine, int errorColumn, String errorAfter, char curChar, int reason) Full constructor forTokenMgrError
, generating a detailed lexical error message.- Parameters:
EOFSeen
- indicates if the end of file (EOF) caused the lexical error.lexState
- the lexical state in which the error occurred.errorLine
- the line number where the error occurred.errorColumn
- the column number where the error occurred.errorAfter
- the string that was seen before this error occurred.curChar
- the offending character that caused the error.reason
- the reason code indicating the type of error.
-
-
Method Details
-
getMessage
Returns a detailed message about the error. This method can be customized to change the content of error messages, especially for internal errors.- Overrides:
getMessage
in classThrowable
- Returns:
- the error message as a string.
-