File manager - Edit - /opt/saltstack/salt/lib/python3.10/site-packages/pygments/lexers/__pycache__/verification.cpython-310.pyc
Back
o ;ja � @ 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-present 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. ZBoogiez-https://boogie-docs.readthedocs.io/en/latest/Zboogiez*.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 ZReserved�Typer r r �Emphr r r �Integer�tokens� rE rE �P/opt/saltstack/salt/lib/python3.10/site-packages/pygments/lexers/verification.pyr sD ��� �� �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. ZSilverZsilverz*.silz*.vprz&https://github.com/viperproject/silverz2.2r r r r r r r )4�result�true�false�null�methodr � predicateZprogram�domainr r! �returns�fieldZdefine�foldZunfoldZinhaleZexhale�new�assertZassumeZgotor" r Zelseifr ZfreshZ constrainingZSeq�SetZMultiset�union� intersectionZsetminusZsubsetZ unfolding�in�oldr r �accZwildcard�write�none�epsilon�perm�uniqueZapply�packageZfoldingZlabelZforpermr# r$ )r r r )ZIntZPermZBoolZRefZRationalr* z[!%&*+=|?:<>/\-\[\]]r+ r, z[\w$]\w*r- r. r/ r0 r1 r2 r3 N)r5 r6 r7 r8 r9 r; r< r: r= r r r> r? r@ r r r Z DecoratorrA r r r rB r r rC rD rE rE rE rF r A sD � � � �� �N)r8 Zpygments.lexerr r r Zpygments.tokenr r r r r r r r �__all__r r rE rE rE rF �<module> s (/
| ver. 1.4 |
Github
|
.
| PHP 8.2.30 | Generation time: 0 |
proxy
|
phpinfo
|
Settings