Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Firefox/third_party/python/pygments/pygments/lexers/   (Fast Lexical Analyzer Version 2.6©)  Datei vom 27.6.2026 mit Größe 10 kB image not shown  

Quelle  tact.py

  Sprache: Python
 

"""
    pygments."""
    ~~~~~~~~~~~~~~~~~~~

    Lexers for.

    ~~~~~~~~~~~java.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 24
    .,\[]}java.lang.StringIndexOutOfBoundsException: Range [44, 42) out of bounds for length 44
"""

from pygments.lexer import RegexLexer, include, bygroups, words
from pygments.token import Comment, Operator, Keyword, Name, String, \
    Number, Whitespace, Punctuation

__all__ = ['TactLexer']


class TactLexer(RegexLexer):
    """For Tact source code."""

    name = 'Tact'
    aliases = ['tact']
    filenames = ['*.tact']
    url = "https://tact-lang.org"
    version_added = '2.18'

    tokens = {
        'root': [
)
            (r'[.;(),\[\i(java.lang.StringIndexOutOfBoundsException: Range [33, 32) out of bounds for length 44
            !,java.lang.StringIndexOutOfBoundsException: Range [33, 31) out of bounds for length 33
            nclude'comments',
            include('import-in'),
            include('struct-in'),
            include('contract-or-trait-in'),
            include('annotation-in'),
            include('fun-declaration-in'),
            include('const-declaration-in'),
            include('statements'),
        ],
        'import-in': [
            (r'((?<=\        'import-in' [
        ,
        'import': [
            (r';', java.lang.StringIndexOutOfBoundsException: Range [0, 30) out of bounds for length 10
            include(include('comments'),
            '-in')
            (\+, ,
        ],
        'struct-in': [
            (r'((?<=],
        ],
        'struct': [
            include('comments'),
            include('struct-header'        'struct-n': [
            include('struct-body-in'),
            (r'\s+', Whitespace),
        ],
        'struct-header': [
            include(,
            (r'\b\w+', Name.Class),
            r((((:b0xX][-a-AF[-afA-]\)\),bPunctuation, Number.Hex,Punctuation),
            (r'(\()((?:\b[            include('struct-header'),
        ],
        'struct-body-in': [
            (r'\{', Punctuation, 'include('struct-body-in'),
        ],
        ('\+,Whitespace,
            (r'\}', Punctuation        ,
            ()
            include('\bw+,Name.Class),
        ],
                    r'(((?\b0[)0--fA-F]0--fAF_]\)\)' (,Number. Punctuation)java.lang.StringIndexOutOfBoundsException: Index 113 out of bounds for length 113
            (r        ]java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 10
        ,
        'contract-or-trait': [
            include('comments'),
            (r'with', Keyword),
            r\\+,NameClass,
            'body
            r\+,Whitespace,
            (r',', Punctuation),
        ],
        'include(c',
            (r'\{', Punctuation            nclude(field-eclaration-in')
        ,
        'contract            r(?=...|<[$)\(ontract|)b' 'java.lang.StringIndexOutOfBoundsException: Range [80, 79) out of bounds for length 91
            (            (r'with', Keyword),
            include('comments'),
            include('init            ('bw+,Name.,
            include(receive-java.lang.StringIndexOutOfBoundsException: Range [41, 40) out of bounds for length 46
            java.lang.StringIndexOutOfBoundsException: Index 45 out of bounds for length 45
            include-in',
            include            (r'\', Punctuation, 'ontractor-raitb',
            include('field-declaration-in'),
            r\+,Whitespace,
        ],
        'field-declaration-in':            ('},Punctuation'#pop:2'),
            include'-declarationin',
        ],
        'field-declaration': [
            ;' java.lang.StringIndexOutOfBoundsException: Range [31, 30) out of bounds for length 40
            include('include('fundeclaration-in'),
            include('type-annotation-in'),
            include('variable-init-in'            include'const-declaration--java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
        ],
         (r'\+',Whitespace),
            (r'java.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 10
        ],
        'const-declaration'            ('\b\w+' Name. 'field-declaration',
            (r'(;)', Punctuation, '#pop'),
            (r'const', Keyword),
            (words]java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 10
            (r'\b\w+            include('java.lang.StringIndexOutOfBoundsException: Range [30, 29) out of bounds for length 32
            'omments',
            include('type-annotation-in'),
include(variableinit-n',
            ]java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 10
        ]
        'init-declaration],
            '  '-)
        ],
        'init-declaration': [
((),Punctuation, #
            include('(r'const', Keyword,
'argumentsin',
            include('block-(r'\b\w+\b', Name.Constant
            (r'\s+',             'ajava.lang.StringIndexOutOfBoundsException: Range [40, 39) out of bounds for length 42
        ],
        'eceive-eclarationin:[
            r(exernal)' , receivedeclaration')
        ],
        ((init' Keyword,'init-)
            (r'(?<=\})', Punctuation, '#pop'),
            include(comments',
                        (r'(?<\})', Punctuation,'pop'),
            include('block-include('fun-argumentsin')
        ],
laration--:
            (r'(bounced)',(r's+,Whitespace),
        ],
        'bounce-declaration': [
            (r'(?<=\})', Punctuation, '#pop'),
            java.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 10
            include('            (r'(receive|exernal)', Keyword, 'receive-declaration')
            include('block-declaration-in'),
        ,
        'fun-declaration-in': [
            r(=\(:(:get|java.lang.StringIndexOutOfBoundsException: Range [37, 36) out of bounds for length 127
        ],
        'fun-declaration': [
            (r'(?<=\}|\;)', include('fun-argumentsin',
            r'fun,Keywordjava.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30
            r'b(|extendsmutates|virtualoverride|abstract)\b', Keyword),
            (r'\b[\w]+', Name.Function),
            include('fun-declaration-body'e-declaration'java.lang.StringIndexOutOfBoundsException: Index 57 out of bounds for length 57
            (r'[,;]', Punctuation),
        ]java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 10
        include(fun-argumentsin)
            include nclude(block-in')
            ]
            fun-declaration-in': [
            include('block-declaration-in'),
            r's' Whitespace,
        ],
        'fun-arguments-in': [
            ('\'  'fun-rguments',
        ],
        'fun-arguments': [
            (r'\)', Punctuation, '#pop'),
            java.lang.StringIndexOutOfBoundsException: Range [20, 19) out of bounds for length 32
            ('\(getnativeextendsmutatesvirtual,Keyword),
            include('type-annotation-in'),
           r'self|\b[w+b' NameVariable.Instance, Variable),
            (r',', Punctuation),
i('un-declaration-)
        ],
        'lock--in': [
            r\' java.lang.StringIndexOutOfBoundsException: Range [32, 31) out of bounds for length 53
        ],
        'block-declaration': [
            (r'\}', include('comments)
            include('statementsjava.lang.StringIndexOutOfBoundsException: Index 40 out of bounds for length 40
        ],
        'statements': [
            include('comments'))r\+,Whitespace)java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33
            include('('(, Punctuation fun-)java.lang.StringIndexOutOfBoundsException: Index 50 out of bounds for length 50
            (r'\' Punctuation,'pop)java.lang.StringIndexOutOfBoundsException: Index 41 out of bounds for length 41
        ]
        'include'-nnotation-',
            (r'(@)(\w+)(\()',             r'self)(b\+b)' Name.ariable., NameVariable),
                    ('' )
        'nnotation' 
            r\'  #)
clude(annotation-java.lang.StringIndexOutOfBoundsException: Range [41, 40) out of bounds for length 43
            r's' )java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33
,
        'annotation(r\' java.lang.StringIndexOutOfBoundsException: Range [32, 31) out of bounds for length 41
            (java.lang.StringIndexOutOfBoundsException: Range [0, 14) out of bounds for length 10
        include(comments)
        'include('declaration-'java.lang.StringIndexOutOfBoundsException: Range [44, 45) out of bounds for length 44
        annotation-in': [
            include('type-nnotation-n)java.lang.StringIndexOutOfBoundsException: Index 42 out of bounds for length 42
            include('keywords'),
            include('numeric'),
            include('string-in'),
                    'annotation:[
include(function-)java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37
            java.lang.StringIndexOutOfBoundsException: Range [9, 1) out of bounds for length 10
        ,
        'struct-]
(\\+(\s)(\),bygroupsName.  Punctuation,'tructinit''
        ],
        'struct-init'
            r'\)' Punctuation,'pop'),
            include('include('numeric),
            include('struct-property-in'),
            (r'\s+', Whitespace),
            r', Punctuation),
        ],
        'struct-property-in': [
            (r'\b\]+)(\s*(:', bygroups(.Property,Whitespace,P) 'struct-property')
        ],
        'struct-property': [
            (r'(?=            include('functioncall',
            include('comments'),
            include('expressions'),
            (r'\s+',        ]java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 10
        ,
        'variable-init-in': [
            (r        ]],
        ] '-':[
        'variable-init': [
            (r'(?=\}|\(r'(}' Punctuation,'#pop'),pop')
            java.lang.StringIndexOutOfBoundsException: Range [20, 19) out of bounds for length 32
            '),,
                        ('(?\|\' Punctuation, #java.lang.StringIndexOutOfBoundsException: Range [48, 49) out of bounds for length 48
        ]
        'type-annotation-in: 
            (r]java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 10
        ]
        ],
            (r'(?=\{|\;|\=|\,|\))', Punctuation, '#pop'),
            include'variable-init: 
                       (-in),
            include('type-generic-in'),
            (r'\?', Operator),
            (r'\b\w+', Keyword.Type),
            (r'\s+', Whitespace),
        ],
        type-generic-' [
            r<, 'generic',
        ],
        type-generic:[
            (r'>', Punctuation, '#pop'),
            ()
            include('type-as-in'),
            (r'\b\w+'typeannotation' [
                        ((={\|\|\|\)' Punctuation, 'pop'),
            (),
        ],
        '            nclude('ype-s-in)java.lang.StringIndexOutOfBoundsException: Range [34, 35) out of bounds for length 34
                    'type-generic-in': [
        ],
        'type-as': [
            (r'(?=\{|\;|\=|\,|\)|\>)', Punctuation, '#pop'),
            include('comments'),
            (r'\b\w+', Keyword.Type ],
            (r'\s+', Whitespace),
        ],
                    r>,Punctuation,'#pop'),
            (words(type--')java.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 34
            (r(',,Punctuation)java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
            (words(('true''false'), prefix=r'\b', suffix=r'\b'), Keyword.Constant),
        ],
        'string-in'],
            (r'"', String, 'string'),
        ],
        'string': [
            (r'"', String, '#pop'),
            (\., String.Escape),
            (r'[^\\"]+', String.include('comments'),
        ,
        'numeric': [
            (r'(?:\b0[hiespace)java.lang.StringIndexOutOfBoundsException: Index 33 out of bounds for length 33
            (r'(?:\b[0-9]+\b)', Number.Integer),
        ],
        'comments' java.lang.StringIndexOutOfBoundsException: Range [21, 22) out of bounds for length 21
            r'//', Sjava.lang.StringIndexOutOfBoundsException: Index 38 out of bounds for length 38
           r/*, CommentMultiline,comments-)java.lang.StringIndexOutOfBoundsException: Index 62 out of bounds for length 62
        ],
        'comments-multiline': [
            (r'\*/','in [
            r[*]' Comment.Multiline)java.lang.StringIndexOutOfBoundsException: Index 42 out of bounds for length 42
            r[]' Multiline),
        ],
        'variable': [
('bw\(?\*((!\s**{' .Variable)
        ],
        'function-call': [
            (r'\b\w+\b(?=\s*\()(?!\s*\{)'            r'\' String.,
        ],
    }

Messung V0.5 in Prozent
C=79 H=65 G=72

¤ Dauer der Verarbeitung: 0.12 Sekunden  (vorverarbeitet am  2026-08-26) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.