easysql/node_modules/.vite/deps/pla-DIBL7AW6.js
2025-12-29 18:35:04 +08:00

143 lines
2.9 KiB
JavaScript

import "./chunk-DC5AMYBS.js";
// node_modules/monaco-editor/esm/vs/basic-languages/pla/pla.js
var conf = {
comments: {
lineComment: "#"
},
brackets: [
["[", "]"],
["<", ">"],
["(", ")"]
],
autoClosingPairs: [
{ open: "[", close: "]" },
{ open: "<", close: ">" },
{ open: "(", close: ")" }
],
surroundingPairs: [
{ open: "[", close: "]" },
{ open: "<", close: ">" },
{ open: "(", close: ")" }
]
};
var language = {
defaultToken: "",
tokenPostfix: ".pla",
brackets: [
{ open: "[", close: "]", token: "delimiter.square" },
{ open: "<", close: ">", token: "delimiter.angle" },
{ open: "(", close: ")", token: "delimiter.parenthesis" }
],
keywords: [
".i",
".o",
".mv",
".ilb",
".ob",
".label",
".type",
".phase",
".pair",
".symbolic",
".symbolic-output",
".kiss",
".p",
".e",
".end"
],
// regular expressions
comment: /#.*$/,
identifier: /[a-zA-Z]+[a-zA-Z0-9_\-]*/,
plaContent: /[01\-~\|]+/,
// The main tokenizer for our languages
tokenizer: {
root: [
// comments and whitespace
{ include: "@whitespace" },
[/@comment/, "comment"],
// keyword
[
/\.([a-zA-Z_\-]+)/,
{
cases: {
"@eos": { token: "keyword.$1" },
"@keywords": {
cases: {
".type": { token: "keyword.$1", next: "@type" },
"@default": { token: "keyword.$1", next: "@keywordArg" }
}
},
"@default": { token: "keyword.$1" }
}
}
],
// identifiers
[/@identifier/, "identifier"],
// PLA row
[/@plaContent/, "string"]
],
whitespace: [[/[ \t\r\n]+/, ""]],
type: [{ include: "@whitespace" }, [/\w+/, { token: "type", next: "@pop" }]],
keywordArg: [
// whitespace
[
/[ \t\r\n]+/,
{
cases: {
"@eos": { token: "", next: "@pop" },
"@default": ""
}
}
],
// comments
[/@comment/, "comment", "@pop"],
// brackets
[
/[<>()\[\]]/,
{
cases: {
"@eos": { token: "@brackets", next: "@pop" },
"@default": "@brackets"
}
}
],
// numbers
[
/\-?\d+/,
{
cases: {
"@eos": { token: "number", next: "@pop" },
"@default": "number"
}
}
],
// identifiers
[
/@identifier/,
{
cases: {
"@eos": { token: "identifier", next: "@pop" },
"@default": "identifier"
}
}
],
// delimiter
[
/[;=]/,
{
cases: {
"@eos": { token: "delimiter", next: "@pop" },
"@default": "delimiter"
}
}
]
]
}
};
export {
conf,
language
};
//# sourceMappingURL=pla-DIBL7AW6.js.map