@@ -13,6 +13,7 @@ def get_all_filters() -> Generator[str, None, None]: ...
1313
1414class CodeTagFilter (Filter ):
1515 tag_re : Any
16+ # options are forwarded to Filter's constructor
1617 def __init__ (self , ** options : Any ) -> None : ...
1718 def filter (self , lexer : Lexer , stream : Iterable [tuple [_TokenType , str ]]) -> Iterator [tuple [_TokenType , str ]]: ...
1819
@@ -21,39 +22,46 @@ class SymbolFilter(Filter):
2122 isabelle_symbols : dict [str , str ]
2223 lang_map : dict [str , dict [str , str ]]
2324 symbols : dict [str , str ]
25+ # options are forwarded to Filter's constructor
2426 def __init__ (self , ** options : Any ) -> None : ...
2527 def filter (self , lexer : Lexer , stream : Iterable [tuple [_TokenType , str ]]) -> Iterator [tuple [_TokenType , str ]]: ...
2628
2729class KeywordCaseFilter (Filter ):
2830 convert : Callable [[str ], str ]
31+ # options are forwarded to Filter's constructor
2932 def __init__ (self , ** options : Any ) -> None : ...
3033 def filter (self , lexer : Lexer , stream : Iterable [tuple [_TokenType , str ]]) -> Iterator [tuple [_TokenType , str ]]: ...
3134
3235class NameHighlightFilter (Filter ):
3336 names : set [str ]
3437 tokentype : _TokenType
38+ # options are forwarded to Filter's constructor
3539 def __init__ (self , ** options : Any ) -> None : ...
3640 def filter (self , lexer : Lexer , stream : Iterable [tuple [_TokenType , str ]]) -> Iterator [tuple [_TokenType , str ]]: ...
3741
3842class ErrorToken (Exception ): ...
3943
4044class RaiseOnErrorTokenFilter (Filter ):
4145 exception : type [Exception ]
46+ # options are forwarded to Filter's constructor
4247 def __init__ (self , ** options : Any ) -> None : ...
4348 def filter (self , lexer : Lexer , stream : Iterable [tuple [_TokenType , str ]]) -> Iterator [tuple [_TokenType , str ]]: ...
4449
4550class VisibleWhitespaceFilter (Filter ):
4651 wstt : bool
52+ # options are forwarded to Filter's constructor
4753 def __init__ (self , ** options : Any ) -> None : ...
4854 def filter (self , lexer : Lexer , stream : Iterable [tuple [_TokenType , str ]]) -> Iterator [tuple [_TokenType , str ]]: ...
4955
5056class GobbleFilter (Filter ):
5157 n : int
58+ # options are forwarded to Filter's constructor
5259 def __init__ (self , ** options : Any ) -> None : ...
5360 def gobble (self , value : str , left : int ) -> tuple [str , int ]: ...
5461 def filter (self , lexer : Lexer , stream : Iterable [tuple [_TokenType , str ]]) -> Iterator [tuple [_TokenType , str ]]: ...
5562
5663class TokenMergeFilter (Filter ):
64+ # options are forwarded to Filter's constructor
5765 def __init__ (self , ** options : Any ) -> None : ...
5866 def filter (self , lexer : Lexer , stream : Iterable [tuple [_TokenType , str ]]) -> Iterator [tuple [_TokenType , str ]]: ...
5967
0 commit comments