Файловый менеджер - Редактировать - /opt/imh-python/lib/python3.9/site-packages/pygments/lexers/__pycache__/tnt.cpython-39.pyc
Ðазад
a a�h�( � @ 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-2025 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 ZdZdZdZdgZdgZdZg Z e d�Z e d�Z e d �Z e d �Ze d �Ze d �Ze d �Ze d�Ze�d�Ze�d�Ze�d�Zdd� Zd&dd�Zdd� Zdd� Zdd � Z d d � Z d d � Z d!d"� Z d#d$� Z d%S )'r uz Lexer for Typographic Number Theory, as described in the book Gödel, Escher, Bach, by Douglas R. Hofstadter zTypographic Number Theoryz,https://github.com/Kenny2github/language-tnt�tntz*.tntz2.7u ⊃→]&∧^|∨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 ��/root/rpmbuild/BUILDROOT/imh-python39-modules-3.9.7-92.el8.x86_64/opt/imh-python/lib/python3.9/site-packages/pygments/lexers/tnt.pyr 7 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 �Variable�r r r r r r r �variableI 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* S 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 � Declarationr$ r r �LOGICr* r# r r r r1 m 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 r6 �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 �LINENOSr6 r r r r r) r: )r r r r r6 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 r< r r r) r r@ �COMMENTr6 r r r r1 �RecursionErrorr r r; r> r � NameError)r r r r �origr6 r r r �get_tokens_unprocessed� s� z TNTLexer.get_tokens_unprocessedN)F)!�__name__� __module__� __qualname__�__doc__�name�url�aliases� filenames� version_addedr �setr4 r+ r r! r0 r2 r< r �re�compiler5 r= rA r r r$ r* r1 r; r> r@ rE r r r r r s6 " )rI rP Zpygments.lexerr Zpygments.tokenr r r r r r r r �__all__r r r r r �<module> s (
| ver. 1.1 | |
.
| PHP 8.3.30 | Ð“ÐµÐ½ÐµÑ€Ð°Ñ†Ð¸Ñ Ñтраницы: 0 |
proxy
|
phpinfo
|
ÐаÑтройка