udxcms 1.0.9 → 1.0.11

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 (428) hide show
  1. package/dist/api/common.d.ts +28 -28
  2. package/dist/api/h5/axios.d.ts +3 -3
  3. package/dist/api/h5/axios.js +12 -9
  4. package/dist/api/h5/common.d.ts +10 -10
  5. package/dist/api/index.d.ts +1 -1
  6. package/dist/api/index.js +8 -6
  7. package/dist/components/basicComponents/AdsBanner.vue +3 -3
  8. package/dist/components/basicComponents/AreaSelect.vue +9 -1
  9. package/dist/components/basicComponents/BaseMenu.vue +1 -0
  10. package/dist/components/businessComponents/Currency.vue +6 -4
  11. package/dist/components/businessComponents/CustomAnnounceModal.vue +2 -2
  12. package/dist/components/businessComponents/Footer.vue +1 -1
  13. package/dist/components/businessComponents/FooterPointx.vue +1 -1
  14. package/dist/components/businessComponents/Language.vue +8 -4
  15. package/dist/components/businessComponents/SiteLoading.vue +3 -3
  16. package/dist/components/cmsComponents/academy/CmsAcademyJoinComunity.vue +1 -1
  17. package/dist/components/cmsComponents/academy/CmsAcademySectionOne.vue +1 -1
  18. package/dist/components/cmsComponents/api/code.js +2 -4
  19. package/dist/components/cmsComponents/api/test.js +2 -4
  20. package/dist/components/cmsComponents/sdk/Logo.vue +1 -1
  21. package/dist/components/cmsComponents/sdk/lib/highlight/lib/core.js +2051 -1836
  22. package/dist/components/cmsComponents/sdk/lib/highlight/lib/index.js +3 -1
  23. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/1c.js +509 -424
  24. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/abnf.js +77 -65
  25. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/accesslog.js +89 -84
  26. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/actionscript.js +86 -80
  27. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/ada.js +166 -149
  28. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/angelscript.js +109 -90
  29. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/apache.js +72 -69
  30. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/applescript.js +150 -125
  31. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/arcade.js +150 -144
  32. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/arduino.js +518 -475
  33. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/armasm.js +120 -112
  34. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/asciidoc.js +268 -244
  35. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/aspectj.js +154 -144
  36. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/autohotkey.js +73 -70
  37. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/autoit.js +160 -146
  38. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/avrasm.js +70 -63
  39. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/awk.js +63 -61
  40. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/axapta.js +166 -160
  41. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/bash.js +142 -133
  42. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/basic.js +55 -52
  43. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/bnf.js +27 -25
  44. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/brainfuck.js +36 -30
  45. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/c-like.js +444 -407
  46. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/c.js +267 -247
  47. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/cal.js +91 -77
  48. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/capnproto.js +53 -48
  49. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/ceylon.js +73 -67
  50. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/clean.js +30 -25
  51. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/clojure-repl.js +15 -13
  52. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/clojure.js +145 -134
  53. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/cmake.js +54 -52
  54. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/coffeescript.js +322 -304
  55. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/coq.js +69 -65
  56. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/cos.js +127 -119
  57. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/cpp.js +415 -383
  58. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/crmsh.js +91 -88
  59. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/crystal.js +299 -293
  60. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/csharp.js +416 -407
  61. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/csp.js +25 -23
  62. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/css.js +559 -547
  63. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/d.js +244 -215
  64. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/dart.js +183 -168
  65. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/delphi.js +115 -112
  66. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/diff.js +73 -71
  67. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/django.js +64 -59
  68. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/dns.js +36 -33
  69. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/dockerfile.js +22 -20
  70. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/dos.js +58 -51
  71. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/dsconfig.js +57 -54
  72. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/dts.js +136 -125
  73. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/dust.js +33 -31
  74. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/ebnf.js +43 -37
  75. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/elixir.js +223 -218
  76. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/elm.js +115 -98
  77. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/erb.js +16 -14
  78. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/erlang-repl.js +60 -52
  79. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/erlang.js +180 -171
  80. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/excel.js +54 -51
  81. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/fix.js +29 -27
  82. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/flix.js +45 -39
  83. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/fortran.js +132 -123
  84. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/fsharp.js +71 -67
  85. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/gams.js +175 -164
  86. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/gauss.js +294 -271
  87. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/gcode.js +77 -74
  88. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/gherkin.js +38 -36
  89. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/glsl.js +118 -115
  90. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/gml.js +875 -871
  91. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/go.js +61 -56
  92. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/golo.js +24 -20
  93. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/gradle.js +35 -31
  94. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/groovy.js +140 -126
  95. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/haml.js +102 -96
  96. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/handlebars.js +273 -232
  97. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/haskell.js +158 -143
  98. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/haxe.js +144 -138
  99. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/hsp.js +52 -45
  100. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/htmlbars.js +292 -245
  101. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/http.js +92 -87
  102. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/hy.js +99 -89
  103. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/inform7.js +59 -57
  104. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/ini.js +128 -115
  105. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/irpf90.js +111 -105
  106. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/isbl.js +3198 -2973
  107. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/java.js +160 -146
  108. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/javascript.js +543 -513
  109. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/jboss-cli.js +53 -51
  110. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/json.js +53 -51
  111. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/julia-repl.js +24 -22
  112. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/julia.js +406 -387
  113. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/kotlin.js +258 -236
  114. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/lasso.js +168 -159
  115. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/latex.js +234 -216
  116. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/ldif.js +33 -32
  117. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/leaf.js +39 -37
  118. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/less.js +633 -587
  119. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/lisp.js +100 -94
  120. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/livecodeserver.js +174 -169
  121. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/livescript.js +337 -319
  122. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/llvm.js +124 -118
  123. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/lsl.js +9 -1
  124. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/lua.js +70 -64
  125. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/makefile.js +82 -79
  126. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/markdown.js +228 -218
  127. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/mathematica.js +6752 -6731
  128. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/matlab.js +89 -84
  129. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/maxima.js +408 -402
  130. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/mel.js +226 -223
  131. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/mercury.js +109 -99
  132. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/mipsasm.js +98 -95
  133. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/mizar.js +19 -16
  134. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/mojolicious.js +25 -24
  135. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/monkey.js +78 -69
  136. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/moonscript.js +129 -122
  137. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/n1ql.js +65 -59
  138. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/nginx.js +123 -119
  139. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/nim.js +68 -63
  140. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/nix.js +56 -51
  141. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/node-repl.js +26 -24
  142. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/nsis.js +110 -93
  143. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/objectivec.js +109 -103
  144. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/ocaml.js +71 -62
  145. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/openscad.js +71 -68
  146. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/oxygene.js +87 -76
  147. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/parser3.js +47 -37
  148. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/perl.js +468 -441
  149. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/pf.js +49 -43
  150. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/pgsql.js +594 -574
  151. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/php-template.js +42 -40
  152. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/php.js +185 -175
  153. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/plaintext.js +10 -8
  154. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/pony.js +79 -66
  155. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/powershell.js +317 -273
  156. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/processing.js +48 -46
  157. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/profile.js +35 -33
  158. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/prolog.js +93 -73
  159. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/properties.js +69 -64
  160. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/protobuf.js +35 -33
  161. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/puppet.js +132 -124
  162. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/purebasic.js +67 -61
  163. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/python-repl.js +26 -24
  164. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/python.js +406 -389
  165. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/q.js +27 -20
  166. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/qml.js +190 -176
  167. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/r.js +187 -171
  168. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/reasonml.js +296 -277
  169. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/rib.js +27 -24
  170. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/roboconf.js +69 -62
  171. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/routeros.js +150 -139
  172. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/rsl.js +39 -35
  173. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/ruby.js +339 -314
  174. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/ruleslanguage.js +67 -63
  175. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/rust.js +132 -126
  176. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/sas.js +124 -114
  177. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/scala.js +126 -115
  178. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/scheme.js +188 -168
  179. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/scilab.js +60 -56
  180. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/scss.js +518 -508
  181. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/shell.js +19 -17
  182. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/smali.js +125 -119
  183. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/smalltalk.js +52 -50
  184. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/sml.js +70 -63
  185. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/sqf.js +436 -426
  186. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/sql.js +662 -643
  187. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/sql_more.js +162 -155
  188. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/stan.js +536 -525
  189. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/stata.js +45 -40
  190. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/step21.js +56 -53
  191. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/stylus.js +580 -553
  192. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/subunit.js +43 -41
  193. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/swift.js +770 -679
  194. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/taggerscript.js +43 -38
  195. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/tap.js +44 -42
  196. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/tcl.js +82 -68
  197. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/thrift.js +38 -33
  198. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/tp.js +85 -80
  199. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/twig.js +63 -54
  200. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/typescript.js +625 -587
  201. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/vala.js +52 -48
  202. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/vbnet.js +178 -156
  203. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/vbscript-html.js +13 -11
  204. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/vbscript.js +71 -58
  205. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/verilog.js +120 -113
  206. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/vhdl.js +61 -53
  207. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/vim.js +111 -107
  208. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/x86asm.js +152 -138
  209. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/xl.js +83 -75
  210. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/xml.js +230 -209
  211. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/xquery.js +179 -161
  212. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/yaml.js +164 -154
  213. package/dist/components/cmsComponents/sdk/lib/highlight/lib/languages/zephir.js +125 -118
  214. package/dist/components/cmsComponents/wiki/Logo.vue +1 -1
  215. package/dist/components/cmsComponents/wiki/lib/highlight/lib/core.js +2051 -1836
  216. package/dist/components/cmsComponents/wiki/lib/highlight/lib/index.js +3 -1
  217. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/1c.js +509 -424
  218. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/abnf.js +77 -65
  219. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/accesslog.js +89 -84
  220. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/actionscript.js +86 -80
  221. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/ada.js +166 -149
  222. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/angelscript.js +109 -90
  223. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/apache.js +72 -69
  224. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/applescript.js +150 -125
  225. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/arcade.js +150 -144
  226. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/arduino.js +518 -475
  227. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/armasm.js +120 -112
  228. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/asciidoc.js +268 -244
  229. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/aspectj.js +154 -144
  230. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/autohotkey.js +73 -70
  231. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/autoit.js +160 -146
  232. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/avrasm.js +70 -63
  233. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/awk.js +63 -61
  234. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/axapta.js +166 -160
  235. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/bash.js +142 -133
  236. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/basic.js +55 -52
  237. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/bnf.js +27 -25
  238. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/brainfuck.js +36 -30
  239. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/c-like.js +444 -407
  240. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/c.js +267 -247
  241. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/cal.js +91 -77
  242. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/capnproto.js +53 -48
  243. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/ceylon.js +73 -67
  244. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/clean.js +30 -25
  245. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/clojure-repl.js +15 -13
  246. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/clojure.js +145 -134
  247. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/cmake.js +54 -52
  248. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/coffeescript.js +322 -304
  249. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/coq.js +69 -65
  250. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/cos.js +127 -119
  251. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/cpp.js +415 -383
  252. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/crmsh.js +91 -88
  253. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/crystal.js +299 -293
  254. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/csharp.js +416 -407
  255. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/csp.js +25 -23
  256. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/css.js +559 -547
  257. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/d.js +244 -215
  258. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/dart.js +183 -168
  259. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/delphi.js +115 -112
  260. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/diff.js +73 -71
  261. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/django.js +64 -59
  262. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/dns.js +36 -33
  263. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/dockerfile.js +22 -20
  264. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/dos.js +58 -51
  265. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/dsconfig.js +57 -54
  266. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/dts.js +136 -125
  267. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/dust.js +33 -31
  268. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/ebnf.js +43 -37
  269. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/elixir.js +223 -218
  270. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/elm.js +115 -98
  271. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/erb.js +16 -14
  272. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/erlang-repl.js +60 -52
  273. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/erlang.js +180 -171
  274. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/excel.js +54 -51
  275. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/fix.js +29 -27
  276. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/flix.js +45 -39
  277. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/fortran.js +132 -123
  278. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/fsharp.js +71 -67
  279. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/gams.js +175 -164
  280. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/gauss.js +294 -271
  281. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/gcode.js +77 -74
  282. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/gherkin.js +38 -36
  283. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/glsl.js +118 -115
  284. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/gml.js +875 -871
  285. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/go.js +61 -56
  286. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/golo.js +24 -20
  287. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/gradle.js +35 -31
  288. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/groovy.js +140 -126
  289. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/haml.js +102 -96
  290. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/handlebars.js +273 -232
  291. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/haskell.js +158 -143
  292. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/haxe.js +144 -138
  293. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/hsp.js +52 -45
  294. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/htmlbars.js +292 -245
  295. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/http.js +92 -87
  296. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/hy.js +99 -89
  297. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/inform7.js +59 -57
  298. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/ini.js +128 -115
  299. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/irpf90.js +111 -105
  300. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/isbl.js +3198 -2973
  301. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/java.js +160 -146
  302. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/javascript.js +543 -513
  303. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/jboss-cli.js +53 -51
  304. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/json.js +53 -51
  305. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/julia-repl.js +24 -22
  306. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/julia.js +406 -387
  307. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/kotlin.js +258 -236
  308. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/lasso.js +168 -159
  309. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/latex.js +234 -216
  310. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/ldif.js +33 -32
  311. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/leaf.js +39 -37
  312. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/less.js +633 -587
  313. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/lisp.js +100 -94
  314. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/livecodeserver.js +174 -169
  315. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/livescript.js +337 -319
  316. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/llvm.js +124 -118
  317. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/lsl.js +9 -1
  318. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/lua.js +70 -64
  319. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/makefile.js +82 -79
  320. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/markdown.js +228 -218
  321. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/mathematica.js +6752 -6731
  322. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/matlab.js +89 -84
  323. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/maxima.js +408 -402
  324. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/mel.js +226 -223
  325. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/mercury.js +109 -99
  326. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/mipsasm.js +98 -95
  327. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/mizar.js +19 -16
  328. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/mojolicious.js +25 -24
  329. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/monkey.js +78 -69
  330. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/moonscript.js +129 -122
  331. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/n1ql.js +65 -59
  332. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/nginx.js +123 -119
  333. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/nim.js +68 -63
  334. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/nix.js +56 -51
  335. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/node-repl.js +26 -24
  336. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/nsis.js +110 -93
  337. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/objectivec.js +109 -103
  338. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/ocaml.js +71 -62
  339. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/openscad.js +71 -68
  340. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/oxygene.js +87 -76
  341. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/parser3.js +47 -37
  342. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/perl.js +468 -441
  343. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/pf.js +49 -43
  344. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/pgsql.js +594 -574
  345. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/php-template.js +42 -40
  346. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/php.js +185 -175
  347. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/plaintext.js +10 -8
  348. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/pony.js +79 -66
  349. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/powershell.js +317 -273
  350. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/processing.js +48 -46
  351. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/profile.js +35 -33
  352. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/prolog.js +93 -73
  353. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/properties.js +69 -64
  354. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/protobuf.js +35 -33
  355. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/puppet.js +132 -124
  356. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/purebasic.js +67 -61
  357. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/python-repl.js +26 -24
  358. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/python.js +406 -389
  359. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/q.js +27 -20
  360. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/qml.js +190 -176
  361. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/r.js +187 -171
  362. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/reasonml.js +296 -277
  363. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/rib.js +27 -24
  364. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/roboconf.js +69 -62
  365. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/routeros.js +150 -139
  366. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/rsl.js +39 -35
  367. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/ruby.js +339 -314
  368. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/ruleslanguage.js +67 -63
  369. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/rust.js +132 -126
  370. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/sas.js +124 -114
  371. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/scala.js +126 -115
  372. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/scheme.js +188 -168
  373. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/scilab.js +60 -56
  374. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/scss.js +518 -508
  375. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/shell.js +19 -17
  376. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/smali.js +125 -119
  377. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/smalltalk.js +52 -50
  378. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/sml.js +70 -63
  379. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/sqf.js +436 -426
  380. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/sql.js +662 -643
  381. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/sql_more.js +162 -155
  382. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/stan.js +536 -525
  383. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/stata.js +45 -40
  384. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/step21.js +56 -53
  385. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/stylus.js +580 -553
  386. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/subunit.js +43 -41
  387. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/swift.js +770 -679
  388. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/taggerscript.js +43 -38
  389. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/tap.js +44 -42
  390. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/tcl.js +82 -68
  391. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/thrift.js +38 -33
  392. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/tp.js +85 -80
  393. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/twig.js +63 -54
  394. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/typescript.js +625 -587
  395. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/vala.js +52 -48
  396. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/vbnet.js +178 -156
  397. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/vbscript-html.js +13 -11
  398. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/vbscript.js +71 -58
  399. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/verilog.js +120 -113
  400. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/vhdl.js +61 -53
  401. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/vim.js +111 -107
  402. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/x86asm.js +152 -138
  403. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/xl.js +83 -75
  404. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/xml.js +230 -209
  405. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/xquery.js +179 -161
  406. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/yaml.js +164 -154
  407. package/dist/components/cmsComponents/wiki/lib/highlight/lib/languages/zephir.js +125 -118
  408. package/dist/components/h5Components/Language.vue +6 -4
  409. package/dist/components/h5Components/Top.vue +3 -3
  410. package/dist/components/h5Components/walletconnectBottom.vue +3 -3
  411. package/dist/components/index.js +115 -220
  412. package/dist/components/pageComponents/academy/academy_wallet.vue +3 -3
  413. package/dist/components/pageComponents/header/header_dtx2.vue +4 -4
  414. package/dist/components/pageComponents/header/header_lending.vue +2 -3
  415. package/dist/components/pageComponents/header/header_paragen.vue +2 -2
  416. package/dist/components/pageComponents/index/IndexBridge.vue +16 -4
  417. package/dist/components/pageComponents/index/IndexDemo.vue +1 -1
  418. package/dist/components/pageComponents/index/IndexDex.vue +1 -1
  419. package/dist/components/pageComponents/index/IndexMorse.vue +1 -1
  420. package/dist/components/pageComponents/index/IndexOrbits.vue +1 -1
  421. package/dist/components/pageComponents/index/IndexVortex.vue +1 -1
  422. package/dist/utils/connect.d.ts +1 -1
  423. package/dist/utils/connect.js +6 -4
  424. package/dist/utils/http.d.ts +2 -2
  425. package/dist/utils/http.js +12 -10
  426. package/dist/utils/index.d.ts +2 -0
  427. package/dist/utils/index.js +2 -1
  428. package/package.json +2 -2
