| Server IP : 127.0.0.1 / Your IP : 216.73.216.109 Web Server : Apache/2.4.54 (Win64) OpenSSL/1.1.1q PHP/8.1.10 System : Windows NT DESKTOP-E5T4RUN 10.0 build 19045 (Windows 10) AMD64 User : SERVERWEB ( 0) PHP Version : 8.1.10 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : OFF | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : C:/cygwin64/lib/python3.9/site-packages/pygments/lexers/__pycache__/ |
Upload File : |
a
SҼa) � @ sV d dl Z d dlmZ d dlmZmZmZmZmZm Z m
Z
m Z dgZ G dd� de�Z
dS )� N)�Lexer)�Text�Comment�Operator�Keyword�Name�Number� Punctuation�Error�TNTLexerc @ s� e Zd ZdZdgZdgZg Zed�Zed�Z ed�Z
ed�Z ed�Z ed �Z
ed
�Zed �Ze�d �Ze�d
�Ze�d�Zdd� Zd#dd�Zdd� Zdd� Zdd� Zdd� Zd d � Zd d � Z d d!� Z d"S )$r zTypographic Number TheoryZtntz*.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| g|�R i |�� g | _d S )N)r �__init__�cur)�self�args�kwargs� r �7/usr/lib/python3.9/site-packages/pygments/lexers/tnt.pyr
9 s zTNTLexer.__init__Fc C sr |}z || | j v r |d7 }qW n ty: t|�}Y n0 |rL||krLt�||krn| j�|t|||� f� |S �N� )�
WHITESPACE�
IndexError�len�AssertionErrorr �appendr )r �start�text�required�endr r r �
whitespace= s zTNTLexer.whitespacec C sR || | j vrt�|d }|| | jv r2|d7 }q| j�|tj|||� f� |S r )� VARIABLESr �PRIMESr r r ZVariable�r r r r r r r �variableK s
zTNTLexer.variablec C s< || dkrR|d }|| dkr*|d7 }q| j �|tj|||� f� | �||�S || dkr~| j �|tj|| f� |d S || | jv r�| �||�S || dk�r4| j �|t|| f� | �|d |�}|| | jvr�t �| j �|t
|| f� | �|d |�}|| dk�rt �| j �|t|| f� |d S t �d S )N�Sr �0�(�)) r r r �Integer�termr r# r � OPERATORSr r r" r r r r) U s.
z
TNTLexer.termc C s� || | j v rT|d }|| | j v r.|d7 }q| j�|t|||� f� | �||�S || | jv r�| j�|tj|| f� | �|d |�}|| dkr�t �| j�|t
|| f� | �|d |�S || dk�r^| j�|t
|| f� | �|d |�}|| | j v�rt �| j�|t|| f� | �|d |�}|| dk�r@t �| j�|t
|| f� |d S | � ||�}|| dk�r|t �| j�|t|| f� | � |d |�}|S )Nr �:�<�>�=)
�NEGATORSr r r �formula� QUANTIFIERSr Z Declarationr# r r �LOGICr) r" r r r r0 o s<
zTNTLexer.formulac C s� | j �||�}|d u rt�t|jdd � �}|D ]�}|d dkr0| j�|t|||d � f� | j�|d tj ||d |d � f� |d |�
� kr�| j�|d t||d |�
� � f� q�q0| j�|t|||�
� � f� |�
� S )Nr r ) �RULES�matchr �sorted�regsr r r r r( r )r r r r4 �groups�groupr r r �rule� s" �� z
TNTLexer.rulec C s� |}|| | j vr |d7 }q| j�|t|| f� | j�|d t||d |� f� |}| j�||�}|d u rrt�||�� dkr�t�| j�|� � t
j |� d�f� | j�|�� t||�� f� |�� d S )Nr r' r )
�NUMBERSr r r r �LINENOSr4 r r r r r( r8 )r r r r r4 r r r �lineno� s
" zTNTLexer.linenoc C sl |}z|| dkr |d7 }qW n t y8 t|�}Y n0 ||kr\| j�|t|||� f� | �||�}|S )N�
r )r r r r r
r r" r r r �error_till_line_end� s z TNTLexer.error_till_line_endc C s\ g | _ | �d|� }}|| kr0t|�k �rVn �n �z�|| | jv rR|d7 }q:||kr�| j �|tj|||� f� t| j �}z| �||d� }}W n4 ty� | j |d �= | �||� }}Y W qY n0 | j �
||�}|d u�r"| j �|t |||� � � f� |� � }}| �||� }}W q~|| dv �rZ| j �|t
|| f� |d7 }|d7 }n~t| j �}z| �||� }}W n^ ttf�y� | j |d �= || | jv�r�|d7 }�q�| j �|t|||� f� |}Y n0 t| j �}z| �||d� }}W n6 t�y. | j |d �= | �||� }}Y W qY n0 t| j �}z| �||� }}W n6 t�y� | j |d �= | �||� }}Y W qY n0 | �||� }}|| dk�r
t| j �}z| �||� }}W n6 t�y� | j |d �= | �||� }}Y W qY n0 | �||� }}W q t�yR z| j |d �= W n t�y@ Y n0 | �||� Y q0 q| j S )Nr r Tz[]r& )r r r r: r r r( r r> �COMMENTr4 r r r r0 �RecursionErrorr r
r9 r< r � NameError)r r r r Zorigr4 r r r �get_tokens_unprocessed� s�
z TNTLexer.get_tokens_unprocessedN)F) �__name__�
__module__� __qualname__�name�aliases� filenamesr �setr2 r* r r! r/ r1 r: r �re�compiler3 r; r? r
r r# r) r0 r9 r< r> rB r r r r r s0
"
)rJ Zpygments.lexerr Zpygments.tokenr r r r r r r r
�__all__r r r r r �<module> s (