ó
xiù\c           @   sy   d  Z  d d l m Z m Z d d l m Z m Z m Z m Z m	 Z	 m
 Z
 m Z m Z d g Z d e f d     YZ d S(   sÈ   
    pygments.lexers.smv
    ~~~~~~~~~~~~~~~~~~~

    Lexers for the SMV languages.

    :copyright: Copyright 2006-2019 by the Pygments team, see AUTHORS.
    :license: BSD, see LICENSE for details.
i˙˙˙˙(   t
   RegexLexert   words(   t   Commentt   Generict   Keywordt   Namet   Numbert   Operatort   Punctuationt   Textt
   NuSMVLexerc        '   B   sP  e  Z d  Z d Z d g Z d g Z g  Z i d e f d e f e dm d( d) e	 j
 f d* e	 f e dn d( d) e	 j f e do d( d) e	 f e dp d( d) e j f e dq d( d) e j f e dr d( d) e	 j f db e j f dc e f dd e f de e j f df e j f dg e j f dh e j f di e j f dj e j f dk e f g dl 6Z RS(s   sB   
    Lexer for the NuSMV language.

    .. versionadded:: 2.2
    t   NuSMVt   nusmvs   *.smvs   (?s)\/\-\-.*?\-\-/s   --.*\nt   MODULEt   DEFINEt   MDEFINEt	   CONSTANTSt   VARt   IVARt	   FROZENVARt   INITt   TRANSt   INVARt   SPECt   CTLSPECt   LTLSPECt   PSLSPECt   COMPUTEt   NAMEt	   INVARSPECt   FAIRNESSt   JUSTICEt
   COMPASSIONt   ISAt   ASSIGNt
   CONSTRAINTt   SIMPWFFt   CTLWFFt   LTLWFFt   PSLWFFt   COMPWFFt   INt   MINt   MAXt   MIRRORt   PREDt
   PREDICATESt   suffixs   (?![\w$#-])s   process(?![\w$#-])t   arrayt   oft   booleant   integert   realt   wordt   caset   esact   word1t   boolt   signedt   unsignedt   extendt   resizet   sizeoft   uwconstt   swconstt   initt   selft   countt   abst   maxt   mint   EXt   AXt   EFt   AFt   EGt   AGt   Et   Ft   Ot   Gt   Ht   Xt   Yt   Zt   At   Ut   St   Vt   Tt   BUt   EBFt   ABFt   EBGt   ABGt   nextt   modt   uniont   int   xort   xnort   TRUEt   FALSEs   [a-zA-Z_][\w$#-]*s   :=s   [-&|+*/<>!=]s   \-?\d+\bs   0[su][bB]\d*_[01_]+s   0[su][oO]\d*_[0-7_]+s   0[su][dD]\d*_[\d_]+s   0[su][hH]\d*_[\da-fA-F_]+s   \s+s   [()\[\]{};?:.,]t   root("   R   R   R   R   R   R   R   R   R   R   R   R   R   R   R   R   R   R   R   R    R!   R"   R#   R$   R%   R&   R'   R(   R)   R*   R+   R,   R-   R.   (   R0   R1   R2   R3   R4   R5   (   R6   R7   (   R8   R9   R:   R;   R<   R=   R>   R?   R@   RA   RB   RC   RD   RE   RF   (   RG   RH   RI   RJ   RK   RL   RM   RN   RO   RP   RQ   RR   RS   RT   RU   RV   RW   RX   RY   RZ   R[   R\   R]   R^   R_   R`   Ra   Rb   Rc   Rd   (   Re   Rf   (   t   __name__t
   __module__t   __doc__t   namet   aliasest	   filenamest	   mimetypesR   R   R   t   Declarationt   TypeR   t   BuiltinR   t   Wordt   Constantt   VariableR   t   Integert   Bint   Octt   Dect   HexR	   t
   WhitespaceR   t   tokens(    (    (    s2   lib/python2.7/site-packages/pygments/lexers/smv.pyR
      sP   				     			 	  			N(   Rj   t   pygments.lexerR    R   t   pygments.tokenR   R   R   R   R   R   R   R	   t   __all__R
   (    (    (    s2   lib/python2.7/site-packages/pygments/lexers/smv.pyt   <module>
   s   :	