zyAdmin/node_modules/monaco-editor/dev/vs/basic-languages/pascaligo/pascaligo.js

/*---------------------------------------------------------------------------------------------
 *  Copyright (c) Microsoft Corporation. All rights reserved.
 *  Licensed under the MIT License. See License.txt in the project root for license information.
 *--------------------------------------------------------------------------------------------*/
define('vs/basic-languages/pascaligo/pascaligo',["require", "exports"], function (require, exports) {
    "use strict";
    Object.defineProperty(exports, "__esModule", { value: true });
    exports.language = exports.conf = void 0;
    exports.conf = {
        comments: {
            lineComment: '//',
            blockComment: ['(*', '*)']
        },
        brackets: [
            ['{', '}'],
            ['[', ']'],
            ['(', ')'],
            ['<', '>']
        ],
        autoClosingPairs: [
            { open: '{', close: '}' },
            { open: '[', close: ']' },
            { open: '(', close: ')' },
            { open: '<', close: '>' },
            { open: "'", close: "'" }
        ],
        surroundingPairs: [
            { open: '{', close: '}' },
            { open: '[', close: ']' },
            { open: '(', close: ')' },
            { open: '<', close: '>' },
            { open: "'", close: "'" }
        ]
    };
    exports.language = {
        defaultToken: '',
        tokenPostfix: '.pascaligo',
        ignoreCase: true,
        brackets: [
            { open: '{', close: '}', token: 'delimiter.curly' },
            { open: '[', close: ']', token: 'delimiter.square' },
            { open: '(', close: ')', token: 'delimiter.parenthesis' },
            { open: '<', close: '>', token: 'delimiter.angle' }
        ],
        keywords: [
            'begin',
            'block',
            'case',
            'const',
            'else',
            'end',
            'fail',
            'for',
            'from',
            'function',
            'if',
            'is',
            'nil',
            'of',
            'remove',
            'return',
            'skip',
            'then',
            'type',
            'var',
            'while',
            'with',
            'option',
            'None',
            'transaction'
        ],
        typeKeywords: [
            'bool',
            'int',
            'list',
            'map',
            'nat',
            'record',
            'string',
            'unit',
            'address',
            'map',
            'mtz',
            'xtz'
        ],
        operators: [
            '=',
            '>',
            '<',
            '<=',
            '>=',
            '<>',
            ':',
            ':=',
            'and',
            'mod',
            'or',
            '+',
            '-',
            '*',
            '/',
            '@',
            '&',
            '^',
            '%'
        ],
        // we include these common regular expressions
        symbols: /[=><:@\^&|+\-*\/\^%]+/,
        // The main tokenizer for our languages
        tokenizer: {
            root: [
                // identifiers and keywords
                [
                    /[a-zA-Z_][\w]*/,
                    {
                        cases: {
                            '@keywords': { token: 'keyword.$0' },
                            '@default': 'identifier'
                        }
                    }
                ],
                // whitespace
                { include: '@whitespace' },
                // delimiters and operators
                [/[{}()\[\]]/, '@brackets'],
                [/[<>](?!@symbols)/, '@brackets'],
                [
                    /@symbols/,
                    {
                        cases: {
                            '@operators': 'delimiter',
                            '@default': ''
                        }
                    }
                ],
                // numbers
                [/\d*\.\d+([eE][\-+]?\d+)?/, 'number.float'],
                [/\$[0-9a-fA-F]{1,16}/, 'number.hex'],
                [/\d+/, 'number'],
                // delimiter: after number because of .\d floats
                [/[;,.]/, 'delimiter'],
                // strings
                [/'([^'\\]|\\.)*$/, 'string.invalid'],
                [/'/, 'string', '@string'],
                // characters
                [/'[^\\']'/, 'string'],
                [/'/, 'string.invalid'],
                [/\#\d+/, 'string']
            ],
            /* */
            comment: [
                [/[^\(\*]+/, 'comment'],
                //[/\(\*/,    'comment', '@push' ],    // nested comment  not allowed :-(
                [/\*\)/, 'comment', '@pop'],
                [/\(\*/, 'comment']
            ],
            string: [
                [/[^\\']+/, 'string'],
                [/\\./, 'string.escape.invalid'],
                [/'/, { token: 'string.quote', bracket: '@close', next: '@pop' }]
            ],
            whitespace: [
                [/[ \t\r\n]+/, 'white'],
                [/\(\*/, 'comment', '@comment'],
                [/\/\/.*$/, 'comment']
            ]
        }
    };
});