@muze-nl/simplystore 0.3.5 → 0.4.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 (331) hide show
  1. package/package.json +2 -2
  2. package/package.json~ +33 -0
  3. package/src/commands.mjs +1 -0
  4. package/src/server.mjs +69 -62
  5. package/src/worker-command-init.mjs +2 -1
  6. package/src/worker-command.mjs +3 -3
  7. package/www/codemirror/addon/comment/comment.js +0 -211
  8. package/www/codemirror/addon/comment/continuecomment.js +0 -114
  9. package/www/codemirror/addon/dialog/dialog.css +0 -32
  10. package/www/codemirror/addon/dialog/dialog.js +0 -163
  11. package/www/codemirror/addon/display/autorefresh.js +0 -47
  12. package/www/codemirror/addon/display/fullscreen.css +0 -6
  13. package/www/codemirror/addon/display/fullscreen.js +0 -41
  14. package/www/codemirror/addon/display/panel.js +0 -133
  15. package/www/codemirror/addon/display/placeholder.js +0 -78
  16. package/www/codemirror/addon/display/rulers.js +0 -51
  17. package/www/codemirror/addon/edit/closebrackets.js +0 -201
  18. package/www/codemirror/addon/edit/closetag.js +0 -185
  19. package/www/codemirror/addon/edit/continuelist.js +0 -101
  20. package/www/codemirror/addon/edit/matchbrackets.js +0 -160
  21. package/www/codemirror/addon/edit/matchtags.js +0 -66
  22. package/www/codemirror/addon/edit/trailingspace.js +0 -27
  23. package/www/codemirror/addon/fold/brace-fold.js +0 -119
  24. package/www/codemirror/addon/fold/comment-fold.js +0 -59
  25. package/www/codemirror/addon/fold/foldcode.js +0 -159
  26. package/www/codemirror/addon/fold/foldgutter.css +0 -20
  27. package/www/codemirror/addon/fold/foldgutter.js +0 -169
  28. package/www/codemirror/addon/fold/indent-fold.js +0 -48
  29. package/www/codemirror/addon/fold/markdown-fold.js +0 -49
  30. package/www/codemirror/addon/fold/xml-fold.js +0 -184
  31. package/www/codemirror/addon/hint/anyword-hint.js +0 -41
  32. package/www/codemirror/addon/hint/css-hint.js +0 -66
  33. package/www/codemirror/addon/hint/html-hint.js +0 -351
  34. package/www/codemirror/addon/hint/javascript-hint.js +0 -162
  35. package/www/codemirror/addon/hint/show-hint.css +0 -37
  36. package/www/codemirror/addon/hint/show-hint.js +0 -523
  37. package/www/codemirror/addon/hint/sql-hint.js +0 -304
  38. package/www/codemirror/addon/hint/xml-hint.js +0 -132
  39. package/www/codemirror/addon/lint/coffeescript-lint.js +0 -47
  40. package/www/codemirror/addon/lint/css-lint.js +0 -40
  41. package/www/codemirror/addon/lint/html-lint.js +0 -59
  42. package/www/codemirror/addon/lint/json-lint.js +0 -40
  43. package/www/codemirror/addon/lint/yaml-lint.js +0 -41
  44. package/www/codemirror/addon/merge/merge.css +0 -119
  45. package/www/codemirror/addon/merge/merge.js +0 -1018
  46. package/www/codemirror/addon/mode/loadmode.js +0 -66
  47. package/www/codemirror/addon/mode/multiplex.js +0 -136
  48. package/www/codemirror/addon/mode/multiplex_test.js +0 -49
  49. package/www/codemirror/addon/mode/overlay.js +0 -90
  50. package/www/codemirror/addon/mode/simple.js +0 -216
  51. package/www/codemirror/addon/runmode/colorize.js +0 -40
  52. package/www/codemirror/addon/runmode/runmode-standalone.js +0 -334
  53. package/www/codemirror/addon/runmode/runmode.js +0 -76
  54. package/www/codemirror/addon/runmode/runmode.node.js +0 -329
  55. package/www/codemirror/addon/scroll/annotatescrollbar.js +0 -128
  56. package/www/codemirror/addon/scroll/scrollpastend.js +0 -48
  57. package/www/codemirror/addon/scroll/simplescrollbars.css +0 -66
  58. package/www/codemirror/addon/scroll/simplescrollbars.js +0 -152
  59. package/www/codemirror/addon/search/jump-to-line.js +0 -53
  60. package/www/codemirror/addon/search/match-highlighter.js +0 -167
  61. package/www/codemirror/addon/search/matchesonscrollbar.css +0 -8
  62. package/www/codemirror/addon/search/matchesonscrollbar.js +0 -97
  63. package/www/codemirror/addon/search/search.js +0 -295
  64. package/www/codemirror/addon/search/searchcursor.js +0 -305
  65. package/www/codemirror/addon/selection/active-line.js +0 -72
  66. package/www/codemirror/addon/selection/mark-selection.js +0 -119
  67. package/www/codemirror/addon/selection/selection-pointer.js +0 -98
  68. package/www/codemirror/addon/tern/tern.css +0 -87
  69. package/www/codemirror/addon/tern/tern.js +0 -756
  70. package/www/codemirror/addon/tern/worker.js +0 -44
  71. package/www/codemirror/addon/wrap/hardwrap.js +0 -160
  72. package/www/codemirror/bin/source-highlight +0 -48
  73. package/www/codemirror/keymap/emacs.js +0 -545
  74. package/www/codemirror/keymap/sublime.js +0 -720
  75. package/www/codemirror/keymap/vim.js +0 -5978
  76. package/www/codemirror/mode/apl/apl.js +0 -174
  77. package/www/codemirror/mode/asciiarmor/asciiarmor.js +0 -74
  78. package/www/codemirror/mode/asn.1/asn.1.js +0 -204
  79. package/www/codemirror/mode/asterisk/asterisk.js +0 -220
  80. package/www/codemirror/mode/brainfuck/brainfuck.js +0 -85
  81. package/www/codemirror/mode/clike/clike.js +0 -940
  82. package/www/codemirror/mode/clojure/clojure.js +0 -292
  83. package/www/codemirror/mode/cmake/cmake.js +0 -97
  84. package/www/codemirror/mode/cobol/cobol.js +0 -255
  85. package/www/codemirror/mode/coffeescript/coffeescript.js +0 -359
  86. package/www/codemirror/mode/commonlisp/commonlisp.js +0 -125
  87. package/www/codemirror/mode/crystal/crystal.js +0 -433
  88. package/www/codemirror/mode/css/css.js +0 -862
  89. package/www/codemirror/mode/cypher/cypher.js +0 -152
  90. package/www/codemirror/mode/d/d.js +0 -223
  91. package/www/codemirror/mode/dart/dart.js +0 -166
  92. package/www/codemirror/mode/diff/diff.js +0 -47
  93. package/www/codemirror/mode/django/django.js +0 -356
  94. package/www/codemirror/mode/dockerfile/dockerfile.js +0 -211
  95. package/www/codemirror/mode/dtd/dtd.js +0 -142
  96. package/www/codemirror/mode/dylan/dylan.js +0 -352
  97. package/www/codemirror/mode/ebnf/ebnf.js +0 -195
  98. package/www/codemirror/mode/ecl/ecl.js +0 -206
  99. package/www/codemirror/mode/eiffel/eiffel.js +0 -160
  100. package/www/codemirror/mode/elm/elm.js +0 -245
  101. package/www/codemirror/mode/erlang/erlang.js +0 -619
  102. package/www/codemirror/mode/factor/factor.js +0 -85
  103. package/www/codemirror/mode/fcl/fcl.js +0 -173
  104. package/www/codemirror/mode/forth/forth.js +0 -180
  105. package/www/codemirror/mode/fortran/fortran.js +0 -188
  106. package/www/codemirror/mode/gas/gas.js +0 -353
  107. package/www/codemirror/mode/gfm/gfm.js +0 -129
  108. package/www/codemirror/mode/gherkin/gherkin.js +0 -178
  109. package/www/codemirror/mode/go/go.js +0 -187
  110. package/www/codemirror/mode/groovy/groovy.js +0 -247
  111. package/www/codemirror/mode/haml/haml.js +0 -161
  112. package/www/codemirror/mode/handlebars/handlebars.js +0 -70
  113. package/www/codemirror/mode/haskell/haskell.js +0 -268
  114. package/www/codemirror/mode/haskell-literate/haskell-literate.js +0 -43
  115. package/www/codemirror/mode/haxe/haxe.js +0 -515
  116. package/www/codemirror/mode/htmlembedded/htmlembedded.js +0 -37
  117. package/www/codemirror/mode/htmlmixed/htmlmixed.js +0 -153
  118. package/www/codemirror/mode/http/http.js +0 -113
  119. package/www/codemirror/mode/idl/idl.js +0 -290
  120. package/www/codemirror/mode/jinja2/jinja2.js +0 -193
  121. package/www/codemirror/mode/jsx/jsx.js +0 -148
  122. package/www/codemirror/mode/julia/julia.js +0 -390
  123. package/www/codemirror/mode/livescript/livescript.js +0 -280
  124. package/www/codemirror/mode/lua/lua.js +0 -160
  125. package/www/codemirror/mode/markdown/markdown.js +0 -886
  126. package/www/codemirror/mode/mathematica/mathematica.js +0 -176
  127. package/www/codemirror/mode/mbox/mbox.js +0 -129
  128. package/www/codemirror/mode/meta.js +0 -221
  129. package/www/codemirror/mode/mirc/mirc.js +0 -193
  130. package/www/codemirror/mode/mllike/mllike.js +0 -359
  131. package/www/codemirror/mode/modelica/modelica.js +0 -245
  132. package/www/codemirror/mode/mscgen/mscgen.js +0 -175
  133. package/www/codemirror/mode/mumps/mumps.js +0 -148
  134. package/www/codemirror/mode/nginx/nginx.js +0 -178
  135. package/www/codemirror/mode/nsis/nsis.js +0 -95
  136. package/www/codemirror/mode/ntriples/ntriples.js +0 -195
  137. package/www/codemirror/mode/octave/octave.js +0 -139
  138. package/www/codemirror/mode/oz/oz.js +0 -252
  139. package/www/codemirror/mode/pascal/pascal.js +0 -136
  140. package/www/codemirror/mode/pegjs/pegjs.js +0 -111
  141. package/www/codemirror/mode/perl/perl.js +0 -836
  142. package/www/codemirror/mode/php/php.js +0 -234
  143. package/www/codemirror/mode/pig/pig.js +0 -178
  144. package/www/codemirror/mode/powershell/powershell.js +0 -398
  145. package/www/codemirror/mode/properties/properties.js +0 -78
  146. package/www/codemirror/mode/protobuf/protobuf.js +0 -72
  147. package/www/codemirror/mode/pug/pug.js +0 -591
  148. package/www/codemirror/mode/puppet/puppet.js +0 -220
  149. package/www/codemirror/mode/python/python.js +0 -402
  150. package/www/codemirror/mode/q/q.js +0 -139
  151. package/www/codemirror/mode/r/r.js +0 -190
  152. package/www/codemirror/mode/rpm/changes/index.html +0 -66
  153. package/www/codemirror/mode/rpm/rpm.js +0 -109
  154. package/www/codemirror/mode/rst/rst.js +0 -557
  155. package/www/codemirror/mode/ruby/ruby.js +0 -303
  156. package/www/codemirror/mode/rust/rust.js +0 -72
  157. package/www/codemirror/mode/sas/sas.js +0 -303
  158. package/www/codemirror/mode/sass/sass.js +0 -459
  159. package/www/codemirror/mode/scheme/scheme.js +0 -284
  160. package/www/codemirror/mode/shell/shell.js +0 -168
  161. package/www/codemirror/mode/sieve/sieve.js +0 -193
  162. package/www/codemirror/mode/slim/slim.js +0 -575
  163. package/www/codemirror/mode/smalltalk/smalltalk.js +0 -168
  164. package/www/codemirror/mode/smarty/smarty.js +0 -225
  165. package/www/codemirror/mode/solr/solr.js +0 -104
  166. package/www/codemirror/mode/soy/soy.js +0 -665
  167. package/www/codemirror/mode/sparql/sparql.js +0 -184
  168. package/www/codemirror/mode/spreadsheet/spreadsheet.js +0 -112
  169. package/www/codemirror/mode/sql/sql.js +0 -525
  170. package/www/codemirror/mode/stex/stex.js +0 -264
  171. package/www/codemirror/mode/stylus/stylus.js +0 -775
  172. package/www/codemirror/mode/swift/swift.js +0 -221
  173. package/www/codemirror/mode/tcl/tcl.js +0 -140
  174. package/www/codemirror/mode/textile/textile.js +0 -469
  175. package/www/codemirror/mode/tiddlywiki/tiddlywiki.css +0 -14
  176. package/www/codemirror/mode/tiddlywiki/tiddlywiki.js +0 -308
  177. package/www/codemirror/mode/tiki/tiki.css +0 -26
  178. package/www/codemirror/mode/tiki/tiki.js +0 -312
  179. package/www/codemirror/mode/toml/toml.js +0 -88
  180. package/www/codemirror/mode/tornado/tornado.js +0 -68
  181. package/www/codemirror/mode/troff/troff.js +0 -84
  182. package/www/codemirror/mode/ttcn/ttcn.js +0 -283
  183. package/www/codemirror/mode/ttcn-cfg/ttcn-cfg.js +0 -214
  184. package/www/codemirror/mode/turtle/turtle.js +0 -162
  185. package/www/codemirror/mode/twig/twig.js +0 -141
  186. package/www/codemirror/mode/vb/vb.js +0 -275
  187. package/www/codemirror/mode/vbscript/vbscript.js +0 -350
  188. package/www/codemirror/mode/velocity/velocity.js +0 -202
  189. package/www/codemirror/mode/verilog/verilog.js +0 -781
  190. package/www/codemirror/mode/vhdl/vhdl.js +0 -189
  191. package/www/codemirror/mode/vue/vue.js +0 -77
  192. package/www/codemirror/mode/wast/wast.js +0 -132
  193. package/www/codemirror/mode/webidl/webidl.js +0 -195
  194. package/www/codemirror/mode/xml/xml.js +0 -417
  195. package/www/codemirror/mode/xquery/xquery.js +0 -448
  196. package/www/codemirror/mode/yacas/yacas.js +0 -204
  197. package/www/codemirror/mode/yaml/yaml.js +0 -120
  198. package/www/codemirror/mode/yaml-frontmatter/yaml-frontmatter.js +0 -72
  199. package/www/codemirror/mode/z80/z80.js +0 -116
  200. package/www/codemirror/rollup.config.js +0 -52
  201. package/www/codemirror/src/addon/runmode/codemirror-standalone.js +0 -24
  202. package/www/codemirror/src/addon/runmode/codemirror.node.js +0 -21
  203. package/www/codemirror/src/addon/runmode/runmode-standalone.js +0 -2
  204. package/www/codemirror/src/addon/runmode/runmode.node.js +0 -2
  205. package/www/codemirror/src/codemirror.js +0 -3
  206. package/www/codemirror/src/display/Display.js +0 -116
  207. package/www/codemirror/src/display/focus.js +0 -50
  208. package/www/codemirror/src/display/gutters.js +0 -44
  209. package/www/codemirror/src/display/highlight_worker.js +0 -55
  210. package/www/codemirror/src/display/line_numbers.js +0 -48
  211. package/www/codemirror/src/display/mode_state.js +0 -22
  212. package/www/codemirror/src/display/operations.js +0 -206
  213. package/www/codemirror/src/display/scroll_events.js +0 -132
  214. package/www/codemirror/src/display/scrollbars.js +0 -194
  215. package/www/codemirror/src/display/scrolling.js +0 -186
  216. package/www/codemirror/src/display/selection.js +0 -173
  217. package/www/codemirror/src/display/update_display.js +0 -267
  218. package/www/codemirror/src/display/update_line.js +0 -189
  219. package/www/codemirror/src/display/update_lines.js +0 -82
  220. package/www/codemirror/src/display/view_tracking.js +0 -153
  221. package/www/codemirror/src/edit/CodeMirror.js +0 -217
  222. package/www/codemirror/src/edit/commands.js +0 -178
  223. package/www/codemirror/src/edit/deleteNearSelection.js +0 -30
  224. package/www/codemirror/src/edit/drop_events.js +0 -130
  225. package/www/codemirror/src/edit/fromTextArea.js +0 -61
  226. package/www/codemirror/src/edit/global_events.js +0 -45
  227. package/www/codemirror/src/edit/key_events.js +0 -163
  228. package/www/codemirror/src/edit/legacy.js +0 -62
  229. package/www/codemirror/src/edit/main.js +0 -69
  230. package/www/codemirror/src/edit/methods.js +0 -555
  231. package/www/codemirror/src/edit/mouse_events.js +0 -417
  232. package/www/codemirror/src/edit/options.js +0 -194
  233. package/www/codemirror/src/edit/utils.js +0 -7
  234. package/www/codemirror/src/input/ContentEditableInput.js +0 -546
  235. package/www/codemirror/src/input/TextareaInput.js +0 -380
  236. package/www/codemirror/src/input/indent.js +0 -71
  237. package/www/codemirror/src/input/input.js +0 -134
  238. package/www/codemirror/src/input/keymap.js +0 -147
  239. package/www/codemirror/src/input/keynames.js +0 -17
  240. package/www/codemirror/src/input/movement.js +0 -111
  241. package/www/codemirror/src/line/highlight.js +0 -284
  242. package/www/codemirror/src/line/line_data.js +0 -349
  243. package/www/codemirror/src/line/pos.js +0 -40
  244. package/www/codemirror/src/line/saw_special_spans.js +0 -10
  245. package/www/codemirror/src/line/spans.js +0 -390
  246. package/www/codemirror/src/line/utils_line.js +0 -85
  247. package/www/codemirror/src/measurement/position_measurement.js +0 -702
  248. package/www/codemirror/src/measurement/widgets.js +0 -26
  249. package/www/codemirror/src/model/Doc.js +0 -436
  250. package/www/codemirror/src/model/change_measurement.js +0 -61
  251. package/www/codemirror/src/model/changes.js +0 -339
  252. package/www/codemirror/src/model/chunk.js +0 -167
  253. package/www/codemirror/src/model/document_data.js +0 -112
  254. package/www/codemirror/src/model/history.js +0 -228
  255. package/www/codemirror/src/model/line_widget.js +0 -78
  256. package/www/codemirror/src/model/mark_text.js +0 -293
  257. package/www/codemirror/src/model/selection.js +0 -84
  258. package/www/codemirror/src/model/selection_updates.js +0 -216
  259. package/www/codemirror/src/modes.js +0 -96
  260. package/www/codemirror/src/util/StringStream.js +0 -90
  261. package/www/codemirror/src/util/bidi.js +0 -215
  262. package/www/codemirror/src/util/browser.js +0 -34
  263. package/www/codemirror/src/util/dom.js +0 -101
  264. package/www/codemirror/src/util/event.js +0 -103
  265. package/www/codemirror/src/util/feature_detection.js +0 -84
  266. package/www/codemirror/src/util/misc.js +0 -168
  267. package/www/codemirror/src/util/operation_group.js +0 -72
  268. package/www/codemirror/theme/3024-day.css +0 -41
  269. package/www/codemirror/theme/3024-night.css +0 -39
  270. package/www/codemirror/theme/abbott.css +0 -268
  271. package/www/codemirror/theme/abcdef.css +0 -32
  272. package/www/codemirror/theme/ambiance-mobile.css +0 -5
  273. package/www/codemirror/theme/ambiance.css +0 -74
  274. package/www/codemirror/theme/ayu-dark.css +0 -44
  275. package/www/codemirror/theme/ayu-mirage.css +0 -45
  276. package/www/codemirror/theme/base16-dark.css +0 -40
  277. package/www/codemirror/theme/base16-light.css +0 -38
  278. package/www/codemirror/theme/bespin.css +0 -34
  279. package/www/codemirror/theme/blackboard.css +0 -32
  280. package/www/codemirror/theme/cobalt.css +0 -25
  281. package/www/codemirror/theme/colorforth.css +0 -33
  282. package/www/codemirror/theme/darcula.css +0 -53
  283. package/www/codemirror/theme/dracula.css +0 -40
  284. package/www/codemirror/theme/duotone-dark.css +0 -35
  285. package/www/codemirror/theme/duotone-light.css +0 -36
  286. package/www/codemirror/theme/eclipse.css +0 -23
  287. package/www/codemirror/theme/elegant.css +0 -13
  288. package/www/codemirror/theme/erlang-dark.css +0 -34
  289. package/www/codemirror/theme/gruvbox-dark.css +0 -39
  290. package/www/codemirror/theme/hopscotch.css +0 -34
  291. package/www/codemirror/theme/icecoder.css +0 -43
  292. package/www/codemirror/theme/idea.css +0 -42
  293. package/www/codemirror/theme/isotope.css +0 -34
  294. package/www/codemirror/theme/juejin.css +0 -30
  295. package/www/codemirror/theme/lesser-dark.css +0 -47
  296. package/www/codemirror/theme/liquibyte.css +0 -95
  297. package/www/codemirror/theme/lucario.css +0 -37
  298. package/www/codemirror/theme/material-darker.css +0 -135
  299. package/www/codemirror/theme/material-palenight.css +0 -141
  300. package/www/codemirror/theme/material.css +0 -141
  301. package/www/codemirror/theme/mbo.css +0 -37
  302. package/www/codemirror/theme/mdn-like.css +0 -46
  303. package/www/codemirror/theme/midnight.css +0 -39
  304. package/www/codemirror/theme/monokai.css +0 -41
  305. package/www/codemirror/theme/moxer.css +0 -143
  306. package/www/codemirror/theme/neat.css +0 -12
  307. package/www/codemirror/theme/neo.css +0 -43
  308. package/www/codemirror/theme/night.css +0 -27
  309. package/www/codemirror/theme/nord.css +0 -42
  310. package/www/codemirror/theme/oceanic-next.css +0 -46
  311. package/www/codemirror/theme/panda-syntax.css +0 -85
  312. package/www/codemirror/theme/paraiso-dark.css +0 -38
  313. package/www/codemirror/theme/paraiso-light.css +0 -38
  314. package/www/codemirror/theme/pastel-on-dark.css +0 -52
  315. package/www/codemirror/theme/railscasts.css +0 -34
  316. package/www/codemirror/theme/rubyblue.css +0 -25
  317. package/www/codemirror/theme/seti.css +0 -44
  318. package/www/codemirror/theme/shadowfox.css +0 -52
  319. package/www/codemirror/theme/solarized.css +0 -165
  320. package/www/codemirror/theme/ssms.css +0 -16
  321. package/www/codemirror/theme/the-matrix.css +0 -30
  322. package/www/codemirror/theme/tomorrow-night-bright.css +0 -35
  323. package/www/codemirror/theme/tomorrow-night-eighties.css +0 -38
  324. package/www/codemirror/theme/ttcn.css +0 -64
  325. package/www/codemirror/theme/twilight.css +0 -32
  326. package/www/codemirror/theme/vibrant-ink.css +0 -34
  327. package/www/codemirror/theme/xq-dark.css +0 -53
  328. package/www/codemirror/theme/xq-light.css +0 -43
  329. package/www/codemirror/theme/yeti.css +0 -44
  330. package/www/codemirror/theme/yonce.css +0 -59
  331. package/www/codemirror/theme/zenburn.css +0 -37
