The delimiter tokens inside of which indentation should be ignored and treated as normal whitespace.
For example, Python doesn't treat any whitespace between (
and )
as significant.
Can be either terminal tokens or keyword tokens.
The name of the token used to denote indentation in the grammar. A possible definition in the grammar could look like this:
terminal INDENT: ':synthetic-indent:';
The name of the token used to denote whitespace other than indentation and newlines in the grammar. A possible definition in the grammar could look like this:
hidden terminal WS: /[ \t]+/;
The name of the token used to denote deindentation in the grammar. A possible definition in the grammar could look like this: