pygments.lexers.theorem.IsabelleLexer

class documentation

class IsabelleLexer(RegexLexer): (source)

View In Hierarchy

For the Isabelle proof assistant. .. versionadded:: 2.0

Class Variable aliases Undocumented
Class Variable filenames Undocumented
Class Variable keyword_abandon_proof Undocumented
Class Variable keyword_diag Undocumented
Class Variable keyword_minor Undocumented
Class Variable keyword_proof_asm Undocumented
Class Variable keyword_proof_asm_goal Undocumented
Class Variable keyword_proof_block Undocumented
Class Variable keyword_proof_chain Undocumented
Class Variable keyword_proof_decl Undocumented
Class Variable keyword_proof_goal Undocumented
Class Variable keyword_proof_script Undocumented
Class Variable keyword_qed Undocumented
Class Variable keyword_section Undocumented
Class Variable keyword_subsection Undocumented
Class Variable keyword_theory_decl Undocumented
Class Variable keyword_theory_goal Undocumented
Class Variable keyword_theory_script Undocumented
Class Variable keyword_thy Undocumented
Class Variable mimetypes Undocumented
Class Variable name Undocumented
Class Variable operators Undocumented
Class Variable proof_operators Undocumented
Class Variable tokens Undocumented
Class Variable url Undocumented

Inherited from RegexLexer:

Method get_tokens_unprocessed Split ``text`` into (tokentype, text) pairs.

Inherited from Lexer (via RegexLexer):

Method __init__ Undocumented
Method __repr__ Undocumented
Method add_filter Add a new stream filter to this lexer.
Method analyse_text Has to return a float between ``0`` and ``1`` that indicates if a lexer wants to highlight this text. Used by ``guess_lexer``. If this method returns ``0`` it won't highlight it in any case, if it returns ``1`` highlighting with this lexer is guaranteed.
Method get_tokens Return an iterable of (tokentype, value) pairs generated from `text`. If `unfiltered` is set to `True`, the filtering mechanism is bypassed even if filters are defined.
Class Variable alias_filenames Undocumented
Class Variable priority Undocumented
Instance Variable encoding Undocumented
Instance Variable ensurenl Undocumented
Instance Variable filters Undocumented
Instance Variable options Undocumented
Instance Variable stripall Undocumented
Instance Variable stripnl Undocumented
Instance Variable tabsize Undocumented
aliases: list[str] = (source)
overrides pygments.lexer.Lexer.aliases

Undocumented

filenames: list[str] = (source)
overrides pygments.lexer.Lexer.filenames

Undocumented

keyword_abandon_proof: tuple[str, ...] = (source)

Undocumented

keyword_diag: tuple[str, ...] = (source)

Undocumented

keyword_minor: tuple[str, ...] = (source)

Undocumented

keyword_proof_asm: tuple[str, ...] = (source)

Undocumented

keyword_proof_asm_goal: tuple[str, ...] = (source)

Undocumented

keyword_proof_block: tuple[str, ...] = (source)

Undocumented

keyword_proof_chain: tuple[str, ...] = (source)

Undocumented

keyword_proof_decl: tuple[str, ...] = (source)

Undocumented

keyword_proof_goal: tuple[str, ...] = (source)

Undocumented

keyword_proof_script: tuple[str, ...] = (source)

Undocumented

keyword_qed: tuple[str, ...] = (source)

Undocumented

keyword_section: tuple[str, ...] = (source)

Undocumented

keyword_subsection: tuple[str, ...] = (source)

Undocumented

keyword_theory_decl: tuple[str, ...] = (source)

Undocumented

keyword_theory_goal: tuple[str, ...] = (source)

Undocumented

keyword_theory_script: tuple[str, ...] = (source)

Undocumented

keyword_thy: tuple[str, ...] = (source)

Undocumented

mimetypes: list[str] = (source)
overrides pygments.lexer.Lexer.mimetypes

Undocumented

name: str = (source)
overrides pygments.lexer.Lexer.name

Undocumented

operators: tuple[str, ...] = (source)

Undocumented

proof_operators: tuple[str, ...] = (source)

Undocumented

tokens = (source)
overrides pygments.lexer.RegexLexer.tokens

Undocumented

url: str = (source)
overrides pygments.lexer.Lexer.url

Undocumented