Файловый менеджер - Редактировать - /opt/imh-python/lib/python3.9/site-packages/pygments/lexers/__pycache__/verification.cpython-39.pyc
Ðазад
a a�h^ � @ sl d Z ddlmZmZmZ ddlmZmZmZm Z m Z m Z m Z m Z ddgZG dd� de�ZG dd� de�ZdS ) z� pygments.lexers.verification ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Lexer for Intermediate Verification Languages (IVLs). :copyright: Copyright 2006-2025 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. � )� RegexLexer�include�words)�Comment�Operator�Keyword�Name�Number� Punctuation�Text�Generic� BoogieLexer� SilverLexerc @ s� e Zd ZdZdZdZdgZdgZdZde fde fd e fd e j fd e j fd e j d feddd�efeddd�ejfeddd�ejfed�defdejfdefdefgde j fd e j dfde j dfd e j fgd ejfgd �Zd S ) r z! For Boogie source code. �Boogiez-https://boogie-docs.readthedocs.io/en/latest/�boogiez*.bplz2.1�\n�\s+�\\\n� //[/!](.*?)\n� //(.*?)\n�/\*�comment)�axiom�break�call�ensures�else�exists�function�forall�if� invariantZmodifiesZ procedure�requiresZthen�var�while�\b��suffix)�const)�bool�int�ref�numbersz((>=|<=|:=|!=|==>|&&|\|\||[+/\-=>*<\[\]])�\{.*?\}� ([{}():;,.])z [a-zA-Z_]\w*�[^*/]+�#push�\*/�#pop�[*/]�[0-9]+��rootr r, N)�__name__� __module__� __qualname__�__doc__�name�url�aliases� filenames� version_addedr r �Doc�Single� Multiliner r �Reserved�Typer r r �Emphr r r �Integer�tokens� rH rH ��/root/rpmbuild/BUILDROOT/imh-python39-modules-3.9.7-92.el8.x86_64/opt/imh-python/lib/python3.9/site-packages/pygments/lexers/verification.pyr sB ��� ���c @ s� e Zd ZdZdZdgZddgZdZdZde fd e fd e fd e j fd e j fd e j dfeddd�efeddd�ejfeddd�ejfed�defdejfdefdefgde j fd e j dfde j d fd e j fgd ejfgd �Zd S )!r z! For Silver source code. �Silver�silverz*.silz*.vprz&https://github.com/viperproject/silverz2.2r r r r r r r )4�result�true�false�null�methodr � predicate�program�domainr r# �returns�field�define�foldZunfoldZinhaleZexhale�new�assertZassumeZgotor$ r Zelseifr ZfreshZ constrainingZSeq�SetZMultiset�union� intersectionZsetminusZsubsetZ unfolding�in�oldr r �accZwildcard�write�none�epsilon�perm�unique�apply�packageZfolding�labelZforpermr% r& )r" r r! )ZIntZPermZBoolZRef�Rationalr, z[!%&*+=|?:<>/\-\[\]]r- r. z[\w$]\w*r/ r0 r1 r2 r3 r4 r5 N)r7 r8 r9 r: r; r= r> r< r? r r r@ rA rB r r r � DecoratorrD r r r rE r r rF rG rH rH rH rI r A sB � � � ���N)r: Zpygments.lexerr r r Zpygments.tokenr r r r r r r r �__all__r r rH rH rH rI �<module> s (/
| ver. 1.1 | |
.
| PHP 8.3.30 | Ð“ÐµÐ½ÐµÑ€Ð°Ñ†Ð¸Ñ Ñтраницы: 0 |
proxy
|
phpinfo
|
ÐаÑтройка