diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2025-05-18 13:53:00 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2025-05-18 14:05:03 +0200 |
| commit | b1ebaac5c08407ddd680041cae918b9341fea5be (patch) | |
| tree | c586914a3799869afbde8cee60ed07736366a3bb /def_Header.py | |
| parent | 90d5b0125fb943eea852ab14ed7a8243c86d7d21 (diff) | |
fix replace Optional(...) with Choice(0, ... , Skip())
Diffstat (limited to 'def_Header.py')
| -rwxr-xr-x | def_Header.py | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/def_Header.py b/def_Header.py index 3d5ca66..4408c62 100755 --- a/def_Header.py +++ b/def_Header.py @@ -9,8 +9,18 @@ from railroad import * Diagram( Start("complex"), OneOrMore('#'), - ZeroOrMore(NonTerminal("SPACE")), - Optional(NonTerminal("!NEWLINE Words")), + Choice(0, + Sequence( + OneOrMore(NonTerminal("SPACE")) + ), + Skip() + ), + Choice(0, + Sequence( + NonTerminal("!NEWLINE Words") + ), + Skip() + ), NonTerminal("NEWLINE"), End("complex") ).writeStandalone( |