ó
xiù\c @ s d Z d d l m Z m Z m Z d d l m Z m Z m Z m Z m
Z
m Z m Z d d g Z
d e f d YZ d e f d YZ d S( sò
pygments.lexers.verification
~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Lexer for Intermediate Verification Languages (IVLs).
:copyright: Copyright 2006-2019 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
i˙˙˙˙( t
RegexLexert includet words( t Commentt Operatort Keywordt Namet Numbert Punctuationt
Whitespacet BoogieLexert SilverLexerc B s% e Z d Z d Z d g Z d g Z i d e f d e f d e j f d e j f d e j
d f e d+ d d e f e d, d d e j
f e d- d d e j f e d d! e f d" e f d# e f g d$ 6d% e j
f d e j
d& f d' e j
d( f d) e j
f g d 6d* e j f g d 6Z RS(. s^
For `Boogie `_ source code.
.. versionadded:: 2.1
t Boogiet boogies *.bpls \ns \s+s
//[/!](.*?)\ns //(.*?)\ns /\*t commentt axiomt breakt callt ensurest elset existst functiont forallt ift invariantt modifiest proceduret requirest thent vart whilet suffixs \bt constt boolt intt reft numberss( (>=|<=|:=|!=|==>|&&|\|\||[+/\-=>*<\[\]])s ([{}():;,.])s [a-zA-Z_]\w*t roots [^*/]+s #pushs \*/s #pops [*/]s [0-9]+( R R R R R R R R R R R R R R R R ( R ( R! R" R# ( t __name__t
__module__t __doc__t namet aliasest filenamesR R t Doct Singlet MultilineR R t Reservedt TypeR R R R R t Integert tokens( ( ( s; lib/python2.7/site-packages/pygments/lexers/verification.pyR
s4 c > B s e Z d Z d Z d g Z d d g Z i d e f d e f d e j f d e j f d e j
d
f e dS dB dC e f e dT dB dC e j
f e dH dI e f dJ e f dK e f g dL 6dM e j
f d e j
dN f dO e j
dP f dQ e j
f g d
6dR e j f g dH 6Z RS(U sk
For `Silver `_ source code.
.. versionadded:: 2.2
t Silvert silvers *.sils *.vprs \ns \s+s
//[/!](.*?)\ns //(.*?)\ns /\*R t resultt truet falset nullt methodR t predicatet programt domainR R t returnst fieldt defineR R R t foldt unfoldt inhalet exhalet newt assertt assumet gotoR R t elseifR t fresht constrainingt Seqt Sett Multisett uniont intersectiont setminust subsett unfoldingt int oldR R t acct wildcardt writet nonet epsilont permt uniquet applyt packaget foldingt labelt forpermR s \bt Intt Permt Boolt RefR$ s [!%&*+=|?:<>/\-\[\]]s ([{}():;,.])s [\w$]\w*R% s [^*/]+s #pushs \*/s #pops [*/]s [0-9]+(7 R5 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 R0 R R R R R R1 R2 ( ( ( s; lib/python2.7/site-packages/pygments/lexers/verification.pyR @ s> N( R( t pygments.lexerR R R t pygments.tokenR R R R R R R t __all__R
R ( ( ( s; lib/python2.7/site-packages/pygments/lexers/verification.pyt
s
4 -