forked from Gitlink/build
131 lines
4.8 KiB
JavaScript
131 lines
4.8 KiB
JavaScript
(window["webpackJsonp"] = window["webpackJsonp"] || []).push([[52],{
|
|
|
|
/***/ "ywQP":
|
|
/*!**********************************************************************************!*\
|
|
!*** ./node_modules/monaco-editor/esm/vs/basic-languages/pascaligo/pascaligo.js ***!
|
|
\**********************************************************************************/
|
|
/*! exports provided: conf, language */
|
|
/*! all exports used */
|
|
/*! ModuleConcatenation bailout: Module is referenced from these modules with unsupported syntax: ./node_modules/monaco-editor/esm/vs/basic-languages/pascaligo/pascaligo.contribution.js (referenced with import()) */
|
|
/***/ (function(module, __webpack_exports__, __webpack_require__) {
|
|
|
|
"use strict";
|
|
__webpack_require__.r(__webpack_exports__);
|
|
/* harmony export (binding) */ __webpack_require__.d(__webpack_exports__, "conf", function() { return conf; });
|
|
/* harmony export (binding) */ __webpack_require__.d(__webpack_exports__, "language", function() { return language; });
|
|
/*---------------------------------------------------------------------------------------------
|
|
* Copyright (c) Microsoft Corporation. All rights reserved.
|
|
* Licensed under the MIT License. See License.txt in the project root for license information.
|
|
*--------------------------------------------------------------------------------------------*/
|
|
|
|
var 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: '\'' },
|
|
]
|
|
};
|
|
var 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'],
|
|
],
|
|
},
|
|
};
|
|
|
|
|
|
/***/ })
|
|
|
|
}]); |