@pb33f/cowboy-components 0.0.13 → 0.1.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (219) hide show
  1. package/dist/abap-DXvTa7XC.js +1404 -0
  2. package/dist/apex-DsQH3mjJ.js +332 -0
  3. package/dist/assets/css.worker-B_qZXUzt.js +84 -0
  4. package/dist/assets/editor.worker-HEmB0D7P.js +11 -0
  5. package/dist/assets/html.worker-D3WUrk8Q.js +458 -0
  6. package/dist/assets/json.worker-CAhUaBo4.js +42 -0
  7. package/dist/assets/rule-documentation.worker-BFIxMBU8.js +1 -0
  8. package/dist/assets/search-problems.worker-VJi4P9Gj.js +1 -0
  9. package/dist/azcli-Cir32SBk.js +74 -0
  10. package/dist/bat-BsNExolo.js +106 -0
  11. package/dist/bicep-2KcKzeQF.js +108 -0
  12. package/dist/cameligo-D0ezznwE.js +180 -0
  13. package/dist/clojure-DxYzAIlu.js +767 -0
  14. package/dist/coffee-DgiPTF3g.js +238 -0
  15. package/dist/components/changelog/release.css.js +3 -3
  16. package/dist/components/editor/editor.d.ts +27 -0
  17. package/dist/components/editor/editor.js +192 -0
  18. package/dist/components/error-banner/error-banner.css.d.ts +2 -0
  19. package/dist/components/error-banner/error-banner.css.js +23 -0
  20. package/dist/components/error-banner/error-banner.d.ts +9 -0
  21. package/dist/components/error-banner/error-banner.js +40 -0
  22. package/dist/components/kv-view/kv-view.css.js +4 -0
  23. package/dist/components/paginator/paginator-events.d.ts +4 -0
  24. package/dist/components/paginator/paginator-events.js +4 -0
  25. package/dist/components/paginator/paginator-navigator.css.d.ts +2 -0
  26. package/dist/components/paginator/paginator-navigator.css.js +35 -0
  27. package/dist/components/paginator/paginator-navigator.d.ts +27 -0
  28. package/dist/components/paginator/paginator-navigator.js +168 -0
  29. package/dist/components/paginator/paginator.css.d.ts +2 -0
  30. package/dist/components/paginator/paginator.css.js +38 -0
  31. package/dist/components/paginator/paginator.d.ts +22 -0
  32. package/dist/components/paginator/paginator.js +122 -0
  33. package/dist/components/percent-bar/percent-bar.css.d.ts +2 -0
  34. package/dist/components/percent-bar/percent-bar.css.js +65 -0
  35. package/dist/components/percent-bar/percent-bar.d.ts +11 -0
  36. package/dist/components/percent-bar/percent-bar.js +85 -0
  37. package/dist/components/problem-list/details-drawer.css.d.ts +2 -0
  38. package/dist/components/problem-list/details-drawer.css.js +42 -0
  39. package/dist/components/problem-list/details-drawer.d.ts +22 -0
  40. package/dist/components/problem-list/details-drawer.js +66 -0
  41. package/dist/components/problem-list/filter.css.d.ts +2 -0
  42. package/dist/components/problem-list/filter.css.js +67 -0
  43. package/dist/components/problem-list/problem-item.css.d.ts +2 -0
  44. package/dist/components/problem-list/problem-item.css.js +170 -0
  45. package/dist/components/problem-list/problem-item.d.ts +27 -0
  46. package/dist/components/problem-list/problem-item.js +126 -0
  47. package/dist/components/problem-list/problem-label-view-filter.css.d.ts +2 -0
  48. package/dist/components/problem-list/problem-label-view-filter.css.js +6 -0
  49. package/dist/components/problem-list/problem-label-view-filter.d.ts +18 -0
  50. package/dist/components/problem-list/problem-label-view-filter.js +66 -0
  51. package/dist/components/problem-list/problem-list.css.d.ts +2 -0
  52. package/dist/components/problem-list/problem-list.css.js +59 -0
  53. package/dist/components/problem-list/problem-list.d.ts +37 -0
  54. package/dist/components/problem-list/problem-list.js +334 -0
  55. package/dist/components/problem-list/problem-mainview.css.d.ts +2 -0
  56. package/dist/components/problem-list/problem-mainview.css.js +100 -0
  57. package/dist/components/problem-list/problem-mainview.d.ts +20 -0
  58. package/dist/components/problem-list/problem-mainview.js +126 -0
  59. package/dist/components/problem-list/problem-rule-filter.d.ts +13 -0
  60. package/dist/components/problem-list/problem-rule-filter.js +67 -0
  61. package/dist/components/problem-list/problem-search-filter.d.ts +13 -0
  62. package/dist/components/problem-list/problem-search-filter.js +45 -0
  63. package/dist/components/problem-list/problem-sort-filter.d.ts +19 -0
  64. package/dist/components/problem-list/problem-sort-filter.js +67 -0
  65. package/dist/components/problem-list/problem-toolbar.css.d.ts +2 -0
  66. package/dist/components/problem-list/problem-toolbar.css.js +41 -0
  67. package/dist/components/problem-list/problem-toolbar.d.ts +14 -0
  68. package/dist/components/problem-list/problem-toolbar.js +63 -0
  69. package/dist/components/problem-list/shared.css.d.ts +2 -0
  70. package/dist/components/problem-list/shared.css.js +91 -0
  71. package/dist/components/problems-overview/diagnostic-evaluation.css.d.ts +2 -0
  72. package/dist/components/problems-overview/diagnostic-evaluation.css.js +178 -0
  73. package/dist/components/problems-overview/diagnostic-evaluation.d.ts +13 -0
  74. package/dist/components/problems-overview/diagnostic-evaluation.js +119 -0
  75. package/dist/components/problems-overview/document-statistic.css.d.ts +2 -0
  76. package/dist/components/problems-overview/document-statistic.css.js +16 -0
  77. package/dist/components/problems-overview/document-statistic.d.ts +10 -0
  78. package/dist/components/problems-overview/document-statistic.js +49 -0
  79. package/dist/components/problems-overview/problem-overview-group.css.d.ts +2 -0
  80. package/dist/components/problems-overview/problem-overview-group.css.js +84 -0
  81. package/dist/components/problems-overview/problem-overview-group.d.ts +17 -0
  82. package/dist/components/problems-overview/problem-overview-group.js +121 -0
  83. package/dist/components/problems-overview/problem-statistic.css.d.ts +2 -0
  84. package/dist/components/problems-overview/problem-statistic.css.js +40 -0
  85. package/dist/components/problems-overview/problem-statistic.d.ts +11 -0
  86. package/dist/components/problems-overview/problem-statistic.js +57 -0
  87. package/dist/components/problems-overview/problem-statistics.css.d.ts +2 -0
  88. package/dist/components/problems-overview/problem-statistics.css.js +46 -0
  89. package/dist/components/problems-overview/problem-statistics.d.ts +14 -0
  90. package/dist/components/problems-overview/problem-statistics.js +132 -0
  91. package/dist/components/problems-overview/problems-overview.css.d.ts +2 -0
  92. package/dist/components/problems-overview/problems-overview.css.js +49 -0
  93. package/dist/components/problems-overview/problems-overview.d.ts +21 -0
  94. package/dist/components/problems-overview/problems-overview.js +108 -0
  95. package/dist/components/render-json-path/render-json-path.css.d.ts +2 -0
  96. package/dist/components/render-json-path/render-json-path.css.js +86 -0
  97. package/dist/components/render-json-path/render-json-path.d.ts +11 -0
  98. package/dist/components/render-json-path/render-json-path.js +105 -0
  99. package/dist/components/the-doctor/settings.d.ts +5 -0
  100. package/dist/components/the-doctor/settings.js +22 -0
  101. package/dist/components/the-doctor/status-bar.css.d.ts +2 -0
  102. package/dist/components/the-doctor/status-bar.css.js +47 -0
  103. package/dist/components/the-doctor/status-bar.d.ts +12 -0
  104. package/dist/components/the-doctor/status-bar.js +71 -0
  105. package/dist/components/the-doctor/the-doctor.css.d.ts +2 -0
  106. package/dist/components/the-doctor/the-doctor.css.js +156 -0
  107. package/dist/components/the-doctor/the-doctor.d.ts +57 -0
  108. package/dist/components/the-doctor/the-doctor.js +340 -0
  109. package/dist/cowboy-components-FcPnnXMU.js +114388 -0
  110. package/dist/cowboy-components.d.ts +5 -2
  111. package/dist/cowboy-components.js +8 -2
  112. package/dist/cowboy-components.umd.cjs +4004 -106
  113. package/dist/cpp-Bq-GnYlH.js +407 -0
  114. package/dist/csharp-IDcibKAT.js +332 -0
  115. package/dist/csp-QdYr8JWa.js +59 -0
  116. package/dist/css/button.css.d.ts +2 -0
  117. package/dist/css/button.css.js +34 -0
  118. package/dist/css/chroma-synxtax.css.d.ts +2 -0
  119. package/dist/css/chroma-synxtax.css.js +130 -0
  120. package/dist/css/cowboy-components.css +3 -0
  121. package/dist/css/links.css.d.ts +2 -0
  122. package/dist/css/links.css.js +17 -0
  123. package/dist/css/lists.css.d.ts +2 -0
  124. package/dist/css/lists.css.js +43 -0
  125. package/dist/css/pb33f-theme.css +2 -2
  126. package/dist/css/syntax.css.js +1 -1
  127. package/dist/css-C-wMMefI.js +193 -0
  128. package/dist/cssMode-DcUlnXpV.js +1541 -0
  129. package/dist/cypher-BfBo9yir.js +269 -0
  130. package/dist/dart-Cv3rVfv_.js +287 -0
  131. package/dist/dockerfile-DyCXBGhV.js +136 -0
  132. package/dist/ecl-COP_iObm.js +462 -0
  133. package/dist/elixir-DoEhbk9F.js +575 -0
  134. package/dist/events/doctor.d.ts +51 -0
  135. package/dist/events/doctor.js +17 -0
  136. package/dist/flow9-DuHGSNW1.js +148 -0
  137. package/dist/freemarker2-sY6FVddl.js +995 -0
  138. package/dist/fsharp-Dv9PDxVO.js +223 -0
  139. package/dist/go-CcdAeqiK.js +224 -0
  140. package/dist/graphql-CoRm4b1H.js +157 -0
  141. package/dist/handlebars-BqznQEC5.js +425 -0
  142. package/dist/hcl-BSgAhV5f.js +189 -0
  143. package/dist/html-DBpY_ZT1.js +314 -0
  144. package/dist/htmlMode-Cf0lYQWN.js +1551 -0
  145. package/dist/ini-ewx9HLIq.js +77 -0
  146. package/dist/java-B5lwcbTy.js +238 -0
  147. package/dist/javascript-DRgEI2Yf.js +76 -0
  148. package/dist/jsonMode-CmuECwTh.js +1958 -0
  149. package/dist/julia-NCcg_P_q.js +517 -0
  150. package/dist/kotlin-BYlnmGrb.js +259 -0
  151. package/dist/less-DG4tqgOo.js +168 -0
  152. package/dist/lexon-CTTPcJLv.js +163 -0
  153. package/dist/liquid-DWVJYCIL.js +246 -0
  154. package/dist/lua-CxQ1RWuo.js +168 -0
  155. package/dist/m3-mHFfpmgx.js +216 -0
  156. package/dist/markdown-Dh6sYULt.js +235 -0
  157. package/dist/mdx-Bjcj5AvL.js +171 -0
  158. package/dist/mips-CNUcjHD1.js +204 -0
  159. package/dist/model/document-statistics.d.ts +40 -0
  160. package/dist/model/document-statistics.js +4 -0
  161. package/dist/model/how_to_fix.d.ts +4 -0
  162. package/dist/model/how_to_fix.js +1 -0
  163. package/dist/model/problem.d.ts +19 -0
  164. package/dist/model/problem.js +106 -0
  165. package/dist/model/rule_documentation.d.ts +5 -0
  166. package/dist/model/rule_documentation.js +1 -0
  167. package/dist/model/session.d.ts +5 -0
  168. package/dist/model/session.js +1 -0
  169. package/dist/msdax-ZvxFeKvs.js +381 -0
  170. package/dist/mysql-COjg31sJ.js +884 -0
  171. package/dist/objective-c-BqrCFBhT.js +189 -0
  172. package/dist/pascal-CUpkilAS.js +257 -0
  173. package/dist/pascaligo-nJfvRJ7x.js +170 -0
  174. package/dist/perl-CWsX6Ysg.js +632 -0
  175. package/dist/pgsql-DwgpEXC8.js +857 -0
  176. package/dist/php-CrbKyd62.js +506 -0
  177. package/dist/pla-JxXT6Kb-.js +143 -0
  178. package/dist/postiats-BOdnTRGv.js +913 -0
  179. package/dist/powerquery-DTkwcXGH.js +896 -0
  180. package/dist/powershell-Cx53dGpt.js +245 -0
  181. package/dist/protobuf-Dp9vE-l-.js +426 -0
  182. package/dist/pug-BSjKVjwP.js +408 -0
  183. package/dist/python-CiN6iAi3.js +282 -0
  184. package/dist/qsharp-C5P1RxY3.js +291 -0
  185. package/dist/r-sEMYnclc.js +249 -0
  186. package/dist/razor-B4jDf_4z.js +556 -0
  187. package/dist/redis-DbzUc-fU.js +308 -0
  188. package/dist/redshift-nrLijj1O.js +815 -0
  189. package/dist/restructuredtext-CIbGUl6T.js +180 -0
  190. package/dist/ruby-JcYJisWg.js +517 -0
  191. package/dist/rust-BgbFBFXH.js +349 -0
  192. package/dist/sb-hRFFChi7.js +121 -0
  193. package/dist/scala-Cs0yVo3Q.js +376 -0
  194. package/dist/scheme-l_0jNtxy.js +114 -0
  195. package/dist/scss-C4l7ZIRR.js +268 -0
  196. package/dist/services/linting-service.d.ts +12 -0
  197. package/dist/services/linting-service.js +121 -0
  198. package/dist/shell-ikLk_l24.js +227 -0
  199. package/dist/solidity-4GxCaH9e.js +1373 -0
  200. package/dist/sophia-tX0WEZsZ.js +205 -0
  201. package/dist/sparql-D7ky-uMk.js +207 -0
  202. package/dist/sql-CqEfBVGS.js +859 -0
  203. package/dist/st-CNWQPqyI.js +422 -0
  204. package/dist/style.css +1 -1
  205. package/dist/swift-C_fDfC0d.js +318 -0
  206. package/dist/systemverilog-gAvsEtN_.js +582 -0
  207. package/dist/tcl-KbBChuA6.js +238 -0
  208. package/dist/tsMode-29i0IHrU.js +886 -0
  209. package/dist/twig-Bb652BpM.js +398 -0
  210. package/dist/typescript-FDohSLaF.js +349 -0
  211. package/dist/vb-2e5hSeUh.js +378 -0
  212. package/dist/wgsl-CYSDq0zg.js +445 -0
  213. package/dist/workers/rule-documentation.worker.d.ts +1 -0
  214. package/dist/workers/rule-documentation.worker.js +85 -0
  215. package/dist/workers/search-problems.worker.d.ts +1 -0
  216. package/dist/workers/search-problems.worker.js +19 -0
  217. package/dist/xml-BdgdiRK4.js +101 -0
  218. package/dist/yaml-CJDq-Ud3.js +212 -0
  219. package/package.json +6 -4
