3
V'ícÙ( ã @ sZ d Z ddlZddlmZ ddlmZmZmZmZm Z m
Z
m Z m Z dgZ
G dd deZdS )zÏ
pygments.lexers.tnt
~~~~~~~~~~~~~~~~~~~
Lexer for Typographic Number Theory.
:copyright: Copyright 2006-2022 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
é N)ÚLexer)ÚTextÚCommentÚOperatorÚKeywordÚNameÚNumberÚ PunctuationÚErrorÚTNTLexerc @ sÐ e Zd ZdZdZdZdgZdgZg Ze dZ
e dZ e dZ e d Z
e d
Ze d Ze d Ze d
ZejdZejdZejdZdd Zd%ddZdd Zdd Zdd Zd d Z d d Z d d! Z d"d# Z d$S )&r u
Lexer for Typographic Number Theory, as described in the book
Gödel, Escher, Bach, by Douglas R. Hofstadter
.. versionadded:: 2.7
zTypographic Number Theoryz,https://github.com/Kenny2github/language-tntZtntz*.tntu ââ]&â§^|â¨Vvu +.â
*Zabcdeu 'â²z~!u AEââÚ
0123456789z
ax (?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
| axiom\ ([1-5]) | premise | push | pop
z((?:[0-9]+)(?:(?:, ?|,? and )(?:[0-9]+))*z \[[^\n\]]+\]c O s t j| f|| g | _d S )N)r Ú__init__Úcur)ÚselfÚargsÚkwargs© r ú7/tmp/pip-build-gk9425m9/Pygments/pygments/lexers/tnt.pyr
8 s zTNTLexer.__init__Fc C sx |}y x|| | j kr |d7 }qW W n tk
r@ t|}Y nX |rR||krRt||krt| jj|t|||
f |S )zTokenize whitespace.é )Ú
WHITESPACEÚ
IndexErrorÚlenÚAssertionErrorr Úappendr )r ÚstartÚtextÚrequiredÚendr r r Ú
whitespace< s zTNTLexer.whitespacec C sV || | j krt|d }x|| | jkr4|d7 }q W | jj|tj|||
f |S )zTokenize a variable.r )Ú VARIABLESr ÚPRIMESr r r ÚVariable)r r r r r r r ÚvariableJ s zTNTLexer.variablec C s@ || dkrV|d }x|| dkr,|d7 }qW | j j|tj|||
f | j||S || dkr| j j|tj|| f |d S || | jkr| j||S || dkr8| j j|t|| f | j|d |}|| | jkrât | j j|t
|| f | j|d |}|| dkrt | j j|t|| f |d S t dS )zTokenize a term.ÚSr Ú0ú(ú)N) r r r ÚIntegerÚtermr r" r Ú OPERATORSr r )r r r r r r r r( T s. z
TNTLexer.termc C sª || | j krX|d }x|| | j kr0|d7 }qW | jj|t|||
f | j||S || | jkrÄ| jj|tj|| f | j|d |}|| dkrt | jj|t
|| f | j|d |S || dkrb| jj|t
|| f | j|d |}|| | j kr t | jj|t|| f | j|d |}|| dkrDt | jj|t
|| f |d S | j ||}|| dkrt | jj|t|| f | j |d |}|S )zTokenize a formula.r ú:ú<ú>ú=)
ÚNEGATORSr r r ÚformulaÚ QUANTIFIERSr Z Declarationr" r r ÚLOGICr( )r r r r r r r r/ n s< zTNTLexer.formulac C sê | j j||}|dkrtt|jdd
}x´|D ]}|d dkr2| jj|t|||d
f | jj|d tj ||d |d
f |d |j
kr¾| jj|d t||d |j
f P q2W | jj|t|||j
f |j
S )zTokenize a rule.Nr r ) ÚRULESÚmatchr ÚsortedÚregsr r r r r' r )r r r r3 ÚgroupsÚgroupr r r Úrule s
z
TNTLexer.rulec C sÒ |}x|| | j kr |d7 }qW | jj|t|| f | jj|d t||d |
f |}| jj||}|dkrvt||j dkrt| jj|j t
j |j df | jj|j t||j f |j d S )zTokenize a line referral.r Nr& r )
ÚNUMBERSr r r r ÚLINENOSr3 r r r r r' r7 )r r r r r3 r r r Úlineno£ s " zTNTLexer.linenoc C sr |}y x|| dkr |d7 }qW W n t k
r> t|}Y nX ||krb| jj|t|||
f | j||}|S )z?Mark everything from ``start`` to the end of the line as Error.Ú
r )r r r r r
r )r r r r r r r Úerror_till_line_end´ s z TNTLexer.error_till_line_endc 1 C sd g | _ | jd| }}xD|| ko0t|k n r\yÔx|| | jkrV|d7 }q>W ||krÐ| j j|tj|||
f t| j }y| j||d }}W n2 tk
rÎ | j |d
= | j|| }}wY nX | j j
||}|dk r$| j j|t |||j
f |j }}| j|| }}w~|| dkr\| j j|t
|| f |d7 }|d7 }nt| j }y| j|| }}W nd ttfk
rÞ | j |d
= x || | jkrº|d7 }qW | j j|t|||
f |}Y nX t| j }y| j||d }}W n4 tk
r4 | j |d
= | j|| }}wY nX t| j }y| j|| }}W n4 tk
r | j |d
= | j|| }}wY nX | j|| }}|| dkr t| j }y| j|| }}W n4 tk
rú | j |d
= | j|| }}wY nX | j|| }}W q tk
rX y| j |d
= W n tk
rF Y nX | j|| Y qX qW | j S )z Returns a list of TNT tokens.r r TNz[]r% )r r r r9 r r r' r r= ÚCOMMENTr3 r r r r/ ÚRecursionErrorr r
r8 r; r Ú NameError)r r r r Úorigr3 r r r Úget_tokens_unprocessedÁ s "
z TNTLexer.get_tokens_unprocessedN)F) Ú__name__Ú
__module__Ú __qualname__Ú__doc__ÚnameÚurlÚaliasesÚ filenamesr Úsetr1 r) r r r. r0 r9 r ÚreÚcompiler2 r: r> r
r r" r( r/ r8 r; r= rB r r r r r s6
"
)rF rL Zpygments.lexerr Zpygments.tokenr r r r r r r r
Ú__all__r r r r r Ú<module> s
(