pygments.rb 2.4.0 → 3.0.0

data/vendor/pygments-main/pygments/lexers/tls.py

@@ -0,0 +1,54 @@
+"""
+    pygments.lexers.tls
+    ~~~~~~~~~~~~~~~~~~~
+
+    Lexers for the TLS presentation language.
+
+    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
+    :license: BSD, see LICENSE for details.
+"""
+import re
+
+from pygments.lexer import RegexLexer, words
+from pygments.token import Comment, Operator, Keyword, Name, String, \
+    Number, Punctuation, Whitespace
+
+__all__ = ['TlsLexer']
+
+
+class TlsLexer(RegexLexer):
+    """
+    The TLS presentation language, described in RFC 8446.
+    """
+    name = 'TLS Presentation Language'
+    url = 'https://www.rfc-editor.org/rfc/rfc8446#section-3'
+    filenames = []
+    aliases = ['tls']
+    mimetypes = []
+    version_added = '2.16'
+
+    flags = re.MULTILINE | re.DOTALL
+
+    tokens = {
+        'root': [
+            (r'\s+', Whitespace),
+            # comments
+            (r'/[*].*?[*]/', Comment.Multiline),
+            # Keywords
+            (words(('struct', 'enum', 'select', 'case'), suffix=r'\b'),
+             Keyword),
+            (words(('uint8', 'uint16', 'uint24', 'uint32', 'uint64', 'opaque'),
+                   suffix=r'\b'), Keyword.Type),
+            # numeric literals
+            (r'0x[0-9a-fA-F]+', Number.Hex),
+            (r'[0-9]+', Number.Integer),
+            # string literal
+            (r'"(\\.|[^"\\])*"', String),
+            # tokens
+            (r'[.]{2}', Operator),
+            (r'[+\-*/&^]', Operator),
+            (r'[|<>=!()\[\]{}.,;:\?]', Punctuation),
+            # identifiers
+            (r'[^\W\d]\w*', Name.Other),
+        ]
+    }

data/vendor/pygments-main/pygments/lexers/tnt.py

@@ -4,7 +4,7 @@
 
     Lexer for Typographic Number Theory.
 
-    :copyright: Copyright 2006-2023 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 
@@ -21,14 +21,13 @@ class TNTLexer(Lexer):
     """
     Lexer for Typographic Number Theory, as described in the book
     Gödel, Escher, Bach, by Douglas R. Hofstadter
-
-    .. versionadded:: 2.7
     """
 
     name = 'Typographic Number Theory'
     url = 'https://github.com/Kenny2github/language-tnt'
     aliases = ['tnt']
     filenames = ['*.tnt']
+    version_added = '2.7'
 
     cur = []
 

data/vendor/pygments-main/pygments/lexers/trafficscript.py

@@ -4,7 +4,7 @@
 
     Lexer for RiverBed's TrafficScript (RTS) language.
 
-    :copyright: Copyright 2006-2023 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 
@@ -17,12 +17,12 @@ __all__ = ['RtsLexer']
 class RtsLexer(RegexLexer):
     """
     For Riverbed Stingray Traffic Manager
-
-    .. versionadded:: 2.1
     """
     name = 'TrafficScript'
     aliases = ['trafficscript', 'rts']
     filenames = ['*.rts']