@@ -4,72 +4,76 @@ Author: Stephan Boyer <stephan@stephanboyer.com>
4
4
  Category: functional
5
5
  Website: https://coq.inria.fr
6
6
  */
7
+
7
8
  /** @type LanguageFn */
8
9
  function coq(hljs) {
9
- return {
10
- name: 'Coq',
11
- keywords: {
12
- keyword: '_|0 as at cofix else end exists exists2 fix for forall fun if IF in let ' +
13
- 'match mod Prop return Set then Type using where with ' +
14
- 'Abort About Add Admit Admitted All Arguments Assumptions Axiom Back BackTo ' +
15
- 'Backtrack Bind Blacklist Canonical Cd Check Class Classes Close Coercion ' +
16
- 'Coercions CoFixpoint CoInductive Collection Combined Compute Conjecture ' +
17
- 'Conjectures Constant constr Constraint Constructors Context Corollary ' +
18
- 'CreateHintDb Cut Declare Defined Definition Delimit Dependencies Dependent ' +
19
- 'Derive Drop eauto End Equality Eval Example Existential Existentials ' +
20
- 'Existing Export exporting Extern Extract Extraction Fact Field Fields File ' +
21
- 'Fixpoint Focus for From Function Functional Generalizable Global Goal Grab ' +
22
- 'Grammar Graph Guarded Heap Hint HintDb Hints Hypotheses Hypothesis ident ' +
23
- 'Identity If Immediate Implicit Import Include Inductive Infix Info Initial ' +
24
- 'Inline Inspect Instance Instances Intro Intros Inversion Inversion_clear ' +
25
- 'Language Left Lemma Let Libraries Library Load LoadPath Local Locate Ltac ML ' +
26
- 'Mode Module Modules Monomorphic Morphism Next NoInline Notation Obligation ' +
27
- 'Obligations Opaque Open Optimize Options Parameter Parameters Parametric ' +
28
- 'Path Paths pattern Polymorphic Preterm Print Printing Program Projections ' +
29
- 'Proof Proposition Pwd Qed Quit Rec Record Recursive Redirect Relation Remark ' +
30
- 'Remove Require Reserved Reset Resolve Restart Rewrite Right Ring Rings Save ' +
31
- 'Scheme Scope Scopes Script Search SearchAbout SearchHead SearchPattern ' +
32
- 'SearchRewrite Section Separate Set Setoid Show Solve Sorted Step Strategies ' +
33
- 'Strategy Structure SubClass Table Tables Tactic Term Test Theorem Time ' +
34
- 'Timeout Transparent Type Typeclasses Types Undelimit Undo Unfocus Unfocused ' +
35
- 'Unfold Universe Universes Unset Unshelve using Variable Variables Variant ' +
36
- 'Verbose Visibility where with',
37
- built_in: 'abstract absurd admit after apply as assert assumption at auto autorewrite ' +
38
- 'autounfold before bottom btauto by case case_eq cbn cbv change ' +
39
- 'classical_left classical_right clear clearbody cofix compare compute ' +
40
- 'congruence constr_eq constructor contradict contradiction cut cutrewrite ' +
41
- 'cycle decide decompose dependent destruct destruction dintuition ' +
42
- 'discriminate discrR do double dtauto eapply eassumption eauto ecase ' +
43
- 'econstructor edestruct ediscriminate eelim eexact eexists einduction ' +
44
- 'einjection eleft elim elimtype enough equality erewrite eright ' +
45
- 'esimplify_eq esplit evar exact exactly_once exfalso exists f_equal fail ' +
46
- 'field field_simplify field_simplify_eq first firstorder fix fold fourier ' +
47
- 'functional generalize generalizing gfail give_up has_evar hnf idtac in ' +
48
- 'induction injection instantiate intro intro_pattern intros intuition ' +
49
- 'inversion inversion_clear is_evar is_var lapply lazy left lia lra move ' +
50
- 'native_compute nia nsatz omega once pattern pose progress proof psatz quote ' +
51
- 'record red refine reflexivity remember rename repeat replace revert ' +
52
- 'revgoals rewrite rewrite_strat right ring ring_simplify rtauto set ' +
53
- 'setoid_reflexivity setoid_replace setoid_rewrite setoid_symmetry ' +
54
- 'setoid_transitivity shelve shelve_unifiable simpl simple simplify_eq solve ' +
55
- 'specialize split split_Rabs split_Rmult stepl stepr subst sum swap ' +
56
- 'symmetry tactic tauto time timeout top transitivity trivial try tryif ' +
57
- 'unfold unify until using vm_compute with'
58
- },
59
- contains: [
60
- hljs.QUOTE_STRING_MODE,
61
- hljs.COMMENT('\\(\\*', '\\*\\)'),
62
- hljs.C_NUMBER_MODE,
63
- {
64
- className: 'type',
65
- excludeBegin: true,
66
- begin: '\\|\\s*',
67
- end: '\\w+'
68
- },
69
- {
70
- begin: /[-=]>/
71
- }
72
- ]
73
- };
10
+ return {
11
+ name: 'Coq',
12
+ keywords: {
13
+ keyword:
14
+ '_|0 as at cofix else end exists exists2 fix for forall fun if IF in let ' +
15
+ 'match mod Prop return Set then Type using where with ' +
16
+ 'Abort About Add Admit Admitted All Arguments Assumptions Axiom Back BackTo ' +
17
+ 'Backtrack Bind Blacklist Canonical Cd Check Class Classes Close Coercion ' +
18
+ 'Coercions CoFixpoint CoInductive Collection Combined Compute Conjecture ' +
19
+ 'Conjectures Constant constr Constraint Constructors Context Corollary ' +
20
+ 'CreateHintDb Cut Declare Defined Definition Delimit Dependencies Dependent ' +
21
+ 'Derive Drop eauto End Equality Eval Example Existential Existentials ' +
22
+ 'Existing Export exporting Extern Extract Extraction Fact Field Fields File ' +
23
+ 'Fixpoint Focus for From Function Functional Generalizable Global Goal Grab ' +
24
+ 'Grammar Graph Guarded Heap Hint HintDb Hints Hypotheses Hypothesis ident ' +
25
+ 'Identity If Immediate Implicit Import Include Inductive Infix Info Initial ' +
26
+ 'Inline Inspect Instance Instances Intro Intros Inversion Inversion_clear ' +
27
+ 'Language Left Lemma Let Libraries Library Load LoadPath Local Locate Ltac ML ' +
28
+ 'Mode Module Modules Monomorphic Morphism Next NoInline Notation Obligation ' +
29
+ 'Obligations Opaque Open Optimize Options Parameter Parameters Parametric ' +
30
+ 'Path Paths pattern Polymorphic Preterm Print Printing Program Projections ' +
31
+ 'Proof Proposition Pwd Qed Quit Rec Record Recursive Redirect Relation Remark ' +
32
+ 'Remove Require Reserved Reset Resolve Restart Rewrite Right Ring Rings Save ' +
33
+ 'Scheme Scope Scopes Script Search SearchAbout SearchHead SearchPattern ' +
34
+ 'SearchRewrite Section Separate Set Setoid Show Solve Sorted Step Strategies ' +
35
+ 'Strategy Structure SubClass Table Tables Tactic Term Test Theorem Time ' +
36
+ 'Timeout Transparent Type Typeclasses Types Undelimit Undo Unfocus Unfocused ' +
37
+ 'Unfold Universe Universes Unset Unshelve using Variable Variables Variant ' +
38
+ 'Verbose Visibility where with',
39
+ built_in:
40
+ 'abstract absurd admit after apply as assert assumption at auto autorewrite ' +
41
+ 'autounfold before bottom btauto by case case_eq cbn cbv change ' +
42
+ 'classical_left classical_right clear clearbody cofix compare compute ' +
43
+ 'congruence constr_eq constructor contradict contradiction cut cutrewrite ' +
44
+ 'cycle decide decompose dependent destruct destruction dintuition ' +
45
+ 'discriminate discrR do double dtauto eapply eassumption eauto ecase ' +
46
+ 'econstructor edestruct ediscriminate eelim eexact eexists einduction ' +
47
+ 'einjection eleft elim elimtype enough equality erewrite eright ' +
48
+ 'esimplify_eq esplit evar exact exactly_once exfalso exists f_equal fail ' +
49
+ 'field field_simplify field_simplify_eq first firstorder fix fold fourier ' +
50
+ 'functional generalize generalizing gfail give_up has_evar hnf idtac in ' +
51
+ 'induction injection instantiate intro intro_pattern intros intuition ' +
52
+ 'inversion inversion_clear is_evar is_var lapply lazy left lia lra move ' +
53
+ 'native_compute nia nsatz omega once pattern pose progress proof psatz quote ' +
54
+ 'record red refine reflexivity remember rename repeat replace revert ' +
55
+ 'revgoals rewrite rewrite_strat right ring ring_simplify rtauto set ' +
56
+ 'setoid_reflexivity setoid_replace setoid_rewrite setoid_symmetry ' +
57
+ 'setoid_transitivity shelve shelve_unifiable simpl simple simplify_eq solve ' +
58
+ 'specialize split split_Rabs split_Rmult stepl stepr subst sum swap ' +
59
+ 'symmetry tactic tauto time timeout top transitivity trivial try tryif ' +
60
+ 'unfold unify until using vm_compute with'
61
+ },
62
+ contains: [
63
+ hljs.QUOTE_STRING_MODE,
64
+ hljs.COMMENT('\\(\\*', '\\*\\)'),
65
+ hljs.C_NUMBER_MODE,
66
+ {
67
+ className: 'type',
68
+ excludeBegin: true,
69
+ begin: '\\|\\s*',
70
+ end: '\\w+'
71
+ },
72
+ { // relevance booster
73
+ begin: /[-=]>/
74
+ }
75
+ ]
76
+ };
74
77
  }
