Server IP : 15.235.198.142 / Your IP : 216.73.216.190 Web Server : Apache/2.4.58 (Ubuntu) System : Linux ballsack 6.8.0-45-generic #45-Ubuntu SMP PREEMPT_DYNAMIC Fri Aug 30 12:02:04 UTC 2024 x86_64 User : www-data ( 33) PHP Version : 8.3.6 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : OFF Directory : /lib/python3/dist-packages/pygments/lexers/__pycache__/ |
Upload File : |
� |�ef � �\ � d Z ddlmZmZmZmZ ddlmZmZm Z m Z mZmZ dgZ G d� de� Zy)z� pygments.lexers.verifpal ~~~~~~~~~~~~~~~~~~~~~~~~ Lexers for Verifpal languages. :copyright: Copyright 2006-2023 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. � )� RegexLexer�words�bygroups�default)�Comment�Keyword�Name�String�Punctuation� Whitespace� VerifpalLexerc � � e Zd ZdZdZdgZdgZdgZdZde j fd eej eeeee� fd eej eeeeeee� fd eej eej$ e� dfd eej ee� d fd eeeeeeee� df edd�� ej df edd�� ej fdefdef edd�� ej$ f edd�� ej( fdefdej* fgdefdefdej* f ed� gdej* f edd�� eej. e� df ed� gd�Zy) r z8 For Verifpal code. .. versionadded:: 2.16 �Verifpal�verifpalz*.vpztext/x-verifpalzhttps://verifpal.comz//.*$z!(principal)( +)(\w+)( *)(\[)(.*)$z3(attacker)( *)(\[)( *)(passive|active)( *)(\])( *)$z(knows)( +)(private|public)( +)�sharedz(queries)( +)(\[)�queriesu"