diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2025-05-26 10:52:35 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2025-05-26 11:40:24 +0200 |
| commit | 393fbb26231c57309e8bfa92c9b209c5f4b6c70e (patch) | |
| tree | a2524e2390d865df2824aac07cfbdf039f5a8d64 /syntax/def_PrefixDefinition.py | |
| parent | 0e9dcfb9067585e4698b050c0d4f4dff3efe4377 (diff) | |
consistently mark new syntax with dotted line
Diffstat (limited to 'syntax/def_PrefixDefinition.py')
| -rwxr-xr-x | syntax/def_PrefixDefinition.py | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/syntax/def_PrefixDefinition.py b/syntax/def_PrefixDefinition.py index c0e108a..d838c6b 100755 --- a/syntax/def_PrefixDefinition.py +++ b/syntax/def_PrefixDefinition.py @@ -6,12 +6,14 @@ from railroad import * Diagram( - "{", - NonTerminal("CuriePrefix"), - "}", - ":", - Choice(0, NonTerminal("_"), Skip()), - NonTerminal("SemWord"), - NonTerminal("NEWLINE"), + Group(Sequence( + "{", + NonTerminal("CuriePrefix"), + "}", + ":", + Choice(0, NonTerminal("_"), Skip()), + NonTerminal("SemWord"), + NonTerminal("NEWLINE") + )), type="complex" ).writeStandalone(sys.stdout.write) |