78
+
75
79
  module.exports = coq;
@@ -4,127 +4,135 @@ Author: Nikita Savchenko <zitros.lab@gmail.com>
4
4
  Category: enterprise, scripting
5
5
  Website: https://cedocs.intersystems.com/latest/csp/docbook/DocBook.UI.Page.cls
6
6
  */
7
+
7
8
  /** @type LanguageFn */
8
9
  function cos(hljs) {
9
- const STRINGS = {
10
- className: 'string',
11
- variants: [{
12
- begin: '"',
13
- end: '"',
14
- contains: [{
15
- begin: "\"\"",
16
- relevance: 0
17
- }]
18
- }]
19
- };
20
- const NUMBERS = {
21
- className: "number",
22
- begin: "\\b(\\d+(\\.\\d*)?|\\.\\d+)",
10
+ const STRINGS = {
11
+ className: 'string',
12
+ variants: [{
13
+ begin: '"',
14
+ end: '"',
15
+ contains: [{ // escaped
16
+ begin: "\"\"",
23
17
  relevance: 0
24
- };
25
- const COS_KEYWORDS = 'property parameter class classmethod clientmethod extends as break ' +
26
- 'catch close continue do d|0 else elseif for goto halt hang h|0 if job ' +
27
- 'j|0 kill k|0 lock l|0 merge new open quit q|0 read r|0 return set s|0 ' +
28
- 'tcommit throw trollback try tstart use view while write w|0 xecute x|0 ' +
29
- 'zkill znspace zn ztrap zwrite zw zzdump zzwrite print zbreak zinsert ' +
30
- 'zload zprint zremove zsave zzprint mv mvcall mvcrt mvdim mvprint zquit ' +
31
- 'zsync ascii';
32
- // registered function - no need in them due to all functions are highlighted,
33
- // but I'll just leave this here.
34
- // "$bit", "$bitcount",
35
- // "$bitfind", "$bitlogic", "$case", "$char", "$classmethod", "$classname",
36
- // "$compile", "$data", "$decimal", "$double", "$extract", "$factor",
37
- // "$find", "$fnumber", "$get", "$increment", "$inumber", "$isobject",
38
- // "$isvaliddouble", "$isvalidnum", "$justify", "$length", "$list",
39
- // "$listbuild", "$listdata", "$listfind", "$listfromstring", "$listget",
40
- // "$listlength", "$listnext", "$listsame", "$listtostring", "$listvalid",
41
- // "$locate", "$match", "$method", "$name", "$nconvert", "$next",
42
- // "$normalize", "$now", "$number", "$order", "$parameter", "$piece",
43
- // "$prefetchoff", "$prefetchon", "$property", "$qlength", "$qsubscript",
44
- // "$query", "$random", "$replace", "$reverse", "$sconvert", "$select",
45
- // "$sortbegin", "$sortend", "$stack", "$text", "$translate", "$view",
46
- // "$wascii", "$wchar", "$wextract", "$wfind", "$wiswide", "$wlength",
47
- // "$wreverse", "$xecute", "$zabs", "$zarccos", "$zarcsin", "$zarctan",
48
- // "$zcos", "$zcot", "$zcsc", "$zdate", "$zdateh", "$zdatetime",
49
- // "$zdatetimeh", "$zexp", "$zhex", "$zln", "$zlog", "$zpower", "$zsec",
50
- // "$zsin", "$zsqr", "$ztan", "$ztime", "$ztimeh", "$zboolean",
51
- // "$zconvert", "$zcrc", "$zcyc", "$zdascii", "$zdchar", "$zf",
52
- // "$ziswide", "$zlascii", "$zlchar", "$zname", "$zposition", "$zqascii",
53
- // "$zqchar", "$zsearch", "$zseek", "$zstrip", "$zwascii", "$zwchar",
54
- // "$zwidth", "$zwpack", "$zwbpack", "$zwunpack", "$zwbunpack", "$zzenkaku",
55
- // "$change", "$mv", "$mvat", "$mvfmt", "$mvfmts", "$mviconv",
56
- // "$mviconvs", "$mvinmat", "$mvlover", "$mvoconv", "$mvoconvs", "$mvraise",
57
- // "$mvtrans", "$mvv", "$mvname", "$zbitand", "$zbitcount", "$zbitfind",
58
- // "$zbitget", "$zbitlen", "$zbitnot", "$zbitor", "$zbitset", "$zbitstr",
59
- // "$zbitxor", "$zincrement", "$znext", "$zorder", "$zprevious", "$zsort",
60
- // "device", "$ecode", "$estack", "$etrap", "$halt", "$horolog",
61
- // "$io", "$job", "$key", "$namespace", "$principal", "$quit", "$roles",
62
- // "$storage", "$system", "$test", "$this", "$tlevel", "$username",
63
- // "$x", "$y", "$za", "$zb", "$zchild", "$zeof", "$zeos", "$zerror",
64
- // "$zhorolog", "$zio", "$zjob", "$zmode", "$znspace", "$zparent", "$zpi",
65
- // "$zpos", "$zreference", "$zstorage", "$ztimestamp", "$ztimezone",
66
- // "$ztrap", "$zversion"
67
- return {
68
- name: 'Caché Object Script',
69
- case_insensitive: true,
70
- aliases: [
71
- "cls"
72
- ],
73
- keywords: COS_KEYWORDS,
74
- contains: [
75
- NUMBERS,
76
- STRINGS,
77
- hljs.C_LINE_COMMENT_MODE,
78
- hljs.C_BLOCK_COMMENT_MODE,
79
- {
80
- className: "comment",
81
- begin: /;/,
82
- end: "$",
83
- relevance: 0
84
- },
85
- {
86
- className: "built_in",
87
- begin: /(?:\$\$?|\.\.)\^?[a-zA-Z]+/
88
- },
89
- {
90
- className: "built_in",
91
- begin: /\$\$\$[a-zA-Z]+/
92
- },
93
- {
94
- className: "built_in",
95
- begin: /%[a-z]+(?:\.[a-z]+)*/
96
- },
97
- {
98
- className: "symbol",
99
- begin: /\^%?[a-zA-Z][\w]*/
100
- },
101
- {
102
- className: "keyword",
103
- begin: /##class|##super|#define|#dim/
104
- },
105
- // sub-languages: are not fully supported by hljs by 11/15/2015
106
- // left for the future implementation.
107
- {
108
- begin: /&sql\(/,
109
- end: /\)/,
110
- excludeBegin: true,
111
- excludeEnd: true,
112
- subLanguage: "sql"
113
- },
114
- {
115
- begin: /&(js|jscript|javascript)</,
116
- end: />/,
117
- excludeBegin: true,
118
- excludeEnd: true,
119
- subLanguage: "javascript"
120
- },
121
- {
122
- // this brakes first and last tag, but this is the only way to embed a valid html
123
- begin: /&html<\s*</,
124
- end: />\s*>/,
125
- subLanguage: "xml"
126
- }
127
- ]
128
- };
18
+ }]
19
+ }]
20
+ };
21
+
22
+ const NUMBERS = {
23
+ className: "number",
24
+ begin: "\\b(\\d+(\\.\\d*)?|\\.\\d+)",
25
+ relevance: 0
26
+ };
27
+
28
+ const COS_KEYWORDS =
29
+ 'property parameter class classmethod clientmethod extends as break ' +
30
+ 'catch close continue do d|0 else elseif for goto halt hang h|0 if job ' +
31
+ 'j|0 kill k|0 lock l|0 merge new open quit q|0 read r|0 return set s|0 ' +
32
+ 'tcommit throw trollback try tstart use view while write w|0 xecute x|0 ' +
33
+ 'zkill znspace zn ztrap zwrite zw zzdump zzwrite print zbreak zinsert ' +
34
+ 'zload zprint zremove zsave zzprint mv mvcall mvcrt mvdim mvprint zquit ' +
35
+ 'zsync ascii';
36
+
37
+ // registered function - no need in them due to all functions are highlighted,
38
+ // but I'll just leave this here.
39
+
40
+ // "$bit", "$bitcount",
41
+ // "$bitfind", "$bitlogic", "$case", "$char", "$classmethod", "$classname",
42
+ // "$compile", "$data", "$decimal", "$double", "$extract", "$factor",
43
+ // "$find", "$fnumber", "$get", "$increment", "$inumber", "$isobject",
44
+ // "$isvaliddouble", "$isvalidnum", "$justify", "$length", "$list",
45
+ // "$listbuild", "$listdata", "$listfind", "$listfromstring", "$listget",
46
+ // "$listlength", "$listnext", "$listsame", "$listtostring", "$listvalid",
47
+ // "$locate", "$match", "$method", "$name", "$nconvert", "$next",
48
+ // "$normalize", "$now", "$number", "$order", "$parameter", "$piece",
49
+ // "$prefetchoff", "$prefetchon", "$property", "$qlength", "$qsubscript",
50
+ // "$query", "$random", "$replace", "$reverse", "$sconvert", "$select",
51
+ // "$sortbegin", "$sortend", "$stack", "$text", "$translate", "$view",
52
+ // "$wascii", "$wchar", "$wextract", "$wfind", "$wiswide", "$wlength",
53
+ // "$wreverse", "$xecute", "$zabs", "$zarccos", "$zarcsin", "$zarctan",
54
+ // "$zcos", "$zcot", "$zcsc", "$zdate", "$zdateh", "$zdatetime",
55
+ // "$zdatetimeh", "$zexp", "$zhex", "$zln", "$zlog", "$zpower", "$zsec",
56
+ // "$zsin", "$zsqr", "$ztan", "$ztime", "$ztimeh", "$zboolean",
57
+ // "$zconvert", "$zcrc", "$zcyc", "$zdascii", "$zdchar", "$zf",
58
+ // "$ziswide", "$zlascii", "$zlchar", "$zname", "$zposition", "$zqascii",
59
+ // "$zqchar", "$zsearch", "$zseek", "$zstrip", "$zwascii", "$zwchar",
60
+ // "$zwidth", "$zwpack", "$zwbpack", "$zwunpack", "$zwbunpack", "$zzenkaku",
61
+ // "$change", "$mv", "$mvat", "$mvfmt", "$mvfmts", "$mviconv",
62
+ // "$mviconvs", "$mvinmat", "$mvlover", "$mvoconv", "$mvoconvs", "$mvraise",
63
+ // "$mvtrans", "$mvv", "$mvname", "$zbitand", "$zbitcount", "$zbitfind",
64
+ // "$zbitget", "$zbitlen", "$zbitnot", "$zbitor", "$zbitset", "$zbitstr",
65
+ // "$zbitxor", "$zincrement", "$znext", "$zorder", "$zprevious", "$zsort",
66
+ // "device", "$ecode", "$estack", "$etrap", "$halt", "$horolog",
67
+ // "$io", "$job", "$key", "$namespace", "$principal", "$quit", "$roles",
68
+ // "$storage", "$system", "$test", "$this", "$tlevel", "$username",
69
+ // "$x", "$y", "$za", "$zb", "$zchild", "$zeof", "$zeos", "$zerror",
70
+ // "$zhorolog", "$zio", "$zjob", "$zmode", "$znspace", "$zparent", "$zpi",
71
+ // "$zpos", "$zreference", "$zstorage", "$ztimestamp", "$ztimezone",
72
+ // "$ztrap", "$zversion"
73
+
74
+ return {
75
+ name: 'Caché Object Script',
76
+ case_insensitive: true,
77
+ aliases: [
78
+ "cls"
79
+ ],
80
+ keywords: COS_KEYWORDS,
81
+ contains: [
82
+ NUMBERS,
83
+ STRINGS,
84
+ hljs.C_LINE_COMMENT_MODE,
85
+ hljs.C_BLOCK_COMMENT_MODE,
86
+ {
87
+ className: "comment",
88
+ begin: /;/,
89
+ end: "$",
90
+ relevance: 0
91
+ },
92
+ { // Functions and user-defined functions: write $ztime(60*60*3), $$myFunc(10), $$^Val(1)
93
+ className: "built_in",
94
+ begin: /(?:\$\$?|\.\.)\^?[a-zA-Z]+/
95
+ },
96
+ { // Macro command: quit $$$OK
97
+ className: "built_in",
98
+ begin: /\$\$\$[a-zA-Z]+/
99
+ },
100
+ { // Special (global) variables: write %request.Content; Built-in classes: %Library.Integer
101
+ className: "built_in",
102
+ begin: /%[a-z]+(?:\.[a-z]+)*/
103
+ },
104
+ { // Global variable: set ^globalName = 12 write ^globalName
105
+ className: "symbol",
106
+ begin: /\^%?[a-zA-Z][\w]*/
107
+ },
108
+ { // Some control constructions: do ##class(Package.ClassName).Method(), ##super()
109
+ className: "keyword",
110
+ begin: /##class|##super|#define|#dim/
111
+ },
112
+ // sub-languages: are not fully supported by hljs by 11/15/2015
113
+ // left for the future implementation.
114
+ {
115
+ begin: /&sql\(/,
116
+ end: /\)/,
117
+ excludeBegin: true,
118
+ excludeEnd: true,
119
+ subLanguage: "sql"
120
+ },
121
+ {
122
+ begin: /&(js|jscript|javascript)</,
123
+ end: />/,
124
+ excludeBegin: true,
125
+ excludeEnd: true,
126
+ subLanguage: "javascript"
127
+ },
128
+ {
129
+ // this brakes first and last tag, but this is the only way to embed a valid html
130
+ begin: /&html<\s*</,
131
+ end: />\s*>/,
132
+ subLanguage: "xml"
133
+ }
134
+ ]
135
+ };
129
136
  }
137
+
130
138
  module.exports = cos;