Class TokenMgrError

java.lang.Object

java.lang.Throwable

java.lang.Error

org.tweetyproject.preferences.io.TokenMgrError

All Implemented Interfaces:

Serializable

public class TokenMgrError
extends Error

Token Manager Error.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
TokenMgrError()	No-argument constructor for TokenMgrError.
TokenMgrError(boolean EOFSeen, int lexState, int errorLine, int errorColumn, String errorAfter, char curChar, int reason)	Full constructor for TokenMgrError, generating a detailed lexical error message.
TokenMgrError(String message, int reason)	Constructor for TokenMgrError with a specified message and reason code.

Method Summary

Modifier and Type	Method	Description
String	getMessage()	Returns 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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

TokenMgrError

public TokenMgrError()

No-argument constructor for TokenMgrError.

TokenMgrError

public TokenMgrError(String message,
 int reason)

Constructor for TokenMgrError 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 for TokenMgrError, 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

public String 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 class Throwable

Returns:

the error message as a string.