|
Server : Apache System : Linux iad1-shared-b8-43 6.6.49-grsec-jammy+ #10 SMP Thu Sep 12 23:23:08 UTC 2024 x86_64 User : dh_edsupp ( 6597262) PHP Version : 8.2.26 Disable Function : NONE Directory : /lib/python3/dist-packages/pygments/lexers/__pycache__/ |
Upload File : |
o
���a) � @ sZ d Z ddlZddlmZ ddlmZmZmZmZm Z m
Z
m Z m Z dgZ
G dd� 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� e Zd ZdZdZdgZdgZg Zed�Z ed�Z
ed�Z ed�Z ed �Z
ed
�Zed �Zed �Ze�d
�Ze�d�Ze�d�Zdd� Zd$dd�Zdd� Zdd� Zdd� Zdd � Zd 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,
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~!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| g|�R i |�� g | _d S )N)r �__init__�cur)�self�args�kwargs� r �5/usr/lib/python3/dist-packages/pygments/lexers/tnt.pyr 9 s
zTNTLexer.__init__Fc C s~ |}z|| | j v r|d7 }|| | j v s
W n
ty# t|�}Y nw |r,||kr,t�||kr=| j�|t|||� f� |S )zTokenize whitespace.� )�
WHITESPACE�
IndexError�len�AssertionErrorr �appendr )r �start�text�required�endr r r �
whitespace= s �� � zTNTLexer.whitespacec C s^ || | j vr t�|d }|| | jv r |d7 }|| | jv s| j�|tj|||� f� |S )zTokenize a variable.r )� VARIABLESr �PRIMESr r r �Variable�r r r r r r r �variableK s � zTNTLexer.variablec C s> || dkr.|d }|| dkr|d7 }|| dks| j �|tj|||� f� | �||�S || dkrD| j �|tj|| f� |d S || | jv rQ| �||�S || dkr�| j �|t|| f� | �|d |�}|| | jvrst �| j �|t
|| f� | �|d |�}|| dkr�t �| j �|t|| f� |d S t �)zTokenize a term.�Sr �0�(�)) r r r �Integer�termr! r% r � OPERATORSr r r$ r r r r+ U s0 � z
TNTLexer.termc C s� || | j v r0|d }|| | j v r |d7 }|| | j v s| j�|t|||� f� | �||�S || | jv rf| j�|tj|| f� | �|d |�}|| dkrSt �| j�|t
|| f� | �|d |�S || dkr�| j�|t
|| f� | �|d |�}|| | j vr�t �| j�|t|| f� | �|d |�}|| dkr�t �| j�|t
|| f� |d S | � ||�}|| dkr�t �| j�|t|| f� | � |d |�}|S )zTokenize a formula.r �:�<�>�=)
�NEGATORSr r r �formula� QUANTIFIERSr � Declarationr% r r �LOGICr+ r$ r r r r2 o s> � zTNTLexer.formulac C s� | j �||�}|du r
t�t|jdd� �}|D ]K}|d dkrc| j�|t|||d � f� | j�|d tj ||d |d � f� |d |�
� kr^| j�|d t||d |�
� � f� |�
� S q| j�|t|||�
� � f� |�
� S )zTokenize a rule.Nr r ) �RULES�matchr �sorted�regsr r r r r* r )r r r r7 �groups�groupr r r �rule� s& ��� z
TNTLexer.rulec C s� |}|| | j vr|d7 }|| | j vs | j�|t|| f� | j�|d t||d |� f� |}| j�||�}|du r?t�||�� dkrIt�| j�|� � t
j |� d�f� | j�|�� t||�� f� |�� d S )zTokenize a line referral.r Nr) r )
�NUMBERSr r r r �LINENOSr7 r r r r r* r; )r r r r r7 r r r �lineno� s �" zTNTLexer.linenoc C sv |}z|| dkr|d7 }|| dks W n
t y! t|�}Y nw ||kr3| j�|t|||� f� | �||�}|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 �error_till_line_end� s �� � z TNTLexer.error_till_line_endc C sz g | _ | �d|� }}|| krt|�k �r�n | j S �zi|| | jv r0|d7 }|| | jv s%||krk| j �|tj|||� f� t| j �}z | �||d� }}W n tyj | j |d�= | �||� }}Y W q w | j �
||�}|dur�| j �|t |||� � � f� |� � }}| �||� }}W q ~|| dv r�| j �|t
|| f� |d7 }|d7 }nBt| j �}z
| �||� }}W n2 ttfy� | j |d�= || | jvr�|d7 }|| | jvs�| j �|t|||� f� |}Y nw t| j �}z | �||d� }}W n t�y | j |d�= | �||� }}Y W q w t| j �}z
| �||� }}W n t�yD | j |d�= | �||� }}Y W q w | �||� }}|| dk�r�t| j �}z
| �||� }}W n t�y| | j |d�= | �||� }}Y W q w | �||� }}W n# t�y� z| j |d�= W n
t�y� Y nw | �||� Y nw || k�r�t|�k s | j S | j S )z Returns a list of TNT tokens.r r TNz[]r( )r r r r= r r r* r rA �COMMENTr7 r r r r2 �RecursionErrorr r
r< r? r � NameError)r r r r �origr7 r r r �get_tokens_unprocessed� s� J��
�
��
�
�
�����J�Jz TNTLexer.get_tokens_unprocessedN)F) �__name__�
__module__� __qualname__�__doc__�name�aliases� filenamesr �setr5 r, r! r" r1 r3 r= r �re�compiler6 r> rB r r r% r+ r2 r< r? rA rF r r r r r s4
"
)rJ rO �pygments.lexerr �pygments.tokenr r r r r r r r
�__all__r r r r r �<module> s
(