3
� �Xy � @ sh d Z ddlmZmZmZ ddlmZmZmZm Z m
Z
m Z m Z ddgZ
G dd� de�ZG dd� de�ZdS ) z�
pygments.lexers.verification
~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Lexer for Intermediate Verification Languages (IVLs).
:copyright: Copyright 2006-2017 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
� )�
RegexLexer�include�words)�Comment�Operator�Keyword�Name�Number� Punctuation�
Whitespace� BoogieLexer� SilverLexerc @ s� e Zd ZdZdZdgZdgZdefdefdej fdej
fd ej d
fe d-dd �e
fe d.dd �e
jfe d/dd �e
jfed!�d"efd#efd$efg d%ej fd ej d&fd'ej d(fd)ej fgd*ejfgd+�Zd,S )0r z^
For `Boogie <https://boogie.codeplex.com/>`_ source code.
.. versionadded:: 2.1
ZBoogieZboogiez*.bplz\nz\s+z
//[/!](.*?)\nz //(.*?)\nz/\*�comment�axiom�break�call�ensures�else�exists�function�forall�if� invariant�modifies� procedure�requires�then�var�whilez\b)�suffix�const�bool�int�ref�numbersz((>=|<=|:=|!=|==>|&&|\|\||[+/\-=>*<\[\]])z ([{}():;,.])z [a-zA-Z_]\w*z[^*/]+z#pushz\*/z#popz[*/]z[0-9]+)�rootr r$ N)r r r r r r r r r r r r r r r r )r )r! r" r# )�__name__�
__module__� __qualname__�__doc__�name�aliases� filenamesr r �Doc�Single� Multiliner r ZReserved�Typer r r
r r �Integer�tokens� r3 r3 �"/usr/lib/python3.6/verification.pyr s2
c = @ s� e Zd ZdZdZdgZddgZdefdefdej fd ej
fd
ej d fe dUdCdD�e
fe dVdCdD�e
jfedI�dJefdKefdLefg dMej fd
ej dNfdOej dPfdQej fgdRejfgdS�ZdTS )Wr
zk
For `Silver <https://bitbucket.org/viperproject/silver>`_ source code.
.. versionadded:: 2.2
ZSilverZsilverz*.silz*.vprz\nz\s+z
//[/!](.*?)\nz //(.*?)\nz/\*r �result�true�false�null�methodr � predicate�program�domainr r �returns�field�definer r r �fold�unfold�inhale�exhale�new�assert�assume�gotor r �elseifr �fresh� constraining�Seq�Set�Multiset�union� intersection�setminus�subset� unfolding�in�oldr r �acc�wildcard�write�none�epsilon�perm�unique�apply�package�folding�label�forpermz\b)r �Int�Perm�Bool�Refr$ z[!%&*+=|?:<>/\-\[\]]z ([{}():;,.])z[\w$]\w*z[^*/]+z#pushz\*/z#popz[*/]z[0-9]+)r% r r$ N)7r5 r6 r7 r8 r9 r r: r; r< r r r= r> r? r r r r@ rA rB rC rD rE rF rG r r rH r rI rJ rK rL rM rN rO rP rQ rR rS rT r r rU rV rW rX rY rZ r[ r\ r] r^ r_ r` )ra rb rc rd )r& r' r( r) r* r+ r, r r r- r. r/ r r r0 r r r
r r r1 r2 r3 r3 r3 r4 r
@ s<
N)r) Zpygments.lexerr r r Zpygments.tokenr r r r r r
r �__all__r r
r3 r3 r3 r4 �<module>
s
$-