pla.js 4.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159
  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/pla/pla", ["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/pla/pla.ts
  28. var pla_exports = {};
  29. __export(pla_exports, {
  30. conf: () => conf,
  31. language: () => language
  32. });
  33. var conf = {
  34. comments: {
  35. lineComment: "#"
  36. },
  37. brackets: [
  38. ["[", "]"],
  39. ["<", ">"],
  40. ["(", ")"]
  41. ],
  42. autoClosingPairs: [
  43. { open: "[", close: "]" },
  44. { open: "<", close: ">" },
  45. { open: "(", close: ")" }
  46. ],
  47. surroundingPairs: [
  48. { open: "[", close: "]" },
  49. { open: "<", close: ">" },
  50. { open: "(", close: ")" }
  51. ]
  52. };
  53. var language = {
  54. defaultToken: "",
  55. tokenPostfix: ".pla",
  56. brackets: [
  57. { open: "[", close: "]", token: "delimiter.square" },
  58. { open: "<", close: ">", token: "delimiter.angle" },
  59. { open: "(", close: ")", token: "delimiter.parenthesis" }
  60. ],
  61. keywords: [
  62. ".i",
  63. ".o",
  64. ".mv",
  65. ".ilb",
  66. ".ob",
  67. ".label",
  68. ".type",
  69. ".phase",
  70. ".pair",
  71. ".symbolic",
  72. ".symbolic-output",
  73. ".kiss",
  74. ".p",
  75. ".e",
  76. ".end"
  77. ],
  78. comment: /#.*$/,
  79. identifier: /[a-zA-Z]+[a-zA-Z0-9_\-]*/,
  80. plaContent: /[01\-~\|]+/,
  81. tokenizer: {
  82. root: [
  83. { include: "@whitespace" },
  84. [/@comment/, "comment"],
  85. [
  86. /\.([a-zA-Z_\-]+)/,
  87. {
  88. cases: {
  89. "@eos": { token: "keyword.$1" },
  90. "@keywords": {
  91. cases: {
  92. ".type": { token: "keyword.$1", next: "@type" },
  93. "@default": { token: "keyword.$1", next: "@keywordArg" }
  94. }
  95. },
  96. "@default": { token: "keyword.$1" }
  97. }
  98. }
  99. ],
  100. [/@identifier/, "identifier"],
  101. [/@plaContent/, "string"]
  102. ],
  103. whitespace: [[/[ \t\r\n]+/, ""]],
  104. type: [{ include: "@whitespace" }, [/\w+/, { token: "type", next: "@pop" }]],
  105. keywordArg: [
  106. [
  107. /[ \t\r\n]+/,
  108. {
  109. cases: {
  110. "@eos": { token: "", next: "@pop" },
  111. "@default": ""
  112. }
  113. }
  114. ],
  115. [/@comment/, "comment", "@pop"],
  116. [
  117. /[<>()\[\]]/,
  118. {
  119. cases: {
  120. "@eos": { token: "@brackets", next: "@pop" },
  121. "@default": "@brackets"
  122. }
  123. }
  124. ],
  125. [
  126. /\-?\d+/,
  127. {
  128. cases: {
  129. "@eos": { token: "number", next: "@pop" },
  130. "@default": "number"
  131. }
  132. }
  133. ],
  134. [
  135. /@identifier/,
  136. {
  137. cases: {
  138. "@eos": { token: "identifier", next: "@pop" },
  139. "@default": "identifier"
  140. }
  141. }
  142. ],
  143. [
  144. /[;=]/,
  145. {
  146. cases: {
  147. "@eos": { token: "delimiter", next: "@pop" },
  148. "@default": "delimiter"
  149. }
  150. }
  151. ]
  152. ]
  153. }
  154. };
  155. return __toCommonJS(pla_exports);
  156. })();
  157. return moduleExports;
  158. });