+    url = 'https://riverbed.com'
+    version_added = '2.1'
 
     tokens = {
         'root' : [

data/vendor/pygments-main/pygments/lexers/typoscript.py

@@ -13,7 +13,7 @@
     `TypoScriptHtmlDataLexer`
         Lexer that highlights markers, constants and registers within html tags.
 
-    :copyright: Copyright 2006-2023 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 
@@ -29,12 +29,12 @@ __all__ = ['TypoScriptLexer', 'TypoScriptCssDataLexer', 'TypoScriptHtmlDataLexer
 class TypoScriptCssDataLexer(RegexLexer):
     """
     Lexer that highlights markers, constants and registers within css blocks.
-
-    .. versionadded:: 2.2
     """
 
     name = 'TypoScriptCssData'
     aliases = ['typoscriptcssdata']
+    url = 'http://docs.typo3.org/typo3cms/TyposcriptReference/'
+    version_added = '2.2'
 
     tokens = {
         'root': [
@@ -64,12 +64,12 @@ class TypoScriptCssDataLexer(RegexLexer):
 class TypoScriptHtmlDataLexer(RegexLexer):
     """
     Lexer that highlights markers, constants and registers within html tags.
-
-    .. versionadded:: 2.2
     """
 
     name = 'TypoScriptHtmlData'
     aliases = ['typoscripthtmldata']
+    url = 'http://docs.typo3.org/typo3cms/TyposcriptReference/'
+    version_added = '2.2'
 
     tokens = {
         'root': [
@@ -99,8 +99,6 @@ class TypoScriptHtmlDataLexer(RegexLexer):
 class TypoScriptLexer(RegexLexer):
     """
     Lexer for TypoScript code.
-
-    .. versionadded:: 2.2
     """
 
     name = 'TypoScript'
@@ -108,6 +106,7 @@ class TypoScriptLexer(RegexLexer):
     aliases = ['typoscript']
     filenames = ['*.typoscript']
     mimetypes = ['text/x-typoscript']
+    version_added = '2.2'
 
     flags = re.DOTALL | re.MULTILINE
 

data/vendor/pygments-main/pygments/lexers/typst.py

@@ -0,0 +1,104 @@
+"""
+    pygments.lexers.typst
+    ~~~~~~~~~~~~~~~~~~~~~
+
+    Lexers for Typst language.
+
+    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
+    :license: BSD, see LICENSE for details.
+"""
+
+from pygments.lexer import RegexLexer, words, bygroups, include
+from pygments.token import Comment, Keyword, Name, String, Punctuation, \
+    Whitespace, Generic, Operator, Number, Text
+
+__all__ = ['TypstLexer']
+
+
+class TypstLexer(RegexLexer):
+    """
+    For Typst code.
+    """
+
+    name = 'Typst'
+    aliases = ['typst']
+    filenames = ['*.typ']
+    mimetypes = ['text/x-typst']
+    url = 'https://typst.app'
+    version_added = '2.18'
+
+    tokens = {
+        'root': [
+            include('markup'),
+        ],
+        'common': [
+            (r'[ \t]+', Whitespace),
+            (r'((?!=[*_$`\-+0-9/<@\\#\[]|https?://).)+', Text),
+        ],
+        'markup': [
+            include('comment'),
+            (r'^\s*=+.*$', Generic.Heading),
+            (r'[*][^*]*[*]', Generic.Strong),
+            (r'_[^_]*_', Generic.Emph),
+            (r'\$', Punctuation, 'maths'),
+            (r'`[^`]*`', String.Backtick),  # inline code
+            (r'^\s*-', Punctuation),  # unnumbered list
+            (r'^\s*\+', Punctuation),  # numbered list
+            (r'^\s*[0-9.]+', Punctuation),  # numbered list variant
+            (r'^(\s*/\s+)([^:]+)(:)', bygroups(Punctuation, Name.Variable, Punctuation)),  # definitions
+            (r'<[a-zA-Z_][a-zA-Z0-9_-]*>', Name.Label),  # label
+            (r'@[a-zA-Z_][a-zA-Z0-9_-]*', Name.Label),  # reference
+            (r'\\#', Text), # escaped
+            (words(('#let', '#set', '#show'), suffix=r'\b'), Keyword.Declaration, 'inline_code'),
+            (r'(#[a-zA-Z_][a-zA-Z0-9_]*)(\[)', bygroups(Name.Function, Punctuation), 'markup'),
+            (r'(#[a-zA-Z_][a-zA-Z0-9_]*)(\()', bygroups(Name.Function, Punctuation), 'inline_code'),
+            (r'#[a-zA-Z_][a-zA-Z0-9_]*', Name.Variable),
+            (r'```(?:.|\n)*?```', String.Backtick),  # code block
+            (r'https?://[0-9a-zA-Z~/%#&=\',;.+?]*', Generic.Emph),  # links
+            (words((r'---', r'\\', r'~', r'--', r'...'), suffix=r'\b'), Punctuation),  # special chars shorthand
+            (r'\\\[', Punctuation),  # escaped
+            (r'\\\]', Punctuation),  # escaped
+            (r'\[', Punctuation, '#push'),
+            (r'\]', Punctuation, '#pop'),
+            include('common'),
+        ],
+        'maths': [
+            include('comment'),
+            (words(('_', '^', '+', '-', '/', '*', '->', '<-', '!=', '=='),
+                   suffix=r'\b'), Operator),
+            (words((r'\\', '$='), suffix=r'\b'), Operator),  # maths markup operators
+            (r'\\\$', Punctuation),  # escaped
+            (r'\$', Punctuation, '#pop'),  # end of math mode
+            include('code'),
+        ],
+        'comment': [
+            (r'//.*$', Comment.Single),
+            (r'/[*](.|\n)*?[*]/', Comment.Multiline),
+        ],
+        'code': [
+            include('comment'),
+            (r'\[', Punctuation, 'markup'),
+            (r'\(|\{', Punctuation, 'code'),
+            (r'\)|\}', Punctuation, '#pop'),
+            (r'"[^"]*"', String.Double),
+            (r'[=,]', Operator),
+            (words(('and', 'or', 'not'), suffix=r'\b'), Operator.Word),
+            (r'=>|<=|==|!=|>|<|-=|\+=|\*=|/=|\+|-|\\|\*', Operator), # comparisons
+            (r'([a-zA-Z_][a-zA-Z0-9_]*)(:)', bygroups(Name.Variable, Punctuation), '#push'),
+            (r'([a-zA-Z_][a-zA-Z0-9_]*)(\()', bygroups(Name.Function, Punctuation), '#push'),
+            (words(('as', 'break', 'export', 'continue', 'else', 'for', 'if',
+                    'import', 'in', 'include', 'return', 'while'), suffix=r'\b'),
+             Keyword.Reserved),
+            (words(('auto', 'none', 'true', 'false'), suffix=r'\b'), Keyword.Constant),
+            (r'([0-9.]+)(mm|pt|cm|in|em|fr|%)', bygroups(Number, Keyword.Reserved)),
+            (words(('let', 'set', 'show'), suffix=r'\b'), Keyword.Declaration),
+            # FIXME: make this work
+            ## (r'(import|include)( *)(")([^"])(")',
+            ##  bygroups(Keyword.Reserved, Text, Punctuation, String.Double, Punctuation)),
+            include('common'),
+        ],
+        'inline_code': [
+            (r';$', Punctuation, '#pop'),
+            include('code'),
+        ],
+    }

data/vendor/pygments-main/pygments/lexers/ul4.py

@@ -4,9 +4,7 @@
 
     Lexer for the UL4 templating language.
 
-    More information: https://python.livinglogic.de/UL4.html
-
-    :copyright: Copyright 2006-2023 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 
@@ -25,8 +23,6 @@ __all__ = ['UL4Lexer', 'HTMLUL4Lexer', 'XMLUL4Lexer', 'CSSUL4Lexer',
 class UL4Lexer(RegexLexer):
     """
     Generic lexer for UL4.
-
-    .. versionadded:: 2.12
     """
 
     flags = re.MULTILINE | re.DOTALL
@@ -34,6 +30,8 @@ class UL4Lexer(RegexLexer):
     name = 'UL4'
     aliases = ['ul4']
     filenames = ['*.ul4']
+    url = 'https://python.livinglogic.de/UL4.html'
+    version_added = '2.12'
 
     tokens = {
         "root": [
@@ -52,12 +50,26 @@ class UL4Lexer(RegexLexer):
                          Text.Whitespace, Name.Function),
                 "ul4", # Switch to "expression" mode
             ),
+            (
+                # Comment:
+                # ``<?note?>...<?end note?>``
+                r"<\?\s*note\s*\?>",
+                Comment,
+                "note", # Switch to "note" mode
+            ),
             (
                 # Comment:
                 # ``<?note foobar?>``
                 r"<\?\s*note\s.*?\?>",
                 Comment,
             ),
+            (
+                # Template documentation:
+                # ``<?doc?>...<?end doc?>``
+                r"<\?\s*doc\s*\?>",
+                String.Doc,
+                "doc",
+            ),
             (
                 # Template documentation:
                 # ``<?doc foobar?>``
@@ -113,6 +125,26 @@ class UL4Lexer(RegexLexer):
             (r"[^<]+", Comment),
             (r".", Comment),
         ],
+        # Note mode ignores everything upto the matching ``<?end note?>`` tag
+        "note": [
+            # Nested ``<?note?>`` tag
+            (r"<\?\s*note\s*\?>", Comment, "#push"),
+            # ``<?end note?>`` tag
+            (r"<\?\s*end\s+note\s*\?>", Comment, "#pop"),
+            # Everything else
+            (r"[^<]+", Comment),
+            (r".", Comment),
+        ],
+        # Doc mode ignores everything upto the matching ``<?end doc?>`` tag
+        "doc": [
+            # Nested ``<?doc?>`` tag
+            (r"<\?\s*doc\s*\?>", String.Doc, "#push"),
+            # ``<?end doc?>`` tag
+            (r"<\?\s*end\s+doc\s*\?>", String.Doc, "#pop"),
+            # Everything else
+            (r"[^<]+", String.Doc),
+            (r".", String.Doc),
+        ],
         # UL4 expressions
         "ul4": [
             # End the tag
@@ -210,6 +242,8 @@ class HTMLUL4Lexer(DelegatingLexer):
     name = 'HTML+UL4'
     aliases = ['html+ul4']
     filenames = ['*.htmlul4']
+    url = 'https://python.livinglogic.de/UL4.html'
+    version_added = ''
 
     def __init__(self, **options):
         super().__init__(HtmlLexer, UL4Lexer, **options)
@@ -223,6 +257,8 @@ class XMLUL4Lexer(DelegatingLexer):
     name = 'XML+UL4'
     aliases = ['xml+ul4']
     filenames = ['*.xmlul4']
+    url = 'https://python.livinglogic.de/UL4.html'
+    version_added = ''
 
     def __init__(self, **options):
         super().__init__(XmlLexer, UL4Lexer, **options)
@@ -236,6 +272,8 @@ class CSSUL4Lexer(DelegatingLexer):
     name = 'CSS+UL4'
     aliases = ['css+ul4']
     filenames = ['*.cssul4']
+    url = 'https://python.livinglogic.de/UL4.html'
+    version_added = ''
 
     def __init__(self, **options):
         super().__init__(CssLexer, UL4Lexer, **options)
@@ -249,6 +287,8 @@ class JavascriptUL4Lexer(DelegatingLexer):
     name = 'Javascript+UL4'
     aliases = ['js+ul4']
     filenames = ['*.jsul4']
+    url = 'https://python.livinglogic.de/UL4.html'
+    version_added = ''
 
     def __init__(self, **options):
         super().__init__(JavascriptLexer, UL4Lexer, **options)
@@ -262,6 +302,8 @@ class PythonUL4Lexer(DelegatingLexer):
     name = 'Python+UL4'
     aliases = ['py+ul4']
     filenames = ['*.pyul4']
+    url = 'https://python.livinglogic.de/UL4.html'
+    version_added = ''
 
     def __init__(self, **options):
         super().__init__(PythonLexer, UL4Lexer, **options)

data/vendor/pygments-main/pygments/lexers/unicon.py

@@ -4,7 +4,7 @@
 
     Lexers for the Icon and Unicon languages, including ucode VM.
 
-    :copyright: Copyright 2006-2023 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 
@@ -20,14 +20,14 @@ __all__ = ['IconLexer', 'UcodeLexer', 'UniconLexer']
 class UniconLexer(RegexLexer):
     """
     For Unicon source code.
-
-    .. versionadded:: 2.4
     """
 
     name = 'Unicon'
     aliases = ['unicon']
     filenames = ['*.icn']
     mimetypes = ['text/unicon']
+    url = 'https://www.unicon.org'
+    version_added = '2.4'
 
     flags = re.MULTILINE
 
@@ -166,13 +166,14 @@ class UniconLexer(RegexLexer):
 class IconLexer(RegexLexer):
     """
     Lexer for Icon.
-
-    .. versionadded:: 1.6
     """
     name = 'Icon'
     aliases = ['icon']
     filenames = ['*.icon', '*.ICON']
     mimetypes = []
+    url = 'https://www2.cs.arizona.edu/icon'
+    version_added = '1.6'
+
     flags = re.MULTILINE
 
     tokens = {
@@ -306,13 +307,14 @@ class IconLexer(RegexLexer):
 class UcodeLexer(RegexLexer):
     """
     Lexer for Icon ucode files.
-
-    .. versionadded:: 2.4
     """
     name = 'ucode'
     aliases = ['ucode']
     filenames = ['*.u', '*.u1', '*.u2']
     mimetypes = []
+    url = 'http://www.unicon.org'
+    version_added = '2.4'
+
     flags = re.MULTILINE
 
     tokens = {

data/vendor/pygments-main/pygments/lexers/urbi.py

@@ -4,7 +4,7 @@
 
     Lexers for UrbiScript language.
 
-    :copyright: Copyright 2006-2023 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 
@@ -20,14 +20,14 @@ __all__ = ['UrbiscriptLexer']
 class UrbiscriptLexer(ExtendedRegexLexer):
     """
     For UrbiScript source code.
-
-    .. versionadded:: 1.5
     """
 
     name = 'UrbiScript'
     aliases = ['urbiscript']
     filenames = ['*.u']
     mimetypes = ['application/x-urbiscript']
+    url = 'https://github.com/urbiforge/urbi'
+    version_added = '1.5'
 
     flags = re.DOTALL
 

data/vendor/pygments-main/pygments/lexers/usd.py

@@ -4,7 +4,7 @@
 
     The module that parses Pixar's Universal Scene Description file format.
 
-    :copyright: Copyright 2006-2023 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 
@@ -30,34 +30,29 @@ _WHITESPACE = r"([ \t]+)"
 class UsdLexer(RegexLexer):
     """
     A lexer that parses Pixar's Universal Scene Description file format.
-
-    .. versionadded:: 2.6
     """
 
     name = "USD"
     url = 'https://graphics.pixar.com/usd/release/index.html'
     aliases = ["usd", "usda"]
     filenames = ["*.usd", "*.usda"]
+    version_added = '2.6'
 
     tokens = {
         "root": [
-            (r"(custom){_WHITESPACE}(uniform)(\s+){}(\s+){}(\s*)(=)".format(
-                _TYPE, _BASE_ATTRIBUTE, _WHITESPACE=_WHITESPACE),
+            (rf"(custom){_WHITESPACE}(uniform)(\s+){_TYPE}(\s+){_BASE_ATTRIBUTE}(\s*)(=)",
              bygroups(Keyword.Token, Whitespace, Keyword.Token, Whitespace,
                       Keyword.Type, Whitespace, Name.Attribute, Text,
                       Name.Keyword.Tokens, Whitespace, Operator)),
-            (r"(custom){_WHITESPACE}{}(\s+){}(\s*)(=)".format(
-                _TYPE, _BASE_ATTRIBUTE, _WHITESPACE=_WHITESPACE),
+            (rf"(custom){_WHITESPACE}{_TYPE}(\s+){_BASE_ATTRIBUTE}(\s*)(=)",
              bygroups(Keyword.Token, Whitespace, Keyword.Type, Whitespace,
                       Name.Attribute, Text, Name.Keyword.Tokens, Whitespace,
                       Operator)),
-            (r"(uniform){_WHITESPACE}{}(\s+){}(\s*)(=)".format(
-                _TYPE, _BASE_ATTRIBUTE, _WHITESPACE=_WHITESPACE),
+            (rf"(uniform){_WHITESPACE}{_TYPE}(\s+){_BASE_ATTRIBUTE}(\s*)(=)",
              bygroups(Keyword.Token, Whitespace, Keyword.Type, Whitespace,
                       Name.Attribute, Text, Name.Keyword.Tokens, Whitespace,
                       Operator)),
-            (r"{}{_WHITESPACE}{}(\s*)(=)".format(
-                _TYPE, _BASE_ATTRIBUTE, _WHITESPACE=_WHITESPACE),
+            (rf"{_TYPE}{_WHITESPACE}{_BASE_ATTRIBUTE}(\s*)(=)",
              bygroups(Keyword.Type, Whitespace, Name.Attribute, Text,
                       Name.Keyword.Tokens, Whitespace, Operator)),
         ] +

data/vendor/pygments-main/pygments/lexers/varnish.py

@@ -4,7 +4,7 @@
 
     Lexers for Varnish configuration
 
-    :copyright: Copyright 2006-2023 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 
@@ -19,13 +19,13 @@ __all__ = ['VCLLexer', 'VCLSnippetLexer']
 class VCLLexer(RegexLexer):
     """
     For Varnish Configuration Language (VCL).
-
-    .. versionadded:: 2.2
     """
     name = 'VCL'
     aliases = ['vcl']
     filenames = ['*.vcl']
     mimetypes = ['text/x-vclsrc']
+    url = 'https://www.varnish-software.com/developers/tutorials/varnish-configuration-language-vcl'
+    version_added = '2.2'
 
     def analyse_text(text):
         # If the very first line is 'vcl 4.0;' it's pretty much guaranteed
@@ -160,13 +160,13 @@ class VCLLexer(RegexLexer):
 class VCLSnippetLexer(VCLLexer):
     """
     For Varnish Configuration Language snippets.
-
-    .. versionadded:: 2.2
     """
     name = 'VCLSnippets'
     aliases = ['vclsnippets', 'vclsnippet']
     mimetypes = ['text/x-vclsnippet']
     filenames = []
+    url = 'https://www.varnish-software.com/developers/tutorials/varnish-configuration-language-vcl'
+    version_added = '2.2'
 
     def analyse_text(text):
         # override method inherited from VCLLexer

data/vendor/pygments-main/pygments/lexers/verification.py

@@ -4,7 +4,7 @@
 
     Lexer for Intermediate Verification Languages (IVLs).
 
-    :copyright: Copyright 2006-2023 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 
@@ -18,13 +18,12 @@ __all__ = ['BoogieLexer', 'SilverLexer']
 class BoogieLexer(RegexLexer):
     """
     For Boogie source code.
-
-    .. versionadded:: 2.1
     """
     name = 'Boogie'
     url = 'https://boogie-docs.readthedocs.io/en/latest/'
     aliases = ['boogie']
     filenames = ['*.bpl']
+    version_added = '2.1'
 
     tokens = {
         'root': [
@@ -66,12 +65,12 @@ class BoogieLexer(RegexLexer):
 class SilverLexer(RegexLexer):
     """
     For Silver source code.
-
-    .. versionadded:: 2.2
     """
     name = 'Silver'
     aliases = ['silver']
     filenames = ['*.sil', '*.vpr']
+    url = 'https://github.com/viperproject/silver'
+    version_added = '2.2'
 
     tokens = {
         'root': [

data/vendor/pygments-main/pygments/lexers/verifpal.py

@@ -0,0 +1,65 @@
+"""
+    pygments.lexers.verifpal
+    ~~~~~~~~~~~~~~~~~~~~~~~~
+
+    Lexers for Verifpal languages.
+
+    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
+    :license: BSD, see LICENSE for details.
+"""
+
+from pygments.lexer import RegexLexer, words, bygroups, default
+from pygments.token import Comment, Keyword, Name, String, Punctuation, \
+    Whitespace
+
+__all__ = ['VerifpalLexer']
+
+
+class VerifpalLexer(RegexLexer):
+    """
+    For Verifpal code.
+    """
+
+    name = 'Verifpal'
+    aliases = ['verifpal']
+    filenames = ['*.vp']
+    mimetypes = ['text/x-verifpal']
+    url = 'https://verifpal.com'
+    version_added = '2.16'
+
+    tokens = {
+        'root': [
+            (r'//.*$', Comment.Single),
+            (r'(principal)( +)(\w+)( *)(\[)(.*)$', bygroups(Name.Builtin, Whitespace, String, Whitespace, Punctuation, Whitespace)),
+            (r'(attacker)( *)(\[)( *)(passive|active)( *)(\])( *)$', bygroups(Name.Builtin, Whitespace, Punctuation, Whitespace, String, Whitespace, Punctuation, Whitespace)),
+            (r'(knows)( +)(private|public)( +)', bygroups(Name.Builtin, Whitespace, Keyword.Constant, Whitespace), 'shared'),
+            (r'(queries)( +)(\[)', bygroups(Name.Builtin, Whitespace, Punctuation), 'queries'),
+            (r'(\w+)( +)(->|→)( *)(\w+)( *)(\:)', bygroups(String, Whitespace, Punctuation, Whitespace, String, Whitespace, Punctuation), 'shared'),
+            (words(('generates', 'leaks'), suffix=r'\b'), Name.Builtin, 'shared'),
+            (words(( 'phase', 'precondition',), suffix=r'\b'), Name.Builtin),
+            (r'[\[\(\)\]\?:=→^,]', Punctuation),
+            (r'->', Punctuation),
+            (words(('password',), suffix=r'\b'), Keyword.Constant),
+            (words(('AEAD_DEC', 'AEAD_ENC', 'ASSERT', 'BLIND', 'CONCAT',
+                    'DEC', 'ENC', 'G', 'HASH', 'HKDF', 'MAC', 'PKE_DEC',
+                    'PKE_ENC', 'PW_HASH', 'RINGSIGN', 'RINGSIGNVERIF',
+                    'SHAMIR_JOIN', 'SHAMIR_SPLIT', 'SIGN', 'SIGNVERIF',
+                    'SPLIT', 'UNBLIND', '_', 'nil'), suffix=r'\b'),
+             Name.Function),
+            (r'\s+', Whitespace),
+            (r'\w+', Name.Variable),
+        ],
+        'shared': [
+            (r'[\^\[\],]', Punctuation),
+            (r' +', Whitespace),
+            (r'\w+', Name.Variable),
+            default('#pop')
+        ],
+        'queries': [
+            (r'\s+', Name.Variable),
+            (words(('confidentiality?', 'authentication?', 'freshness?',
+                    'unlinkability?', 'equivalence?'), suffix='( )'),
+             bygroups(Keyword.Pseudo, Whitespace), 'shared'),
+            default('#pop')
+        ]
+    }