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