@@ -1,252 +0,0 @@
1
- // CodeMirror, copyright (c) by Marijn Haverbeke and others
2
- // Distributed under an MIT license: https://codemirror.net/5/LICENSE
3
-
4
- (function(mod) {
5
- if (typeof exports == "object" && typeof module == "object") // CommonJS
6
- mod(require("../../lib/codemirror"));
7
- else if (typeof define == "function" && define.amd) // AMD
8
- define(["../../lib/codemirror"], mod);
9
- else // Plain browser env
10
- mod(CodeMirror);
11
- })(function(CodeMirror) {
12
- "use strict";
13
-
14
- CodeMirror.defineMode("oz", function (conf) {
15
-
16
- function wordRegexp(words) {
17
- return new RegExp("^((" + words.join(")|(") + "))\\b");
18
- }
19
-
20
- var singleOperators = /[\^@!\|<>#~\.\*\-\+\\/,=]/;
21
- var doubleOperators = /(<-)|(:=)|(=<)|(>=)|(<=)|(<:)|(>:)|(=:)|(\\=)|(\\=:)|(!!)|(==)|(::)/;
22
- var tripleOperators = /(:::)|(\.\.\.)|(=<:)|(>=:)/;
23
-
24
- var middle = ["in", "then", "else", "of", "elseof", "elsecase", "elseif", "catch",
25
- "finally", "with", "require", "prepare", "import", "export", "define", "do"];
26
- var end = ["end"];
27
-
28
- var atoms = wordRegexp(["true", "false", "nil", "unit"]);
29
- var commonKeywords = wordRegexp(["andthen", "at", "attr", "declare", "feat", "from", "lex",
30
- "mod", "div", "mode", "orelse", "parser", "prod", "prop", "scanner", "self", "syn", "token"]);
31
- var openingKeywords = wordRegexp(["local", "proc", "fun", "case", "class", "if", "cond", "or", "dis",
32
- "choice", "not", "thread", "try", "raise", "lock", "for", "suchthat", "meth", "functor"]);
33
- var middleKeywords = wordRegexp(middle);
34
- var endKeywords = wordRegexp(end);
35
-
36
- // Tokenizers
37
- function tokenBase(stream, state) {
38
- if (stream.eatSpace()) {
39
- return null;
40
- }
41
-
42
- // Brackets
43
- if(stream.match(/[{}]/)) {
44
- return "bracket";
45
- }
46
-
47
- // Special [] keyword
48
- if (stream.match('[]')) {
49
- return "keyword"
50
- }
51
-
52
- // Operators
53
- if (stream.match(tripleOperators) || stream.match(doubleOperators)) {
54
- return "operator";
55
- }
56
-
57
- // Atoms
58
- if(stream.match(atoms)) {
59
- return 'atom';
60
- }
61
-
62
- // Opening keywords
63
- var matched = stream.match(openingKeywords);
64
- if (matched) {
65
- if (!state.doInCurrentLine)
66
- state.currentIndent++;
67
- else
68
- state.doInCurrentLine = false;
69
-
70
- // Special matching for signatures
71
- if(matched[0] == "proc" || matched[0] == "fun")
72
- state.tokenize = tokenFunProc;
73
- else if(matched[0] == "class")
74
- state.tokenize = tokenClass;
75
- else if(matched[0] == "meth")
76
- state.tokenize = tokenMeth;
77
-
78
- return 'keyword';
79
- }
80
-
81
- // Middle and other keywords
82
- if (stream.match(middleKeywords) || stream.match(commonKeywords)) {
83
- return "keyword"
84
- }
85
-
86
- // End keywords
87
- if (stream.match(endKeywords)) {
88
- state.currentIndent--;
89
- return 'keyword';
90
- }
91
-
92
- // Eat the next char for next comparisons
93
- var ch = stream.next();
94
-
95
- // Strings
96
- if (ch == '"' || ch == "'") {
97
- state.tokenize = tokenString(ch);
98
- return state.tokenize(stream, state);
99
- }
100
-
101
- // Numbers
102
- if (/[~\d]/.test(ch)) {
103
- if (ch == "~") {
104
- if(! /^[0-9]/.test(stream.peek()))
105
- return null;
106
- else if (( stream.next() == "0" && stream.match(/^[xX][0-9a-fA-F]+/)) || stream.match(/^[0-9]*(\.[0-9]+)?([eE][~+]?[0-9]+)?/))
107
- return "number";
108
- }
109
-
110
- if ((ch == "0" && stream.match(/^[xX][0-9a-fA-F]+/)) || stream.match(/^[0-9]*(\.[0-9]+)?([eE][~+]?[0-9]+)?/))
111
- return "number";
112
-
113
- return null;
114
- }
115
-
116
- // Comments
117
- if (ch == "%") {
118
- stream.skipToEnd();
119
- return 'comment';
120
- }
121
- else if (ch == "/") {
122
- if (stream.eat("*")) {
123
- state.tokenize = tokenComment;
124
- return tokenComment(stream, state);
125
- }
126
- }
127
-
128
- // Single operators
129
- if(singleOperators.test(ch)) {
130
- return "operator";
131
- }
132
-
133
- // If nothing match, we skip the entire alphanumeric block
134
- stream.eatWhile(/\w/);
135
-
136
- return "variable";
137
- }
138
-
139
- function tokenClass(stream, state) {
140
- if (stream.eatSpace()) {
141
- return null;
142
- }
143
- stream.match(/([A-Z][A-Za-z0-9_]*)|(`.+`)/);
144
- state.tokenize = tokenBase;
145
- return "variable-3"
146
- }
147
-
148
- function tokenMeth(stream, state) {
149
- if (stream.eatSpace()) {
150
- return null;
151
- }
152
- stream.match(/([a-zA-Z][A-Za-z0-9_]*)|(`.+`)/);
153
- state.tokenize = tokenBase;
154
- return "def"
155
- }
156
-
157
- function tokenFunProc(stream, state) {
158
- if (stream.eatSpace()) {
159
- return null;
160
- }
161
-
162
- if(!state.hasPassedFirstStage && stream.eat("{")) {
163
- state.hasPassedFirstStage = true;
164
- return "bracket";
165
- }
166
- else if(state.hasPassedFirstStage) {
167
- stream.match(/([A-Z][A-Za-z0-9_]*)|(`.+`)|\$/);
168
- state.hasPassedFirstStage = false;
169
- state.tokenize = tokenBase;
170
- return "def"
171
- }
172
- else {
173
- state.tokenize = tokenBase;
174
- return null;
175
- }
176
- }
177
-
178
- function tokenComment(stream, state) {
179
- var maybeEnd = false, ch;
180
- while (ch = stream.next()) {
181
- if (ch == "/" && maybeEnd) {
182
- state.tokenize = tokenBase;
183
- break;
184
- }
185
- maybeEnd = (ch == "*");
186
- }
187
- return "comment";
188
- }
189
-
190
- function tokenString(quote) {
191
- return function (stream, state) {
192
- var escaped = false, next, end = false;
193
- while ((next = stream.next()) != null) {
194
- if (next == quote && !escaped) {
195
- end = true;
196
- break;
197
- }
198
- escaped = !escaped && next == "\\";
199
- }
200
- if (end || !escaped)
201
- state.tokenize = tokenBase;
202
- return "string";
203
- };
204
- }
205
-
206
- function buildElectricInputRegEx() {
207
- // Reindentation should occur on [] or on a match of any of
208
- // the block closing keywords, at the end of a line.
209
- var allClosings = middle.concat(end);
210
- return new RegExp("[\\[\\]]|(" + allClosings.join("|") + ")$");
211
- }
212
-
213
- return {
214
-
215
- startState: function () {
216
- return {
217
- tokenize: tokenBase,
218
- currentIndent: 0,
219
- doInCurrentLine: false,
220
- hasPassedFirstStage: false
221
- };
222
- },
223
-
224
- token: function (stream, state) {
225
- if (stream.sol())
226
- state.doInCurrentLine = 0;
227
-
228
- return state.tokenize(stream, state);
229
- },
230
-
231
- indent: function (state, textAfter) {
232
- var trueText = textAfter.replace(/^\s+|\s+$/g, '');
233
-
234
- if (trueText.match(endKeywords) || trueText.match(middleKeywords) || trueText.match(/(\[])/))
235
- return conf.indentUnit * (state.currentIndent - 1);
236
-
237
- if (state.currentIndent < 0)
238
- return 0;
239
-
240
- return state.currentIndent * conf.indentUnit;
241
- },
242
- fold: "indent",
243
- electricInput: buildElectricInputRegEx(),
244
- lineComment: "%",
245
- blockCommentStart: "/*",
246
- blockCommentEnd: "*/"
247
- };
248
- });
249
-
250
- CodeMirror.defineMIME("text/x-oz", "oz");
251
-
252
- });
@@ -1,136 +0,0 @@
1
- // CodeMirror, copyright (c) by Marijn Haverbeke and others
2
- // Distributed under an MIT license: https://codemirror.net/5/LICENSE
3
-
4
- (function(mod) {
5
- if (typeof exports == "object" && typeof module == "object") // CommonJS
6
- mod(require("../../lib/codemirror"));
7
- else if (typeof define == "function" && define.amd) // AMD
8
- define(["../../lib/codemirror"], mod);
9
- else // Plain browser env
10
- mod(CodeMirror);
11
- })(function(CodeMirror) {
12
- "use strict";
13
-
14
- CodeMirror.defineMode("pascal", function() {
15
- function words(str) {
16
- var obj = {}, words = str.split(" ");
17
- for (var i = 0; i < words.length; ++i) obj[words[i]] = true;
18
- return obj;
19
- }
20
- var keywords = words(
21
- "absolute and array asm begin case const constructor destructor div do " +
22
- "downto else end file for function goto if implementation in inherited " +
23
- "inline interface label mod nil not object of operator or packed procedure " +
24
- "program record reintroduce repeat self set shl shr string then to type " +
25
- "unit until uses var while with xor as class dispinterface except exports " +
26
- "finalization finally initialization inline is library on out packed " +
27
- "property raise resourcestring threadvar try absolute abstract alias " +
28
- "assembler bitpacked break cdecl continue cppdecl cvar default deprecated " +
29
- "dynamic enumerator experimental export external far far16 forward generic " +
30
- "helper implements index interrupt iocheck local message name near " +
31
- "nodefault noreturn nostackframe oldfpccall otherwise overload override " +
32
- "pascal platform private protected public published read register " +
33
- "reintroduce result safecall saveregisters softfloat specialize static " +
34
- "stdcall stored strict unaligned unimplemented varargs virtual write");
35
- var atoms = {"null": true};
36
-
37
- var isOperatorChar = /[+\-*&%=<>!?|\/]/;
38
-
39
- function tokenBase(stream, state) {
40
- var ch = stream.next();
41
- if (ch == "#" && state.startOfLine) {
42
- stream.skipToEnd();
43
- return "meta";
44
- }
45
- if (ch == '"' || ch == "'") {
46
- state.tokenize = tokenString(ch);
47
- return state.tokenize(stream, state);
48
- }
49
- if (ch == "(" && stream.eat("*")) {
50
- state.tokenize = tokenComment;
51
- return tokenComment(stream, state);
52
- }
53
- if (ch == "{") {
54
- state.tokenize = tokenCommentBraces;
55
- return tokenCommentBraces(stream, state);
56
- }
57
- if (/[\[\]\(\),;\:\.]/.test(ch)) {
58
- return null;
59
- }
60
- if (/\d/.test(ch)) {
61
- stream.eatWhile(/[\w\.]/);
62
- return "number";
63
- }
64
- if (ch == "/") {
65
- if (stream.eat("/")) {
66
- stream.skipToEnd();
67
- return "comment";
68
- }
69
- }
70
- if (isOperatorChar.test(ch)) {
71
- stream.eatWhile(isOperatorChar);
72
- return "operator";
73
- }
74
- stream.eatWhile(/[\w\$_]/);
75
- var cur = stream.current();
76
- if (keywords.propertyIsEnumerable(cur)) return "keyword";
77
- if (atoms.propertyIsEnumerable(cur)) return "atom";
78
- return "variable";
79
- }
80
-
81
- function tokenString(quote) {
82
- return function(stream, state) {
83
- var escaped = false, next, end = false;
84
- while ((next = stream.next()) != null) {
85
- if (next == quote && !escaped) {end = true; break;}
86
- escaped = !escaped && next == "\\";
87
- }
88
- if (end || !escaped) state.tokenize = null;
89
- return "string";
90
- };
91
- }
92
-
93
- function tokenComment(stream, state) {
94
- var maybeEnd = false, ch;
95
- while (ch = stream.next()) {
96
- if (ch == ")" && maybeEnd) {
97
- state.tokenize = null;
98
- break;
99
- }
100
- maybeEnd = (ch == "*");
101
- }
102
- return "comment";
103
- }
104
-
105
- function tokenCommentBraces(stream, state) {
106
- var ch;
107
- while (ch = stream.next()) {
108
- if (ch == "}") {
109
- state.tokenize = null;
110
- break;
111
- }
112
- }
113
- return "comment";
114
- }
115
-
116
- // Interface
117
-
118
- return {
119
- startState: function() {
120
- return {tokenize: null};
121
- },
122
-
123
- token: function(stream, state) {
124
- if (stream.eatSpace()) return null;
125
- var style = (state.tokenize || tokenBase)(stream, state);
126
- if (style == "comment" || style == "meta") return style;
127
- return style;
128
- },
129
-
130
- electricChars: "{}"
131
- };
132
- });
133
-
134
- CodeMirror.defineMIME("text/x-pascal", "pascal");
135
-
136
- });
@@ -1,111 +0,0 @@
1
- // CodeMirror, copyright (c) by Marijn Haverbeke and others
2
- // Distributed under an MIT license: https://codemirror.net/5/LICENSE
3
-
4
- (function(mod) {
5
- if (typeof exports == "object" && typeof module == "object") // CommonJS
6
- mod(require("../../lib/codemirror"), require("../javascript/javascript"));
7
- else if (typeof define == "function" && define.amd) // AMD
8
- define(["../../lib/codemirror", "../javascript/javascript"], mod);
9
- else // Plain browser env
10
- mod(CodeMirror);
11
- })(function(CodeMirror) {
12
- "use strict";
13
-
14
- CodeMirror.defineMode("pegjs", function (config) {
15
- var jsMode = CodeMirror.getMode(config, "javascript");
16
-
17
- function identifier(stream) {
18
- return stream.match(/^[a-zA-Z_][a-zA-Z0-9_]*/);
19
- }
20
-
21
- return {
22
- startState: function () {
23
- return {
24
- inString: false,
25
- stringType: null,
26
- inComment: false,
27
- inCharacterClass: false,
28
- braced: 0,
29
- lhs: true,
30
- localState: null
31
- };
32
- },
33
- token: function (stream, state) {
34
- //check for state changes
35
- if (!state.inString && !state.inComment && ((stream.peek() == '"') || (stream.peek() == "'"))) {
36
- state.stringType = stream.peek();
37
- stream.next(); // Skip quote
38
- state.inString = true; // Update state
39
- }
40
- if (!state.inString && !state.inComment && stream.match('/*')) {
41
- state.inComment = true;
42
- }
43
-
44
- if (state.inString) {
45
- while (state.inString && !stream.eol()) {
46
- if (stream.peek() === state.stringType) {
47
- stream.next(); // Skip quote
48
- state.inString = false; // Clear flag
49
- } else if (stream.peek() === '\\') {
50
- stream.next();
51
- stream.next();
52
- } else {
53
- stream.match(/^.[^\\\"\']*/);
54
- }
55
- }
56
- return state.lhs ? "property string" : "string"; // Token style
57
- } else if (state.inComment) {
58
- while (state.inComment && !stream.eol()) {
59
- if (stream.match('*/')) {
60
- state.inComment = false; // Clear flag
61
- } else {
62
- stream.match(/^.[^\*]*/);
63
- }
64
- }
65
- return "comment";
66
- } else if (state.inCharacterClass) {
67
- while (state.inCharacterClass && !stream.eol()) {
68
- if (!(stream.match(/^[^\]\\]+/) || stream.match(/^\\./))) {
69
- state.inCharacterClass = false;
70
- }
71
- }
72
- } else if (stream.peek() === '[') {
73
- stream.next();
74
- state.inCharacterClass = true;
75
- return 'bracket';
76
- } else if (stream.match('//')) {
77
- stream.skipToEnd();
78
- return "comment";
79
- } else if (state.braced || stream.peek() === '{') {
80
- if (state.localState === null) {
81
- state.localState = CodeMirror.startState(jsMode);
82
- }
83
- var token = jsMode.token(stream, state.localState);
84
- var text = stream.current();
85
- if (!token) {
86
- for (var i = 0; i < text.length; i++) {
87
- if (text[i] === '{') {
88
- state.braced++;
89
- } else if (text[i] === '}') {
90
- state.braced--;
91
- }
92
- };
93
- }
94
- return token;
95
- } else if (identifier(stream)) {
96
- if (stream.peek() === ':') {
97
- return 'variable';
98
- }
99
- return 'variable-2';
100
- } else if (['[', ']', '(', ')'].indexOf(stream.peek()) != -1) {
101
- stream.next();
102
- return 'bracket';
103
- } else if (!stream.eatSpace()) {
104
- stream.next();
105
- }
106
- return null;
107
- }
108
- };
109
- }, "javascript");
110
-
111
- });