HEX

File: //lib/python3/dist-packages/pygments/lexers/__pycache__/tnt.cpython-310.pyc
o

���a)�@sZdZddlZddlmZddlmZmZmZmZm	Z	m
Z
mZmZdgZ
Gdd�de�ZdS)z�
    pygments.lexers.tnt
    ~~~~~~~~~~~~~~~~~~~

    Lexer for Typographic Number Theory.

    :copyright: Copyright 2006-2021 by the Pygments team, see AUTHORS.
    :license: BSD, see LICENSE for details.
�N)�Lexer)�Text�Comment�Operator�Keyword�Name�Number�Punctuation�Error�TNTLexerc@s�eZdZdZdZdgZdgZgZed�Z	ed�Z
ed�Zed�Zed	�Z
ed
�Zed�Zed�Ze�d
�Ze�d�Ze�d�Zdd�Zd$dd�Zdd�Zdd�Zdd�Zdd�Zdd�Zdd �Zd!d"�Zd#S)%ru
    Lexer for Typographic Number Theory, as described in the book
    Gödel, Escher, Bach, by Douglas R. Hofstadter,
    or as summarized here:
    https://github.com/Kenny2github/language-tnt/blob/master/README.md#summary-of-tnt

    .. versionadded:: 2.7
    zTypographic Number Theory�tntz*.tntu⊃→]&∧^|∨Vvu+.⋅*�abcdeu'′z~!uAE∀∃�
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\]]+\]cOs"tj|g|�Ri|��g|_dS)N)r�__init__�cur)�self�args�kwargs�r�5/usr/lib/python3/dist-packages/pygments/lexers/tnt.pyr9s
zTNTLexer.__init__FcCs~|}z|||jvr|d7}|||jvs
Wn
ty#t|�}Ynw|r,||kr,t�||kr=|j�|t|||�f�|S)zTokenize whitespace.�)�
WHITESPACE�
IndexError�len�AssertionErrorr�appendr)r�start�text�required�endrrr�
whitespace=s���zTNTLexer.whitespacecCs^|||jvr	t�|d}|||jvr|d7}|||jvs|j�|tj|||�f�|S)zTokenize a variable.r)�	VARIABLESr�PRIMESrrr�Variable�rrrrrrr�variableKs�zTNTLexer.variablecCs>||dkr.|d}||dkr|d7}||dks|j�|tj|||�f�|�||�S||dkrD|j�|tj||f�|dS|||jvrQ|�||�S||dkr�|j�|t||f�|�|d|�}|||jvrst	�|j�|t
||f�|�|d|�}||dkr�t	�|j�|t||f�|dSt	�)zTokenize a term.�Sr�0�(�))rrr�Integer�termr!r%r	�	OPERATORSrrr$rrrr+Us0�z
TNTLexer.termcCs�|||jvr0|d}|||jvr|d7}|||jvs|j�|t|||�f�|�||�S|||jvrf|j�|tj||f�|�|d|�}||dkrSt	�|j�|t
||f�|�|d|�S||dkr�|j�|t
||f�|�|d|�}|||jvr�t	�|j�|t||f�|�|d|�}||dkr�t	�|j�|t
||f�|dS|�||�}||dkr�t	�|j�|t||f�|�|d|�}|S)zTokenize a formula.r�:�<�>�=)
�NEGATORSrrr�formula�QUANTIFIERSr�Declarationr%rr	�LOGICr+r$rrrr2os>�zTNTLexer.formulac	Cs�|j�||�}|dur
t�t|jdd��}|D]K}|ddkrc|j�|t|||d�f�|j�|dtj	||d|d�f�|d|�
�kr^|j�|dt||d|�
��f�|�
�Sq|j�|t|||�
��f�|�
�S)zTokenize a rule.Nrr)�RULES�matchr�sorted�regsrrrrr*r)rrrr7�groups�grouprrr�rule�s&���	z
TNTLexer.rulecCs�|}|||jvr|d7}|||jvs	|j�|t||f�|j�|dt||d|�f�|}|j�||�}|dur?t�||��dkrIt�|j�|�	�t
j|�d�f�|j�|��t||��f�|��dS)zTokenize a line referral.rNr)r)
�NUMBERSrrr	r�LINENOSr7rrrrr*r;)rrrrr7rrr�lineno�s�"zTNTLexer.linenocCsv|}z||dkr|d7}||dks	Wn
ty!t|�}Ynw||kr3|j�|t|||�f�|�||�}|S)z?Mark everything from ``start`` to the end of the line as Error.�
r)rrrrr
r r$rrr�error_till_line_end�s���zTNTLexer.error_till_line_endcCszg|_|�d|�}}||krt|�k�r�n|jS�zi|||jvr0|d7}|||jvs%||krk|j�|tj|||�f�t|j�}z|�||d�}}Wntyj|j|d�=|�||�}}YWqw|j	�
||�}|dur�|j�|t|||���f�|��}}|�||�}}Wq~||dvr�|j�|t
||f�|d7}|d7}nBt|j�}z
|�||�}}Wn2ttfy�|j|d�=|||jvr�|d7}|||jvs�|j�|t|||�f�|}Ynwt|j�}z|�||d�}}Wnt�y|j|d�=|�||�}}YWqwt|j�}z
|�||�}}Wnt�yD|j|d�=|�||�}}YWqw|�||�}}||dk�r�t|j�}z
|�||�}}Wnt�y||j|d�=|�||�}}YWqw|�||�}}Wn#t�y�z|j|d�=Wn
t�y�Ynw|�||�Ynw||k�r�t|�ks|jS|jS)zReturns a list of TNT tokens.rrTNz[]r()rr rr=rrr*rrA�COMMENTr7rrrr2�RecursionErrorrr
r<r?r�	NameError)rrrr�origr7rrr�get_tokens_unprocessed�s�J��
�

��
�
�
�����J�JzTNTLexer.get_tokens_unprocessedN)F)�__name__�
__module__�__qualname__�__doc__�name�aliases�	filenamesr�setr5r,r!r"r1r3r=r�re�compiler6r>rBrr r%r+r2r<r?rArFrrrrrs4	

	


"
)rJrO�pygments.lexerr�pygments.tokenrrrrrrr	r
�__all__rrrrr�<module>s
(