diff docs/conf.py @ 166:6a7dace0141e

Also implement filters to replace tokens in a token stream: TokenReplaceFilter and ErrorToGenericErrorTokenFilter
author Franz Glasner <fzglas.hg@dom66.de>
date Fri, 08 May 2026 23:54:06 +0200
parents a4317957148b
children ddefcc20367c
line wrap: on
line diff
--- a/docs/conf.py	Fri May 08 23:50:24 2026 +0200
+++ b/docs/conf.py	Fri May 08 23:54:06 2026 +0200
@@ -96,3 +96,10 @@
     app.add_lexer("no-raiseonerror-algpseudocode",
                   functools.partial(AlgPseudocodeLexer,
                                     prohibit_raiseonerror_filter=True))
+    #
+    # To test with the custom filter that maps
+    # Token.Error to Token.Generic.Error
+    #
+    app.add_lexer("genericerror-algpseudocode",
+                  functools.partial(AlgPseudocodeLexer,
+                                    filters=["errortogenericerror"]))