diff options
author | Markus Armbruster <armbru@redhat.com> | 2018-08-31 09:58:41 +0200 |
---|---|---|
committer | Markus Armbruster <armbru@redhat.com> | 2018-09-24 18:08:07 +0200 |
commit | 1e960b46024d468e76d2f42ddcfa5a9d521db492 (patch) | |
tree | fd23be5e2dc0de6bf1aeec492992f96818d3c86d /.exrc | |
parent | 2ce4ee64c4fe0463c53a99955a3acdaa8a451136 (diff) |
json: Eliminate lexer state IN_WHITESPACE, pseudo-token JSON_SKIP
The lexer ignores whitespace like this:
on whitespace on non-ws spontaneously
IN_START --> IN_WHITESPACE --> JSON_SKIP --> IN_START
^ |
\__/ on whitespace
This accumulates a whitespace token in state IN_WHITESPACE, only to
throw it away on the transition via JSON_SKIP to the start state.
Wasteful. Go from IN_START to IN_START on whitespace directly,
dropping the whitespace character.
Signed-off-by: Markus Armbruster <armbru@redhat.com>
Reviewed-by: Eric Blake <eblake@redhat.com>
Message-Id: <20180831075841.13363-7-armbru@redhat.com>
Diffstat (limited to '.exrc')
0 files changed, 0 insertions, 0 deletions