diff options
Diffstat (limited to 'def_Header.py')
| -rwxr-xr-x | def_Header.py | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/def_Header.py b/def_Header.py deleted file mode 100755 index f8c1935..0000000 --- a/def_Header.py +++ /dev/null @@ -1,26 +0,0 @@ -#!/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( - OneOrMore('#'), - Choice(0, - Sequence( - OneOrMore(NonTerminal("SPACE")) - ), - Skip() - ), - Choice(0, - Sequence( - NonTerminal("!NEWLINE Words") - ), - Skip() - ), - NonTerminal("NEWLINE"), - type="complex" -).writeStandalone( - open(splitext(basename(__file__))[0] + ".svg", "w").write) |