@@ -0,0 +1,506 @@
1
+ /*!-----------------------------------------------------------------------------
2
+ * Copyright (c) Microsoft Corporation. All rights reserved.
3
+ * Version: 0.46.0(21007360cad28648bdf46282a2592cb47c3a7a6f)
4
+ * Released under the MIT license
5
+ * https://github.com/microsoft/monaco-editor/blob/main/LICENSE.txt
6
+ *-----------------------------------------------------------------------------*/
7
+ var e = {
8
+ wordPattern: /(-?\d*\.\d\w*)|([^\`\~\!\@\#\%\^\&\*\(\)\-\=\+\[\{\]\}\\\|\;\:\'\"\,\.\<\>\/\?\s]+)/g,
9
+ comments: {
10
+ lineComment: "//",
11
+ blockComment: ["/*", "*/"]
12
+ },
13
+ brackets: [
14
+ ["{", "}"],
15
+ ["[", "]"],
16
+ ["(", ")"]
17
+ ],
18
+ autoClosingPairs: [
19
+ { open: "{", close: "}", notIn: ["string"] },
20
+ { open: "[", close: "]", notIn: ["string"] },
21
+ { open: "(", close: ")", notIn: ["string"] },
22
+ { open: '"', close: '"', notIn: ["string"] },
23
+ { open: "'", close: "'", notIn: ["string", "comment"] }
24
+ ],
25
+ folding: {
26
+ markers: {
27
+ start: new RegExp("^\\s*(#|//)region\\b"),
28
+ end: new RegExp("^\\s*(#|//)endregion\\b")
29
+ }
30
+ }
31
+ }, t = {
32
+ defaultToken: "",
33
+ tokenPostfix: "",
34
+ // ignoreCase: true,
35
+ // The main tokenizer for our languages
36
+ tokenizer: {
37
+ root: [
38
+ [/<\?((php)|=)?/, { token: "@rematch", switchTo: "@phpInSimpleState.root" }],
39
+ [/<!DOCTYPE/, "metatag.html", "@doctype"],
40
+ [/<!--/, "comment.html", "@comment"],
41
+ [/(<)(\w+)(\/>)/, ["delimiter.html", "tag.html", "delimiter.html"]],
42
+ [/(<)(script)/, ["delimiter.html", { token: "tag.html", next: "@script" }]],
43
+ [/(<)(style)/, ["delimiter.html", { token: "tag.html", next: "@style" }]],
44
+ [/(<)([:\w]+)/, ["delimiter.html", { token: "tag.html", next: "@otherTag" }]],
45
+ [/(<\/)(\w+)/, ["delimiter.html", { token: "tag.html", next: "@otherTag" }]],
46
+ [/</, "delimiter.html"],
47
+ [/[^<]+/]
48
+ // text
49
+ ],
50
+ doctype: [
51
+ [/<\?((php)|=)?/, { token: "@rematch", switchTo: "@phpInSimpleState.comment" }],
52
+ [/[^>]+/, "metatag.content.html"],
53
+ [/>/, "metatag.html", "@pop"]
54
+ ],
55
+ comment: [
56
+ [/<\?((php)|=)?/, { token: "@rematch", switchTo: "@phpInSimpleState.comment" }],
57
+ [/-->/, "comment.html", "@pop"],
58
+ [/[^-]+/, "comment.content.html"],
59
+ [/./, "comment.content.html"]
60
+ ],
61
+ otherTag: [
62
+ [/<\?((php)|=)?/, { token: "@rematch", switchTo: "@phpInSimpleState.otherTag" }],
63
+ [/\/?>/, "delimiter.html", "@pop"],
64
+ [/"([^"]*)"/, "attribute.value"],
65
+ [/'([^']*)'/, "attribute.value"],
66
+ [/[\w\-]+/, "attribute.name"],
67
+ [/=/, "delimiter"],
68
+ [/[ \t\r\n]+/]
69
+ // whitespace
70
+ ],
71
+ // -- BEGIN <script> tags handling
72
+ // After <script
73
+ script: [
74
+ [/<\?((php)|=)?/, { token: "@rematch", switchTo: "@phpInSimpleState.script" }],
75
+ [/type/, "attribute.name", "@scriptAfterType"],
76
+ [/"([^"]*)"/, "attribute.value"],
77
+ [/'([^']*)'/, "attribute.value"],
78
+ [/[\w\-]+/, "attribute.name"],
79
+ [/=/, "delimiter"],
80
+ [
81
+ />/,
82
+ {
83
+ token: "delimiter.html",
84
+ next: "@scriptEmbedded.text/javascript",
85
+ nextEmbedded: "text/javascript"
86
+ }
87
+ ],
88
+ [/[ \t\r\n]+/],
89
+ // whitespace
90
+ [
91
+ /(<\/)(script\s*)(>)/,
92
+ ["delimiter.html", "tag.html", { token: "delimiter.html", next: "@pop" }]
93
+ ]
94
+ ],
95
+ // After <script ... type
96
+ scriptAfterType: [
97
+ [
98
+ /<\?((php)|=)?/,
99
+ {
100
+ token: "@rematch",
101
+ switchTo: "@phpInSimpleState.scriptAfterType"
102
+ }
103
+ ],
104
+ [/=/, "delimiter", "@scriptAfterTypeEquals"],
105
+ [
106
+ />/,
107
+ {
108
+ token: "delimiter.html",
109
+ next: "@scriptEmbedded.text/javascript",
110
+ nextEmbedded: "text/javascript"
111
+ }
112
+ ],
113
+ // cover invalid e.g. <script type>
114
+ [/[ \t\r\n]+/],
115
+ // whitespace
116
+ [/<\/script\s*>/, { token: "@rematch", next: "@pop" }]
117
+ ],
118
+ // After <script ... type =
119
+ scriptAfterTypeEquals: [
120
+ [
121
+ /<\?((php)|=)?/,
122
+ {
123
+ token: "@rematch",
124
+ switchTo: "@phpInSimpleState.scriptAfterTypeEquals"
125
+ }
126
+ ],
127
+ [
128
+ /"([^"]*)"/,
129
+ {
130
+ token: "attribute.value",
131
+ switchTo: "@scriptWithCustomType.$1"
132
+ }
133
+ ],
134
+ [
135
+ /'([^']*)'/,
136
+ {
137
+ token: "attribute.value",
138
+ switchTo: "@scriptWithCustomType.$1"
139
+ }
140
+ ],
141
+ [
142
+ />/,
143
+ {
144
+ token: "delimiter.html",
145
+ next: "@scriptEmbedded.text/javascript",
146
+ nextEmbedded: "text/javascript"
147
+ }
148
+ ],
149
+ // cover invalid e.g. <script type=>
150
+ [/[ \t\r\n]+/],
151
+ // whitespace
152
+ [/<\/script\s*>/, { token: "@rematch", next: "@pop" }]
153
+ ],
154
+ // After <script ... type = $S2
155
+ scriptWithCustomType: [
156
+ [
157
+ /<\?((php)|=)?/,
158
+ {
159
+ token: "@rematch",
160
+ switchTo: "@phpInSimpleState.scriptWithCustomType.$S2"
161
+ }
162
+ ],
163
+ [
164
+ />/,
165
+ {
166
+ token: "delimiter.html",
167
+ next: "@scriptEmbedded.$S2",
168
+ nextEmbedded: "$S2"
169
+ }
170
+ ],
171
+ [/"([^"]*)"/, "attribute.value"],
172
+ [/'([^']*)'/, "attribute.value"],
173
+ [/[\w\-]+/, "attribute.name"],
174
+ [/=/, "delimiter"],
175
+ [/[ \t\r\n]+/],
176
+ // whitespace
177
+ [/<\/script\s*>/, { token: "@rematch", next: "@pop" }]
178
+ ],
179
+ scriptEmbedded: [
180
+ [
181
+ /<\?((php)|=)?/,
182
+ {
183
+ token: "@rematch",
184
+ switchTo: "@phpInEmbeddedState.scriptEmbedded.$S2",
185
+ nextEmbedded: "@pop"
186
+ }
187
+ ],
188
+ [/<\/script/, { token: "@rematch", next: "@pop", nextEmbedded: "@pop" }]
189
+ ],
190
+ // -- END <script> tags handling
191
+ // -- BEGIN <style> tags handling
192
+ // After <style
193
+ style: [
194
+ [/<\?((php)|=)?/, { token: "@rematch", switchTo: "@phpInSimpleState.style" }],
195
+ [/type/, "attribute.name", "@styleAfterType"],
196
+ [/"([^"]*)"/, "attribute.value"],
197
+ [/'([^']*)'/, "attribute.value"],
198
+ [/[\w\-]+/, "attribute.name"],
199
+ [/=/, "delimiter"],
200
+ [
201
+ />/,
202
+ {
203
+ token: "delimiter.html",
204
+ next: "@styleEmbedded.text/css",
205
+ nextEmbedded: "text/css"
206
+ }
207
+ ],
208
+ [/[ \t\r\n]+/],
209
+ // whitespace
210
+ [
211
+ /(<\/)(style\s*)(>)/,
212
+ ["delimiter.html", "tag.html", { token: "delimiter.html", next: "@pop" }]
213
+ ]
214
+ ],
215
+ // After <style ... type
216
+ styleAfterType: [
217
+ [
218
+ /<\?((php)|=)?/,
219
+ {
220
+ token: "@rematch",
221
+ switchTo: "@phpInSimpleState.styleAfterType"
222
+ }
223
+ ],
224
+ [/=/, "delimiter", "@styleAfterTypeEquals"],
225
+ [
226
+ />/,
227
+ {
228
+ token: "delimiter.html",
229
+ next: "@styleEmbedded.text/css",
230
+ nextEmbedded: "text/css"
231
+ }
232
+ ],
233
+ // cover invalid e.g. <style type>
234
+ [/[ \t\r\n]+/],
235
+ // whitespace
236
+ [/<\/style\s*>/, { token: "@rematch", next: "@pop" }]
237
+ ],
238
+ // After <style ... type =
239
+ styleAfterTypeEquals: [
240
+ [
241
+ /<\?((php)|=)?/,
242
+ {
243
+ token: "@rematch",
244
+ switchTo: "@phpInSimpleState.styleAfterTypeEquals"
245
+ }
246
+ ],
247
+ [
248
+ /"([^"]*)"/,
249
+ {
250
+ token: "attribute.value",
251
+ switchTo: "@styleWithCustomType.$1"
252
+ }
253
+ ],
254
+ [
255
+ /'([^']*)'/,
256
+ {
257
+ token: "attribute.value",
258
+ switchTo: "@styleWithCustomType.$1"
259
+ }
260
+ ],
261
+ [
262
+ />/,
263
+ {
264
+ token: "delimiter.html",
265
+ next: "@styleEmbedded.text/css",
266
+ nextEmbedded: "text/css"
267
+ }
268
+ ],
269
+ // cover invalid e.g. <style type=>
270
+ [/[ \t\r\n]+/],
271
+ // whitespace
272
+ [/<\/style\s*>/, { token: "@rematch", next: "@pop" }]
273
+ ],
274
+ // After <style ... type = $S2
275
+ styleWithCustomType: [
276
+ [
277
+ /<\?((php)|=)?/,
278
+ {
279
+ token: "@rematch",
280
+ switchTo: "@phpInSimpleState.styleWithCustomType.$S2"
281
+ }
282
+ ],
283
+ [
284
+ />/,
285
+ {
286
+ token: "delimiter.html",
287
+ next: "@styleEmbedded.$S2",
288
+ nextEmbedded: "$S2"
289
+ }
290
+ ],
291
+ [/"([^"]*)"/, "attribute.value"],
292
+ [/'([^']*)'/, "attribute.value"],
293
+ [/[\w\-]+/, "attribute.name"],
294
+ [/=/, "delimiter"],
295
+ [/[ \t\r\n]+/],
296
+ // whitespace
297
+ [/<\/style\s*>/, { token: "@rematch", next: "@pop" }]
298
+ ],
299
+ styleEmbedded: [
300
+ [
301
+ /<\?((php)|=)?/,
302
+ {
303
+ token: "@rematch",
304
+ switchTo: "@phpInEmbeddedState.styleEmbedded.$S2",
305
+ nextEmbedded: "@pop"
306
+ }
307
+ ],
308
+ [/<\/style/, { token: "@rematch", next: "@pop", nextEmbedded: "@pop" }]
309
+ ],
310
+ // -- END <style> tags handling
311
+ phpInSimpleState: [
312
+ [/<\?((php)|=)?/, "metatag.php"],
313
+ [/\?>/, { token: "metatag.php", switchTo: "@$S2.$S3" }],
314
+ { include: "phpRoot" }
315
+ ],
316
+ phpInEmbeddedState: [
317
+ [/<\?((php)|=)?/, "metatag.php"],
318
+ [
319
+ /\?>/,
320
+ {
321
+ token: "metatag.php",
322
+ switchTo: "@$S2.$S3",
323
+ nextEmbedded: "$S3"
324
+ }
325
+ ],
326
+ { include: "phpRoot" }
327
+ ],
328
+ phpRoot: [
329
+ [
330
+ /[a-zA-Z_]\w*/,
331
+ {
332
+ cases: {
333
+ "@phpKeywords": { token: "keyword.php" },
334
+ "@phpCompileTimeConstants": { token: "constant.php" },
335
+ "@default": "identifier.php"
336
+ }
337
+ }
338
+ ],
339
+ [
340
+ /[$a-zA-Z_]\w*/,
341
+ {
342
+ cases: {
343
+ "@phpPreDefinedVariables": {
344
+ token: "variable.predefined.php"
345
+ },
346
+ "@default": "variable.php"
347
+ }
348
+ }
349
+ ],
350
+ // brackets
351
+ [/[{}]/, "delimiter.bracket.php"],
352
+ [/[\[\]]/, "delimiter.array.php"],
353
+ [/[()]/, "delimiter.parenthesis.php"],
354
+ // whitespace
355
+ [/[ \t\r\n]+/],
356
+ // comments
357
+ [/(#|\/\/)$/, "comment.php"],
358
+ [/(#|\/\/)/, "comment.php", "@phpLineComment"],
359
+ // block comments
360
+ [/\/\*/, "comment.php", "@phpComment"],
361
+ // strings
362
+ [/"/, "string.php", "@phpDoubleQuoteString"],
363
+ [/'/, "string.php", "@phpSingleQuoteString"],
364
+ // delimiters
365
+ [/[\+\-\*\%\&\|\^\~\!\=\<\>\/\?\;\:\.\,\@]/, "delimiter.php"],
366
+ // numbers
367
+ [/\d*\d+[eE]([\-+]?\d+)?/, "number.float.php"],
368
+ [/\d*\.\d+([eE][\-+]?\d+)?/, "number.float.php"],
369
+ [/0[xX][0-9a-fA-F']*[0-9a-fA-F]/, "number.hex.php"],
370
+ [/0[0-7']*[0-7]/, "number.octal.php"],
371
+ [/0[bB][0-1']*[0-1]/, "number.binary.php"],
372
+ [/\d[\d']*/, "number.php"],
373
+ [/\d/, "number.php"]
374
+ ],
375
+ phpComment: [
376
+ [/\*\//, "comment.php", "@pop"],
377
+ [/[^*]+/, "comment.php"],
378
+ [/./, "comment.php"]
379
+ ],
380
+ phpLineComment: [
381
+ [/\?>/, { token: "@rematch", next: "@pop" }],
382
+ [/.$/, "comment.php", "@pop"],
383
+ [/[^?]+$/, "comment.php", "@pop"],
384
+ [/[^?]+/, "comment.php"],
385
+ [/./, "comment.php"]
386
+ ],
387
+ phpDoubleQuoteString: [
388
+ [/[^\\"]+/, "string.php"],
389
+ [/@escapes/, "string.escape.php"],
390
+ [/\\./, "string.escape.invalid.php"],
391
+ [/"/, "string.php", "@pop"]
392
+ ],
393
+ phpSingleQuoteString: [
394
+ [/[^\\']+/, "string.php"],
395
+ [/@escapes/, "string.escape.php"],
396
+ [/\\./, "string.escape.invalid.php"],
397
+ [/'/, "string.php", "@pop"]
398
+ ]
399
+ },
400
+ phpKeywords: [
401
+ "abstract",
402
+ "and",
403
+ "array",
404
+ "as",
405
+ "break",
406
+ "callable",
407
+ "case",
408
+ "catch",
409
+ "cfunction",
410
+ "class",
411
+ "clone",
412
+ "const",
413
+ "continue",
414
+ "declare",
415
+ "default",
416
+ "do",
417
+ "else",
418
+ "elseif",
419
+ "enddeclare",
420
+ "endfor",
421
+ "endforeach",
422
+ "endif",
423
+ "endswitch",
424
+ "endwhile",
425
+ "extends",
426
+ "false",
427
+ "final",
428
+ "for",
429
+ "foreach",
430
+ "function",
431
+ "global",
432
+ "goto",
433
+ "if",
434
+ "implements",
435
+ "interface",
436
+ "instanceof",
437
+ "insteadof",
438
+ "namespace",
439
+ "new",
440
+ "null",
441
+ "object",
442
+ "old_function",
443
+ "or",
444
+ "private",
445
+ "protected",
446
+ "public",
447
+ "resource",
448
+ "static",
449
+ "switch",
450
+ "throw",
451
+ "trait",
452
+ "try",
453
+ "true",
454
+ "use",
455
+ "var",
456
+ "while",
457
+ "xor",
458
+ "die",
459
+ "echo",
460
+ "empty",
461
+ "exit",
462
+ "eval",
463
+ "include",
464
+ "include_once",
465
+ "isset",
466
+ "list",
467
+ "require",
468
+ "require_once",
469
+ "return",
470
+ "print",
471
+ "unset",
472
+ "yield",
473
+ "__construct"
474
+ ],
475
+ phpCompileTimeConstants: [
476
+ "__CLASS__",
477
+ "__DIR__",
478
+ "__FILE__",
479
+ "__LINE__",
480
+ "__NAMESPACE__",
481
+ "__METHOD__",
482
+ "__FUNCTION__",
483
+ "__TRAIT__"
484
+ ],
485
+ phpPreDefinedVariables: [
486
+ "$GLOBALS",
487
+ "$_SERVER",
488
+ "$_GET",
489
+ "$_POST",
490
+ "$_FILES",
491
+ "$_REQUEST",
492
+ "$_SESSION",
493
+ "$_ENV",
494
+ "$_COOKIE",
495
+ "$php_errormsg",
496
+ "$HTTP_RAW_POST_DATA",
497
+ "$http_response_header",
498
+ "$argc",
499
+ "$argv"
500
+ ],
501
+ escapes: /\\(?:[abfnrtv\\"']|x[0-9A-Fa-f]{1,4}|u[0-9A-Fa-f]{4}|U[0-9A-Fa-f]{8})/
502
+ };
503
+ export {
504
+ e as conf,
505
+ t as language
506
+ };
@@ -0,0 +1,143 @@
1
+ /*!-----------------------------------------------------------------------------
2
+ * Copyright (c) Microsoft Corporation. All rights reserved.
3
+ * Version: 0.46.0(21007360cad28648bdf46282a2592cb47c3a7a6f)
4
+ * Released under the MIT license
5
+ * https://github.com/microsoft/monaco-editor/blob/main/LICENSE.txt
6
+ *-----------------------------------------------------------------------------*/
7
+ var e = {
8
+ comments: {
9
+ lineComment: "#"
10
+ },
11
+ brackets: [
12
+ ["[", "]"],
13
+ ["<", ">"],
14
+ ["(", ")"]
15
+ ],
16
+ autoClosingPairs: [
17
+ { open: "[", close: "]" },
18
+ { open: "<", close: ">" },
19
+ { open: "(", close: ")" }
20
+ ],
21
+ surroundingPairs: [
22
+ { open: "[", close: "]" },
23
+ { open: "<", close: ">" },
24
+ { open: "(", close: ")" }
25
+ ]
26
+ }, o = {
27
+ defaultToken: "",
28
+ tokenPostfix: ".pla",
29
+ brackets: [
30
+ { open: "[", close: "]", token: "delimiter.square" },
31
+ { open: "<", close: ">", token: "delimiter.angle" },
32
+ { open: "(", close: ")", token: "delimiter.parenthesis" }
33
+ ],
34
+ keywords: [
35
+ ".i",
36
+ ".o",
37
+ ".mv",
38
+ ".ilb",
39
+ ".ob",
40
+ ".label",
41
+ ".type",
42
+ ".phase",
43
+ ".pair",
44
+ ".symbolic",
45
+ ".symbolic-output",
46
+ ".kiss",
47
+ ".p",
48
+ ".e",
49
+ ".end"
50
+ ],
51
+ // regular expressions
52
+ comment: /#.*$/,
53
+ identifier: /[a-zA-Z]+[a-zA-Z0-9_\-]*/,
54
+ plaContent: /[01\-~\|]+/,
55
+ // The main tokenizer for our languages
56
+ tokenizer: {
57
+ root: [
58
+ // comments and whitespace
59
+ { include: "@whitespace" },
60
+ [/@comment/, "comment"],
61
+ // keyword
62
+ [
63
+ /\.([a-zA-Z_\-]+)/,
64
+ {
65
+ cases: {
66
+ "@eos": { token: "keyword.$1" },
67
+ "@keywords": {
68
+ cases: {
69
+ ".type": { token: "keyword.$1", next: "@type" },
70
+ "@default": { token: "keyword.$1", next: "@keywordArg" }
71
+ }
72
+ },
73
+ "@default": { token: "keyword.$1" }
74
+ }
75
+ }
76
+ ],
77
+ // identifiers
78
+ [/@identifier/, "identifier"],
79
+ // PLA row
80
+ [/@plaContent/, "string"]
81
+ ],
82
+ whitespace: [[/[ \t\r\n]+/, ""]],
83
+ type: [{ include: "@whitespace" }, [/\w+/, { token: "type", next: "@pop" }]],
84
+ keywordArg: [
85
+ // whitespace
86
+ [
87
+ /[ \t\r\n]+/,
88
+ {
89
+ cases: {
90
+ "@eos": { token: "", next: "@pop" },
91
+ "@default": ""
92
+ }
93
+ }
94
+ ],
95
+ // comments
96
+ [/@comment/, "comment", "@pop"],
97
+ // brackets
98
+ [
99
+ /[<>()\[\]]/,
100
+ {
101
+ cases: {
102
+ "@eos": { token: "@brackets", next: "@pop" },
103
+ "@default": "@brackets"
104
+ }
105
+ }
106
+ ],
107
+ // numbers
108
+ [
109
+ /\-?\d+/,
110
+ {
111
+ cases: {
112
+ "@eos": { token: "number", next: "@pop" },
113
+ "@default": "number"
114
+ }
115
+ }
116
+ ],
117
+ // identifiers
118
+ [
119
+ /@identifier/,
120
+ {
121
+ cases: {
122
+ "@eos": { token: "identifier", next: "@pop" },
123
+ "@default": "identifier"
124
+ }
125
+ }
126
+ ],
127
+ // delimiter
128
+ [
129
+ /[;=]/,
130
+ {
131
+ cases: {
132
+ "@eos": { token: "delimiter", next: "@pop" },
133
+ "@default": "delimiter"
134
+ }
135
+ }
136
+ ]
137
+ ]
138
+ }
139
+ };
140
+ export {
141
+ e as conf,
142
+ o as language
143
+ };