From b39149eae9a046dea7367ea0423fb7e7a27149a2 Mon Sep 17 00:00:00 2001 From: Jonas Smedegaard Date: Mon, 26 May 2025 11:00:33 +0200 Subject: rename syntax definitions: drop prefix def_ --- syntax/def_PrefixDefinition.py | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100755 syntax/def_PrefixDefinition.py (limited to 'syntax/def_PrefixDefinition.py') 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 -# 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) -- cgit v1.2.3