public final class StreamEndToken extends Token
| Constructor and Description |
|---|
StreamEndToken(Mark startMark,
Mark endMark) |
| Modifier and Type | Method and Description |
|---|---|
Token.ID |
getTokenId()
For error reporting.
|
getEndMark, getStartMarkpublic Token.ID getTokenId()
TokengetTokenId in class TokenCopyright © 2008–2021. All rights reserved.