{"version":3,"file":"static/js/8272.3510f1f3.chunk.js","mappings":";2KAQA,IAAIA,EAAO,CACTC,SAAU,CACRC,YAAa,KAEfC,SAAU,CACR,CAAC,IAAK,KACN,CAAC,IAAK,KACN,CAAC,IAAK,MAERC,iBAAkB,CAChB,CAAEC,KAAM,IAAKC,MAAO,KACpB,CAAED,KAAM,IAAKC,MAAO,KACpB,CAAED,KAAM,IAAKC,MAAO,MAEtBC,iBAAkB,CAChB,CAAEF,KAAM,IAAKC,MAAO,KACpB,CAAED,KAAM,IAAKC,MAAO,KACpB,CAAED,KAAM,IAAKC,MAAO,OAGpBE,EAAW,CACbC,aAAc,GACdC,aAAc,OACdP,SAAU,CACR,CAAEE,KAAM,IAAKC,MAAO,IAAKK,MAAO,oBAChC,CAAEN,KAAM,IAAKC,MAAO,IAAKK,MAAO,mBAChC,CAAEN,KAAM,IAAKC,MAAO,IAAKK,MAAO,0BAElCC,SAAU,CACR,KACA,KACA,MACA,OACA,MACA,SACA,QACA,SACA,QACA,YACA,mBACA,QACA,KACA,KACA,QAEFC,QAAS,OACTC,WAAY,2BACZC,WAAY,aACZC,UAAW,CACTC,KAAM,CACJ,CAAEC,QAAS,eACX,CAAC,WAAY,WACb,CACE,mBACA,CACEC,MAAO,CACL,OAAQ,CAAER,MAAO,cACjB,YAAa,CACXQ,MAAO,CACL,QAAS,CAAER,MAAO,aAAcS,KAAM,SACtC,WAAY,CAAET,MAAO,aAAcS,KAAM,iBAG7C,WAAY,CAAET,MAAO,iBAI3B,CAAC,cAAe,cAChB,CAAC,cAAe,WAElBU,WAAY,CAAC,CAAC,aAAc,KAC5BC,KAAM,CAAC,CAAEJ,QAAS,eAAiB,CAAC,MAAO,CAAEP,MAAO,OAAQS,KAAM,UAClEG,WAAY,CACV,CACE,aACA,CACEJ,MAAO,CACL,OAAQ,CAAER,MAAO,GAAIS,KAAM,QAC3B,WAAY,MAIlB,CAAC,WAAY,UAAW,QACxB,CACE,aACA,CACED,MAAO,CACL,OAAQ,CAAER,MAAO,YAAaS,KAAM,QACpC,WAAY,eAIlB,CACE,SACA,CACED,MAAO,CACL,OAAQ,CAAER,MAAO,SAAUS,KAAM,QACjC,WAAY,YAIlB,CACE,cACA,CACED,MAAO,CACL,OAAQ,CAAER,MAAO,aAAcS,KAAM,QACrC,WAAY,gBAIlB,CACE,OACA,CACED,MAAO,CACL,OAAQ,CAAER,MAAO,YAAaS,KAAM,QACpC,WAAY","sources":["../node_modules/monaco-editor/esm/vs/basic-languages/pla/pla.js"],"sourcesContent":["/*!-----------------------------------------------------------------------------\n * Copyright (c) Microsoft Corporation. All rights reserved.\n * Version: 0.34.0(9d278685b078158491964f8fd7ac9628fffa0f30)\n * Released under the MIT license\n * https://github.com/microsoft/monaco-editor/blob/main/LICENSE.txt\n *-----------------------------------------------------------------------------*/\n\n// src/basic-languages/pla/pla.ts\nvar conf = {\n  comments: {\n    lineComment: \"#\"\n  },\n  brackets: [\n    [\"[\", \"]\"],\n    [\"<\", \">\"],\n    [\"(\", \")\"]\n  ],\n  autoClosingPairs: [\n    { open: \"[\", close: \"]\" },\n    { open: \"<\", close: \">\" },\n    { open: \"(\", close: \")\" }\n  ],\n  surroundingPairs: [\n    { open: \"[\", close: \"]\" },\n    { open: \"<\", close: \">\" },\n    { open: \"(\", close: \")\" }\n  ]\n};\nvar language = {\n  defaultToken: \"\",\n  tokenPostfix: \".pla\",\n  brackets: [\n    { open: \"[\", close: \"]\", token: \"delimiter.square\" },\n    { open: \"<\", close: \">\", token: \"delimiter.angle\" },\n    { open: \"(\", close: \")\", token: \"delimiter.parenthesis\" }\n  ],\n  keywords: [\n    \".i\",\n    \".o\",\n    \".mv\",\n    \".ilb\",\n    \".ob\",\n    \".label\",\n    \".type\",\n    \".phase\",\n    \".pair\",\n    \".symbolic\",\n    \".symbolic-output\",\n    \".kiss\",\n    \".p\",\n    \".e\",\n    \".end\"\n  ],\n  comment: /#.*$/,\n  identifier: /[a-zA-Z]+[a-zA-Z0-9_\\-]*/,\n  plaContent: /[01\\-~\\|]+/,\n  tokenizer: {\n    root: [\n      { include: \"@whitespace\" },\n      [/@comment/, \"comment\"],\n      [\n        /\\.([a-zA-Z_\\-]+)/,\n        {\n          cases: {\n            \"@eos\": { token: \"keyword.$1\" },\n            \"@keywords\": {\n              cases: {\n                \".type\": { token: \"keyword.$1\", next: \"@type\" },\n                \"@default\": { token: \"keyword.$1\", next: \"@keywordArg\" }\n              }\n            },\n            \"@default\": { token: \"keyword.$1\" }\n          }\n        }\n      ],\n      [/@identifier/, \"identifier\"],\n      [/@plaContent/, \"string\"]\n    ],\n    whitespace: [[/[ \\t\\r\\n]+/, \"\"]],\n    type: [{ include: \"@whitespace\" }, [/\\w+/, { token: \"type\", next: \"@pop\" }]],\n    keywordArg: [\n      [\n        /[ \\t\\r\\n]+/,\n        {\n          cases: {\n            \"@eos\": { token: \"\", next: \"@pop\" },\n            \"@default\": \"\"\n          }\n        }\n      ],\n      [/@comment/, \"comment\", \"@pop\"],\n      [\n        /[<>()\\[\\]]/,\n        {\n          cases: {\n            \"@eos\": { token: \"@brackets\", next: \"@pop\" },\n            \"@default\": \"@brackets\"\n          }\n        }\n      ],\n      [\n        /\\-?\\d+/,\n        {\n          cases: {\n            \"@eos\": { token: \"number\", next: \"@pop\" },\n            \"@default\": \"number\"\n          }\n        }\n      ],\n      [\n        /@identifier/,\n        {\n          cases: {\n            \"@eos\": { token: \"identifier\", next: \"@pop\" },\n            \"@default\": \"identifier\"\n          }\n        }\n      ],\n      [\n        /[;=]/,\n        {\n          cases: {\n            \"@eos\": { token: \"delimiter\", next: \"@pop\" },\n            \"@default\": \"delimiter\"\n          }\n        }\n      ]\n    ]\n  }\n};\nexport {\n  conf,\n  language\n};\n"],"names":["conf","comments","lineComment","brackets","autoClosingPairs","open","close","surroundingPairs","language","defaultToken","tokenPostfix","token","keywords","comment","identifier","plaContent","tokenizer","root","include","cases","next","whitespace","type","keywordArg"],"sourceRoot":""}