pygments.lexers.tnt.TNTLexer

class documentation

class TNTLexer(Lexer): (source)

Lexer for Typographic Number Theory, as described in the book Gödel, Escher, Bach, by Douglas R. Hofstadter .. versionadded:: 2.7

Method	`__init__`	Undocumented
Method	`error_till_line_end`	Mark everything from ``start`` to the end of the line as Error.
Method	`formula`	Tokenize a formula.
Method	`get_tokens_unprocessed`	Returns a list of TNT tokens.
Method	`lineno`	Tokenize a line referral.
Method	`rule`	Tokenize a rule.
Method	`term`	Tokenize a term.
Method	`variable`	Tokenize a variable.
Method	`whitespace`	Tokenize whitespace.
Constant	`COMMENT`	Undocumented
Constant	`LINENOS`	Undocumented
Constant	`LOGIC`	Undocumented
Constant	`NEGATORS`	Undocumented
Constant	`NUMBERS`	Undocumented
Constant	`OPERATORS`	Undocumented
Constant	`PRIMES`	Undocumented
Constant	`QUANTIFIERS`	Undocumented
Constant	`RULES`	Undocumented
Constant	`VARIABLES`	Undocumented
Constant	`WHITESPACE`	Undocumented
Class Variable	`aliases`	Undocumented
Class Variable	`filenames`	Undocumented
Class Variable	`name`	Undocumented
Class Variable	`url`	Undocumented
Instance Variable	`cur`	Undocumented

Inherited from Lexer:

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	`mimetypes`	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

def __init__(self, *args, **kwargs): (source) ¶

overrides pygments.lexer.Lexer.__init__

Undocumented

def error_till_line_end(self, start, text): (source) ¶

Mark everything from ``start`` to the end of the line as Error.

def formula(self, start, text): (source) ¶

Tokenize a formula.

def get_tokens_unprocessed(self, text): (source) ¶

overrides pygments.lexer.Lexer.get_tokens_unprocessed

Returns a list of TNT tokens.

def lineno(self, start, text): (source) ¶

Tokenize a line referral.

def rule(self, start, text): (source) ¶

Tokenize a rule.

def term(self, start, text): (source) ¶

Tokenize a term.

def variable(self, start, text): (source) ¶

Tokenize a variable.

def whitespace(self, start, text, required=False): (source) ¶

Tokenize whitespace.

COMMENT = (source) ¶

Undocumented

Value

re.compile(r'\[[^\n\]]+\]')

LINENOS = (source) ¶

Undocumented

Value

re.compile(r'(?:[0-9]+)(?:(?:, ?|,? and )(?:[0-9]+))*')

LOGIC = (source) ¶

Undocumented

Value

set('⊃→]&∧^|∨Vv')

NEGATORS = (source) ¶

Undocumented

Value

set('~!')

NUMBERS = (source) ¶

Undocumented

Value

set('0123456789')

OPERATORS = (source) ¶

Undocumented

Value

set('+.⋅*')

PRIMES = (source) ¶

Undocumented

Value

set('\'′')

QUANTIFIERS = (source) ¶

Undocumented

Value

set('AE∀∃')

RULES = (source) ¶

Undocumented

Value

re.compile('''(?xi)
        joining | separation | double-tilde | fantasy\\ rule
        | carry[- ]over(?:\\ of)?(?:\\ line)?\\ ([0-9]+) | detachment
        | contrapositive | De\\ Morgan | switcheroo
        | specification | generalization | interchange
        | existence | symmetry | transitivity
        | add\\ S | drop\\ S | induction
...