changeset 106:f6b46a379aba

The "\ENSURE" command
author Franz Glasner <fzglas.hg@dom66.de>
date Mon, 04 May 2026 16:40:13 +0200
parents cec52d83869a
children 1c1985532139
files pygments_lexer_pseudocode2/algpseudocode.py
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/pygments_lexer_pseudocode2/algpseudocode.py	Mon May 04 16:30:36 2026 +0200
+++ b/pygments_lexer_pseudocode2/algpseudocode.py	Mon May 04 16:40:13 2026 +0200
@@ -67,6 +67,7 @@
         "OUTPUT": "Output:",
         "OUTPUTS": "Outputs:",
         "RETURNS": "Returns:",
+        "ENSURE": "Ensure:",
         "IS": "IS",
         "WITH": "WITH",
         "IF": "IF",
@@ -234,6 +235,7 @@
             (r"(?i)\\("
              r"(?:input(?:s)?)"
              r"|(?:output(?:s)?)"
+             r"|(?:ensure)"             
              r"|(?:returns)"
              r")[ \t]*(\{)",
              bygroups(op_translate(Keyword),