diff options
Diffstat (limited to 'syntax/def_Header.py')
| -rwxr-xr-x | syntax/def_Header.py | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/syntax/def_Header.py b/syntax/def_Header.py deleted file mode 100755 index 9d4b351..0000000 --- a/syntax/def_Header.py +++ /dev/null @@ -1,24 +0,0 @@ -#!/usr/bin/python3 - -# Copyright 2025, Jonas Smedegaard <dr@jones.dk> -# SPDX-License-Identifier: GPL-3+ - -from railroad import * - -Diagram( - OneOrMore('#'), - Choice(0, - Sequence( - OneOrMore(NonTerminal("SPACE")) - ), - Skip() - ), - Choice(0, - Sequence( - NonTerminal("!NEWLINE Words") - ), - Skip() - ), - NonTerminal("NEWLINE"), - type="complex" -).writeStandalone(sys.stdout.write) |