123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159 |
- /*---------------------------------------------------------------------------------------------
- * Copyright (c) Microsoft Corporation. All rights reserved.
- * Licensed under the MIT License. See License.txt in the project root for license information.
- *--------------------------------------------------------------------------------------------*/
- define(["require", "exports"], function (require, exports) {
- 'use strict';
- Object.defineProperty(exports, "__esModule", { value: true });
- exports.conf = {
- comments: {
- lineComment: '//',
- blockComment: ['/*', '*/'],
- },
- brackets: [['{', '}'], ['[', ']'], ['(', ')'], ['<', '>']],
- autoClosingPairs: [
- { open: '"', close: '"', notIn: ['string', 'comment'] },
- { open: '{', close: '}', notIn: ['string', 'comment'] },
- { open: '[', close: ']', notIn: ['string', 'comment'] },
- { open: '(', close: ')', notIn: ['string', 'comment'] },
- ]
- };
- exports.language = {
- defaultToken: '',
- tokenPostfix: '.aes',
- brackets: [
- { token: 'delimiter.curly', open: '{', close: '}' },
- { token: 'delimiter.parenthesis', open: '(', close: ')' },
- { token: 'delimiter.square', open: '[', close: ']' },
- { token: 'delimiter.angle', open: '<', close: '>' }
- ],
- keywords: [
- // Main keywords
- 'contract',
- 'library',
- 'entrypoint',
- 'function',
- 'stateful',
- 'state',
- 'hash',
- 'signature',
- 'tuple',
- 'list',
- 'address',
- 'string',
- 'bool',
- 'int',
- 'record',
- 'datatype',
- 'type',
- 'option',
- 'oracle',
- 'oracle_query',
- 'Call',
- 'Bits',
- 'Bytes',
- 'Oracle',
- 'String',
- 'Crypto',
- 'Address',
- 'Auth',
- 'Chain',
- 'None',
- 'Some',
- 'bits',
- 'bytes',
- 'event',
- 'let',
- 'map',
- 'private',
- 'public',
- 'true',
- 'false',
- 'var',
- 'if',
- 'else',
- 'throw'
- ],
- operators: [
- '=', '>', '<', '!', '~', '?', '::', ':',
- '==', '<=', '>=', '!=', '&&', '||', '++', '--',
- '+', '-', '*', '/', '&', '|', '^', '%', '<<',
- '>>', '>>>', '+=', '-=', '*=', '/=', '&=', '|=',
- '^=', '%=', '<<=', '>>=', '>>>='
- ],
- // we include these common regular expressions
- symbols: /[=><!~?:&|+\-*\/\^%]+/,
- escapes: /\\(?:[abfnrtv\\"']|x[0-9A-Fa-f]{1,4}|u[0-9A-Fa-f]{4}|U[0-9A-Fa-f]{8})/,
- integersuffix: /(ll|LL|u|U|l|L)?(ll|LL|u|U|l|L)?/,
- floatsuffix: /[fFlL]?/,
- // 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' },
- // [[ attributes ]].
- [/\[\[.*\]\]/, 'annotation'],
- // Preprocessor directive
- [/^\s*#\w+/, 'keyword'],
- //DataTypes
- [/int\d*/, 'keyword'],
- // delimiters and operators
- [/[{}()\[\]]/, '@brackets'],
- [/[<>](?!@symbols)/, '@brackets'],
- [/@symbols/, {
- cases: {
- '@operators': 'delimiter',
- '@default': ''
- }
- }],
- // numbers
- [/\d*\d+[eE]([\-+]?\d+)?(@floatsuffix)/, 'number.float'],
- [/\d*\.\d+([eE][\-+]?\d+)?(@floatsuffix)/, 'number.float'],
- [/0[xX][0-9a-fA-F']*[0-9a-fA-F](@integersuffix)/, 'number.hex'],
- [/0[0-7']*[0-7](@integersuffix)/, 'number.octal'],
- [/0[bB][0-1']*[0-1](@integersuffix)/, 'number.binary'],
- [/\d[\d']*\d(@integersuffix)/, 'number'],
- [/\d(@integersuffix)/, 'number'],
- // delimiter: after number because of .\d floats
- [/[;,.]/, 'delimiter'],
- // strings
- [/"([^"\\]|\\.)*$/, 'string.invalid'],
- [/"/, 'string', '@string'],
- // characters
- [/'[^\\']'/, 'string'],
- [/(')(@escapes)(')/, ['string', 'string.escape', 'string']],
- [/'/, 'string.invalid']
- ],
- whitespace: [
- [/[ \t\r\n]+/, ''],
- [/\/\*\*(?!\/)/, 'comment.doc', '@doccomment'],
- [/\/\*/, 'comment', '@comment'],
- [/\/\/.*$/, 'comment'],
- ],
- comment: [
- [/[^\/*]+/, 'comment'],
- [/\*\//, 'comment', '@pop'],
- [/[\/*]/, 'comment']
- ],
- //Identical copy of comment above, except for the addition of .doc
- doccomment: [
- [/[^\/*]+/, 'comment.doc'],
- [/\*\//, 'comment.doc', '@pop'],
- [/[\/*]/, 'comment.doc']
- ],
- string: [
- [/[^\\"]+/, 'string'],
- [/@escapes/, 'string.escape'],
- [/\\./, 'string.escape.invalid'],
- [/"/, 'string', '@pop']
- ],
- },
- };
- });
|