pascaligo.js 4.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186
  1. "use strict";
  2. /*!-----------------------------------------------------------------------------
  3. * Copyright (c) Microsoft Corporation. All rights reserved.
  4. * Version: 0.38.0(0e330ae453813de4e6cf272460fb79c7117073d0)
  5. * Released under the MIT license
  6. * https://github.com/microsoft/monaco-editor/blob/main/LICENSE.txt
  7. *-----------------------------------------------------------------------------*/
  8. define("vs/basic-languages/pascaligo/pascaligo", ["require"],(require)=>{
  9. var moduleExports = (() => {
  10. var __defProp = Object.defineProperty;
  11. var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
  12. var __getOwnPropNames = Object.getOwnPropertyNames;
  13. var __hasOwnProp = Object.prototype.hasOwnProperty;
  14. var __export = (target, all) => {
  15. for (var name in all)
  16. __defProp(target, name, { get: all[name], enumerable: true });
  17. };
  18. var __copyProps = (to, from, except, desc) => {
  19. if (from && typeof from === "object" || typeof from === "function") {
  20. for (let key of __getOwnPropNames(from))
  21. if (!__hasOwnProp.call(to, key) && key !== except)
  22. __defProp(to, key, { get: () => from[key], enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable });
  23. }
  24. return to;
  25. };
  26. var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
  27. // src/basic-languages/pascaligo/pascaligo.ts
  28. var pascaligo_exports = {};
  29. __export(pascaligo_exports, {
  30. conf: () => conf,
  31. language: () => language
  32. });
  33. var conf = {
  34. comments: {
  35. lineComment: "//",
  36. blockComment: ["(*", "*)"]
  37. },
  38. brackets: [
  39. ["{", "}"],
  40. ["[", "]"],
  41. ["(", ")"],
  42. ["<", ">"]
  43. ],
  44. autoClosingPairs: [
  45. { open: "{", close: "}" },
  46. { open: "[", close: "]" },
  47. { open: "(", close: ")" },
  48. { open: "<", close: ">" },
  49. { open: "'", close: "'" }
  50. ],
  51. surroundingPairs: [
  52. { open: "{", close: "}" },
  53. { open: "[", close: "]" },
  54. { open: "(", close: ")" },
  55. { open: "<", close: ">" },
  56. { open: "'", close: "'" }
  57. ]
  58. };
  59. var language = {
  60. defaultToken: "",
  61. tokenPostfix: ".pascaligo",
  62. ignoreCase: true,
  63. brackets: [
  64. { open: "{", close: "}", token: "delimiter.curly" },
  65. { open: "[", close: "]", token: "delimiter.square" },
  66. { open: "(", close: ")", token: "delimiter.parenthesis" },
  67. { open: "<", close: ">", token: "delimiter.angle" }
  68. ],
  69. keywords: [
  70. "begin",
  71. "block",
  72. "case",
  73. "const",
  74. "else",
  75. "end",
  76. "fail",
  77. "for",
  78. "from",
  79. "function",
  80. "if",
  81. "is",
  82. "nil",
  83. "of",
  84. "remove",
  85. "return",
  86. "skip",
  87. "then",
  88. "type",
  89. "var",
  90. "while",
  91. "with",
  92. "option",
  93. "None",
  94. "transaction"
  95. ],
  96. typeKeywords: [
  97. "bool",
  98. "int",
  99. "list",
  100. "map",
  101. "nat",
  102. "record",
  103. "string",
  104. "unit",
  105. "address",
  106. "map",
  107. "mtz",
  108. "xtz"
  109. ],
  110. operators: [
  111. "=",
  112. ">",
  113. "<",
  114. "<=",
  115. ">=",
  116. "<>",
  117. ":",
  118. ":=",
  119. "and",
  120. "mod",
  121. "or",
  122. "+",
  123. "-",
  124. "*",
  125. "/",
  126. "@",
  127. "&",
  128. "^",
  129. "%"
  130. ],
  131. symbols: /[=><:@\^&|+\-*\/\^%]+/,
  132. tokenizer: {
  133. root: [
  134. [
  135. /[a-zA-Z_][\w]*/,
  136. {
  137. cases: {
  138. "@keywords": { token: "keyword.$0" },
  139. "@default": "identifier"
  140. }
  141. }
  142. ],
  143. { include: "@whitespace" },
  144. [/[{}()\[\]]/, "@brackets"],
  145. [/[<>](?!@symbols)/, "@brackets"],
  146. [
  147. /@symbols/,
  148. {
  149. cases: {
  150. "@operators": "delimiter",
  151. "@default": ""
  152. }
  153. }
  154. ],
  155. [/\d*\.\d+([eE][\-+]?\d+)?/, "number.float"],
  156. [/\$[0-9a-fA-F]{1,16}/, "number.hex"],
  157. [/\d+/, "number"],
  158. [/[;,.]/, "delimiter"],
  159. [/'([^'\\]|\\.)*$/, "string.invalid"],
  160. [/'/, "string", "@string"],
  161. [/'[^\\']'/, "string"],
  162. [/'/, "string.invalid"],
  163. [/\#\d+/, "string"]
  164. ],
  165. comment: [
  166. [/[^\(\*]+/, "comment"],
  167. [/\*\)/, "comment", "@pop"],
  168. [/\(\*/, "comment"]
  169. ],
  170. string: [
  171. [/[^\\']+/, "string"],
  172. [/\\./, "string.escape.invalid"],
  173. [/'/, { token: "string.quote", bracket: "@close", next: "@pop" }]
  174. ],
  175. whitespace: [
  176. [/[ \t\r\n]+/, "white"],
  177. [/\(\*/, "comment", "@comment"],
  178. [/\/\/.*$/, "comment"]
  179. ]
  180. }
  181. };
  182. return __toCommonJS(pascaligo_exports);
  183. })();
  184. return moduleExports;
  185. });