public class LtlParseException
extends java.lang.Exception
| Constructor and Description |
|---|
LtlParseException(UniversalToken token,
java.lang.String msg)
This constructor is not intended to be referenced by clients.
|
| Modifier and Type | Method and Description |
|---|---|
int |
getTokenColumn() |
int |
getTokenLine() |
java.lang.String |
getTokenString() |
public LtlParseException(UniversalToken token, java.lang.String msg)
token - the token where the error occurredmsg - the error message