diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2025-05-26 11:00:33 +0200 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2025-05-26 11:40:24 +0200 |
| commit | b39149eae9a046dea7367ea0423fb7e7a27149a2 (patch) | |
| tree | 89ffea26c8c359086b59b4f81a5158641411b652 /syntax/def_PrefixDefinition.py | |
| parent | bd8c87a53621a3e1e421c22caf30571a90db398c (diff) | |
rename syntax definitions: drop prefix def_
Diffstat (limited to 'syntax/def_PrefixDefinition.py')
| -rwxr-xr-x | syntax/def_PrefixDefinition.py | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/syntax/def_PrefixDefinition.py b/syntax/def_PrefixDefinition.py deleted file mode 100755 index d838c6b..0000000 --- a/syntax/def_PrefixDefinition.py +++ /dev/null @@ -1,19 +0,0 @@ -#!/usr/bin/python3 - -# Copyright 2025, Jonas Smedegaard <dr@jones.dk> -# SPDX-License-Identifier: GPL-3+ - -from railroad import * - -Diagram( - Group(Sequence( - "{", - NonTerminal("CuriePrefix"), - "}", - ":", - Choice(0, NonTerminal("_"), Skip()), - NonTerminal("SemWord"), - NonTerminal("NEWLINE") - )), - type="complex" -).writeStandalone(sys.stdout.write) |