| 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) � @ 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 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 )zTokenize whitespace.� )�
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 )zTokenize a variable.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 �dS )zTokenize a term.�Sr �0�(�)N) 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 )zTokenize a formula.r �:�<�>�=)
�NEGATORSr r r �formula� QUANTIFIERSr Z Declarationr" r r �LOGICr( r! r r r r/ o s<
zTNTLexer.formulac C s� | j �||�}|du 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 )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� |}|| | j vr |d7 }q| j�|t|| f� | j�|d t||d |� f� |}| j�||�}|du rrt�||�� dkr�t�| j�|� � t
j |� d�f� | j�|�� t||�� f� |�� 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 sl |}z|| dkr |d7 }qW n t y8 t|�}Y n0 ||kr\| 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 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 �
||�}|du�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 )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 Zorigr3 r r r �get_tokens_unprocessed� s�
z TNTLexer.get_tokens_unprocessedN)F) �__name__�
__module__� __qualname__�__doc__�name�aliases� filenamesr �setr1 r) r r r. r0 r9 r �re�compiler2 r: r> r
r r" r( r/ r8 r; r= rA r r r r r s2
"
)rE rJ Zpygments.lexerr Zpygments.tokenr r r r r r r r
�__all__r r r r r �<module> s
(