diff options
Diffstat (limited to 'def_Header.py')
| -rwxr-xr-x | def_Header.py | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/def_Header.py b/def_Header.py new file mode 100755 index 0000000..2559443 --- /dev/null +++ b/def_Header.py @@ -0,0 +1,17 @@ +#!/usr/bin/python3 + +# Copyright 2025, Jonas Smedegaard <dr@jones.dk> +# SPDX-License-Identifier: GPL-3+ + +from os.path import basename, splitext +from railroad import * + +Diagram( + Start("complex"), + OneOrMore('#'), + ZeroOrMore(NonTerminal("SPACE")), + Optional(NonTerminal("Words")), + NonTerminal("NEWLINE"), + End("complex") +).writeStandalone( + open(splitext(basename(__file__))[0] + ".svg", "w").write) |
