@muze-nl/simplystore 0.1.2

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 (366) hide show
  1. package/.dockerignore +8 -0
  2. package/.github/workflows/docker-build.yml +45 -0
  3. package/.gitignore~ +1 -0
  4. package/Dockerfile +60 -0
  5. package/LICENSE +21 -0
  6. package/README.md +99 -0
  7. package/data.jsontag +20 -0
  8. package/design/access-management.md +25 -0
  9. package/design/acid.md +31 -0
  10. package/design/commands.md +25 -0
  11. package/design/identity.md +71 -0
  12. package/design/immutability.md +26 -0
  13. package/design/jsontag-selector.md +365 -0
  14. package/design/multitasking.md +13 -0
  15. package/design/thoughts.md +32 -0
  16. package/docs/docker.md +129 -0
  17. package/package.json +29 -0
  18. package/package.json~ +29 -0
  19. package/src/run.mjs +3 -0
  20. package/src/server.mjs +323 -0
  21. package/src/triplestore.mjs +182 -0
  22. package/www/assets/css/style.css +2296 -0
  23. package/www/assets/feather-sprite.svg +1 -0
  24. package/www/assets/img/simplystore-narrow-white.svg +138 -0
  25. package/www/assets/img/simplystore-narrow.svg +138 -0
  26. package/www/assets/img/simplystore-white.svg +153 -0
  27. package/www/assets/img/simplystore.svg +153 -0
  28. package/www/codemirror/AUTHORS +979 -0
  29. package/www/codemirror/CHANGELOG.md +2208 -0
  30. package/www/codemirror/CONTRIBUTING.md +92 -0
  31. package/www/codemirror/LICENSE +21 -0
  32. package/www/codemirror/README.md +47 -0
  33. package/www/codemirror/addon/comment/comment.js +211 -0
  34. package/www/codemirror/addon/comment/continuecomment.js +114 -0
  35. package/www/codemirror/addon/dialog/dialog.css +32 -0
  36. package/www/codemirror/addon/dialog/dialog.js +163 -0
  37. package/www/codemirror/addon/display/autorefresh.js +47 -0
  38. package/www/codemirror/addon/display/fullscreen.css +6 -0
  39. package/www/codemirror/addon/display/fullscreen.js +41 -0
  40. package/www/codemirror/addon/display/panel.js +133 -0
  41. package/www/codemirror/addon/display/placeholder.js +78 -0
  42. package/www/codemirror/addon/display/rulers.js +51 -0
  43. package/www/codemirror/addon/edit/closebrackets.js +201 -0
  44. package/www/codemirror/addon/edit/closetag.js +185 -0
  45. package/www/codemirror/addon/edit/continuelist.js +101 -0
  46. package/www/codemirror/addon/edit/matchbrackets.js +160 -0
  47. package/www/codemirror/addon/edit/matchtags.js +66 -0
  48. package/www/codemirror/addon/edit/trailingspace.js +27 -0
  49. package/www/codemirror/addon/fold/brace-fold.js +119 -0
  50. package/www/codemirror/addon/fold/comment-fold.js +59 -0
  51. package/www/codemirror/addon/fold/foldcode.js +159 -0
  52. package/www/codemirror/addon/fold/foldgutter.css +20 -0
  53. package/www/codemirror/addon/fold/foldgutter.js +169 -0
  54. package/www/codemirror/addon/fold/indent-fold.js +48 -0
  55. package/www/codemirror/addon/fold/markdown-fold.js +49 -0
  56. package/www/codemirror/addon/fold/xml-fold.js +184 -0
  57. package/www/codemirror/addon/hint/anyword-hint.js +41 -0
  58. package/www/codemirror/addon/hint/css-hint.js +66 -0
  59. package/www/codemirror/addon/hint/html-hint.js +351 -0
  60. package/www/codemirror/addon/hint/javascript-hint.js +162 -0
  61. package/www/codemirror/addon/hint/show-hint.css +37 -0
  62. package/www/codemirror/addon/hint/show-hint.js +523 -0
  63. package/www/codemirror/addon/hint/sql-hint.js +304 -0
  64. package/www/codemirror/addon/hint/xml-hint.js +132 -0
  65. package/www/codemirror/addon/lint/coffeescript-lint.js +47 -0
  66. package/www/codemirror/addon/lint/css-lint.js +40 -0
  67. package/www/codemirror/addon/lint/html-lint.js +59 -0
  68. package/www/codemirror/addon/lint/javascript-lint.js +65 -0
  69. package/www/codemirror/addon/lint/json-lint.js +40 -0
  70. package/www/codemirror/addon/lint/lint.css +79 -0
  71. package/www/codemirror/addon/lint/lint.js +291 -0
  72. package/www/codemirror/addon/lint/yaml-lint.js +41 -0
  73. package/www/codemirror/addon/merge/merge.css +119 -0
  74. package/www/codemirror/addon/merge/merge.js +1018 -0
  75. package/www/codemirror/addon/mode/loadmode.js +66 -0
  76. package/www/codemirror/addon/mode/multiplex.js +136 -0
  77. package/www/codemirror/addon/mode/multiplex_test.js +49 -0
  78. package/www/codemirror/addon/mode/overlay.js +90 -0
  79. package/www/codemirror/addon/mode/simple.js +216 -0
  80. package/www/codemirror/addon/runmode/colorize.js +40 -0
  81. package/www/codemirror/addon/runmode/runmode-standalone.js +334 -0
  82. package/www/codemirror/addon/runmode/runmode.js +76 -0
  83. package/www/codemirror/addon/runmode/runmode.node.js +329 -0
  84. package/www/codemirror/addon/scroll/annotatescrollbar.js +128 -0
  85. package/www/codemirror/addon/scroll/scrollpastend.js +48 -0
  86. package/www/codemirror/addon/scroll/simplescrollbars.css +66 -0
  87. package/www/codemirror/addon/scroll/simplescrollbars.js +152 -0
  88. package/www/codemirror/addon/search/jump-to-line.js +53 -0
  89. package/www/codemirror/addon/search/match-highlighter.js +167 -0
  90. package/www/codemirror/addon/search/matchesonscrollbar.css +8 -0
  91. package/www/codemirror/addon/search/matchesonscrollbar.js +97 -0
  92. package/www/codemirror/addon/search/search.js +295 -0
  93. package/www/codemirror/addon/search/searchcursor.js +305 -0
  94. package/www/codemirror/addon/selection/active-line.js +72 -0
  95. package/www/codemirror/addon/selection/mark-selection.js +119 -0
  96. package/www/codemirror/addon/selection/selection-pointer.js +98 -0
  97. package/www/codemirror/addon/tern/tern.css +87 -0
  98. package/www/codemirror/addon/tern/tern.js +756 -0
  99. package/www/codemirror/addon/tern/worker.js +44 -0
  100. package/www/codemirror/addon/wrap/hardwrap.js +160 -0
  101. package/www/codemirror/bin/source-highlight +48 -0
  102. package/www/codemirror/keymap/emacs.js +545 -0
  103. package/www/codemirror/keymap/sublime.js +720 -0
  104. package/www/codemirror/keymap/vim.js +5978 -0
  105. package/www/codemirror/lib/codemirror.css +344 -0
  106. package/www/codemirror/lib/codemirror.js +9874 -0
  107. package/www/codemirror/mode/apl/apl.js +174 -0
  108. package/www/codemirror/mode/asciiarmor/asciiarmor.js +74 -0
  109. package/www/codemirror/mode/asn.1/asn.1.js +204 -0
  110. package/www/codemirror/mode/asterisk/asterisk.js +220 -0
  111. package/www/codemirror/mode/brainfuck/brainfuck.js +85 -0
  112. package/www/codemirror/mode/clike/clike.js +940 -0
  113. package/www/codemirror/mode/clojure/clojure.js +292 -0
  114. package/www/codemirror/mode/cmake/cmake.js +97 -0
  115. package/www/codemirror/mode/cobol/cobol.js +255 -0
  116. package/www/codemirror/mode/coffeescript/coffeescript.js +359 -0
  117. package/www/codemirror/mode/commonlisp/commonlisp.js +125 -0
  118. package/www/codemirror/mode/crystal/crystal.js +433 -0
  119. package/www/codemirror/mode/css/css.js +862 -0
  120. package/www/codemirror/mode/cypher/cypher.js +152 -0
  121. package/www/codemirror/mode/d/d.js +223 -0
  122. package/www/codemirror/mode/dart/dart.js +166 -0
  123. package/www/codemirror/mode/diff/diff.js +47 -0
  124. package/www/codemirror/mode/django/django.js +356 -0
  125. package/www/codemirror/mode/dockerfile/dockerfile.js +211 -0
  126. package/www/codemirror/mode/dtd/dtd.js +142 -0
  127. package/www/codemirror/mode/dylan/dylan.js +352 -0
  128. package/www/codemirror/mode/ebnf/ebnf.js +195 -0
  129. package/www/codemirror/mode/ecl/ecl.js +206 -0
  130. package/www/codemirror/mode/eiffel/eiffel.js +160 -0
  131. package/www/codemirror/mode/elm/elm.js +245 -0
  132. package/www/codemirror/mode/erlang/erlang.js +619 -0
  133. package/www/codemirror/mode/factor/factor.js +85 -0
  134. package/www/codemirror/mode/fcl/fcl.js +173 -0
  135. package/www/codemirror/mode/forth/forth.js +180 -0
  136. package/www/codemirror/mode/fortran/fortran.js +188 -0
  137. package/www/codemirror/mode/gas/gas.js +353 -0
  138. package/www/codemirror/mode/gfm/gfm.js +129 -0
  139. package/www/codemirror/mode/gherkin/gherkin.js +178 -0
  140. package/www/codemirror/mode/go/go.js +187 -0
  141. package/www/codemirror/mode/groovy/groovy.js +247 -0
  142. package/www/codemirror/mode/haml/haml.js +161 -0
  143. package/www/codemirror/mode/handlebars/handlebars.js +70 -0
  144. package/www/codemirror/mode/haskell/haskell.js +268 -0
  145. package/www/codemirror/mode/haskell-literate/haskell-literate.js +43 -0
  146. package/www/codemirror/mode/haxe/haxe.js +515 -0
  147. package/www/codemirror/mode/htmlembedded/htmlembedded.js +37 -0
  148. package/www/codemirror/mode/htmlmixed/htmlmixed.js +153 -0
  149. package/www/codemirror/mode/http/http.js +113 -0
  150. package/www/codemirror/mode/idl/idl.js +290 -0
  151. package/www/codemirror/mode/javascript/javascript.js +960 -0
  152. package/www/codemirror/mode/jinja2/jinja2.js +193 -0
  153. package/www/codemirror/mode/jsx/jsx.js +148 -0
  154. package/www/codemirror/mode/julia/julia.js +390 -0
  155. package/www/codemirror/mode/livescript/livescript.js +280 -0
  156. package/www/codemirror/mode/lua/lua.js +160 -0
  157. package/www/codemirror/mode/markdown/markdown.js +886 -0
  158. package/www/codemirror/mode/mathematica/mathematica.js +176 -0
  159. package/www/codemirror/mode/mbox/mbox.js +129 -0
  160. package/www/codemirror/mode/meta.js +221 -0
  161. package/www/codemirror/mode/mirc/mirc.js +193 -0
  162. package/www/codemirror/mode/mllike/mllike.js +359 -0
  163. package/www/codemirror/mode/modelica/modelica.js +245 -0
  164. package/www/codemirror/mode/mscgen/mscgen.js +175 -0
  165. package/www/codemirror/mode/mumps/mumps.js +148 -0
  166. package/www/codemirror/mode/nginx/nginx.js +178 -0
  167. package/www/codemirror/mode/nsis/nsis.js +95 -0
  168. package/www/codemirror/mode/ntriples/ntriples.js +195 -0
  169. package/www/codemirror/mode/octave/octave.js +139 -0
  170. package/www/codemirror/mode/oz/oz.js +252 -0
  171. package/www/codemirror/mode/pascal/pascal.js +136 -0
  172. package/www/codemirror/mode/pegjs/pegjs.js +111 -0
  173. package/www/codemirror/mode/perl/perl.js +836 -0
  174. package/www/codemirror/mode/php/php.js +234 -0
  175. package/www/codemirror/mode/pig/pig.js +178 -0
  176. package/www/codemirror/mode/powershell/powershell.js +398 -0
  177. package/www/codemirror/mode/properties/properties.js +78 -0
  178. package/www/codemirror/mode/protobuf/protobuf.js +72 -0
  179. package/www/codemirror/mode/pug/pug.js +591 -0
  180. package/www/codemirror/mode/puppet/puppet.js +220 -0
  181. package/www/codemirror/mode/python/python.js +402 -0
  182. package/www/codemirror/mode/q/q.js +139 -0
  183. package/www/codemirror/mode/r/r.js +190 -0
  184. package/www/codemirror/mode/rpm/changes/index.html +66 -0
  185. package/www/codemirror/mode/rpm/rpm.js +109 -0
  186. package/www/codemirror/mode/rst/rst.js +557 -0
  187. package/www/codemirror/mode/ruby/ruby.js +303 -0
  188. package/www/codemirror/mode/rust/rust.js +72 -0
  189. package/www/codemirror/mode/sas/sas.js +303 -0
  190. package/www/codemirror/mode/sass/sass.js +459 -0
  191. package/www/codemirror/mode/scheme/scheme.js +284 -0
  192. package/www/codemirror/mode/shell/shell.js +168 -0
  193. package/www/codemirror/mode/sieve/sieve.js +193 -0
  194. package/www/codemirror/mode/slim/slim.js +575 -0
  195. package/www/codemirror/mode/smalltalk/smalltalk.js +168 -0
  196. package/www/codemirror/mode/smarty/smarty.js +225 -0
  197. package/www/codemirror/mode/solr/solr.js +104 -0
  198. package/www/codemirror/mode/soy/soy.js +665 -0
  199. package/www/codemirror/mode/sparql/sparql.js +184 -0
  200. package/www/codemirror/mode/spreadsheet/spreadsheet.js +112 -0
  201. package/www/codemirror/mode/sql/sql.js +525 -0
  202. package/www/codemirror/mode/stex/stex.js +264 -0
  203. package/www/codemirror/mode/stylus/stylus.js +775 -0
  204. package/www/codemirror/mode/swift/swift.js +221 -0
  205. package/www/codemirror/mode/tcl/tcl.js +140 -0
  206. package/www/codemirror/mode/textile/textile.js +469 -0
  207. package/www/codemirror/mode/tiddlywiki/tiddlywiki.css +14 -0
  208. package/www/codemirror/mode/tiddlywiki/tiddlywiki.js +308 -0
  209. package/www/codemirror/mode/tiki/tiki.css +26 -0
  210. package/www/codemirror/mode/tiki/tiki.js +312 -0
  211. package/www/codemirror/mode/toml/toml.js +88 -0
  212. package/www/codemirror/mode/tornado/tornado.js +68 -0
  213. package/www/codemirror/mode/troff/troff.js +84 -0
  214. package/www/codemirror/mode/ttcn/ttcn.js +283 -0
  215. package/www/codemirror/mode/ttcn-cfg/ttcn-cfg.js +214 -0
  216. package/www/codemirror/mode/turtle/turtle.js +162 -0
  217. package/www/codemirror/mode/twig/twig.js +141 -0
  218. package/www/codemirror/mode/vb/vb.js +275 -0
  219. package/www/codemirror/mode/vbscript/vbscript.js +350 -0
  220. package/www/codemirror/mode/velocity/velocity.js +202 -0
  221. package/www/codemirror/mode/verilog/verilog.js +781 -0
  222. package/www/codemirror/mode/vhdl/vhdl.js +189 -0
  223. package/www/codemirror/mode/vue/vue.js +77 -0
  224. package/www/codemirror/mode/wast/wast.js +132 -0
  225. package/www/codemirror/mode/webidl/webidl.js +195 -0
  226. package/www/codemirror/mode/xml/xml.js +417 -0
  227. package/www/codemirror/mode/xquery/xquery.js +448 -0
  228. package/www/codemirror/mode/yacas/yacas.js +204 -0
  229. package/www/codemirror/mode/yaml/yaml.js +120 -0
  230. package/www/codemirror/mode/yaml-frontmatter/yaml-frontmatter.js +72 -0
  231. package/www/codemirror/mode/z80/z80.js +116 -0
  232. package/www/codemirror/package.json +52 -0
  233. package/www/codemirror/rollup.config.js +52 -0
  234. package/www/codemirror/src/addon/runmode/codemirror-standalone.js +24 -0
  235. package/www/codemirror/src/addon/runmode/codemirror.node.js +21 -0
  236. package/www/codemirror/src/addon/runmode/runmode-standalone.js +2 -0
  237. package/www/codemirror/src/addon/runmode/runmode.node.js +2 -0
  238. package/www/codemirror/src/codemirror.js +3 -0
  239. package/www/codemirror/src/display/Display.js +116 -0
  240. package/www/codemirror/src/display/focus.js +50 -0
  241. package/www/codemirror/src/display/gutters.js +44 -0
  242. package/www/codemirror/src/display/highlight_worker.js +55 -0
  243. package/www/codemirror/src/display/line_numbers.js +48 -0
  244. package/www/codemirror/src/display/mode_state.js +22 -0
  245. package/www/codemirror/src/display/operations.js +206 -0
  246. package/www/codemirror/src/display/scroll_events.js +132 -0
  247. package/www/codemirror/src/display/scrollbars.js +194 -0
  248. package/www/codemirror/src/display/scrolling.js +186 -0
  249. package/www/codemirror/src/display/selection.js +173 -0
  250. package/www/codemirror/src/display/update_display.js +267 -0
  251. package/www/codemirror/src/display/update_line.js +189 -0
  252. package/www/codemirror/src/display/update_lines.js +82 -0
  253. package/www/codemirror/src/display/view_tracking.js +153 -0
  254. package/www/codemirror/src/edit/CodeMirror.js +217 -0
  255. package/www/codemirror/src/edit/commands.js +178 -0
  256. package/www/codemirror/src/edit/deleteNearSelection.js +30 -0
  257. package/www/codemirror/src/edit/drop_events.js +130 -0
  258. package/www/codemirror/src/edit/fromTextArea.js +61 -0
  259. package/www/codemirror/src/edit/global_events.js +45 -0
  260. package/www/codemirror/src/edit/key_events.js +163 -0
  261. package/www/codemirror/src/edit/legacy.js +62 -0
  262. package/www/codemirror/src/edit/main.js +69 -0
  263. package/www/codemirror/src/edit/methods.js +555 -0
  264. package/www/codemirror/src/edit/mouse_events.js +417 -0
  265. package/www/codemirror/src/edit/options.js +194 -0
  266. package/www/codemirror/src/edit/utils.js +7 -0
  267. package/www/codemirror/src/input/ContentEditableInput.js +546 -0
  268. package/www/codemirror/src/input/TextareaInput.js +380 -0
  269. package/www/codemirror/src/input/indent.js +71 -0
  270. package/www/codemirror/src/input/input.js +134 -0
  271. package/www/codemirror/src/input/keymap.js +147 -0
  272. package/www/codemirror/src/input/keynames.js +17 -0
  273. package/www/codemirror/src/input/movement.js +111 -0
  274. package/www/codemirror/src/line/highlight.js +284 -0
  275. package/www/codemirror/src/line/line_data.js +349 -0
  276. package/www/codemirror/src/line/pos.js +40 -0
  277. package/www/codemirror/src/line/saw_special_spans.js +10 -0
  278. package/www/codemirror/src/line/spans.js +390 -0
  279. package/www/codemirror/src/line/utils_line.js +85 -0
  280. package/www/codemirror/src/measurement/position_measurement.js +702 -0
  281. package/www/codemirror/src/measurement/widgets.js +26 -0
  282. package/www/codemirror/src/model/Doc.js +436 -0
  283. package/www/codemirror/src/model/change_measurement.js +61 -0
  284. package/www/codemirror/src/model/changes.js +339 -0
  285. package/www/codemirror/src/model/chunk.js +167 -0
  286. package/www/codemirror/src/model/document_data.js +112 -0
  287. package/www/codemirror/src/model/history.js +228 -0
  288. package/www/codemirror/src/model/line_widget.js +78 -0
  289. package/www/codemirror/src/model/mark_text.js +293 -0
  290. package/www/codemirror/src/model/selection.js +84 -0
  291. package/www/codemirror/src/model/selection_updates.js +216 -0
  292. package/www/codemirror/src/modes.js +96 -0
  293. package/www/codemirror/src/util/StringStream.js +90 -0
  294. package/www/codemirror/src/util/bidi.js +215 -0
  295. package/www/codemirror/src/util/browser.js +34 -0
  296. package/www/codemirror/src/util/dom.js +101 -0
  297. package/www/codemirror/src/util/event.js +103 -0
  298. package/www/codemirror/src/util/feature_detection.js +84 -0
  299. package/www/codemirror/src/util/misc.js +168 -0
  300. package/www/codemirror/src/util/operation_group.js +72 -0
  301. package/www/codemirror/theme/3024-day.css +41 -0
  302. package/www/codemirror/theme/3024-night.css +39 -0
  303. package/www/codemirror/theme/abbott.css +268 -0
  304. package/www/codemirror/theme/abcdef.css +32 -0
  305. package/www/codemirror/theme/ambiance-mobile.css +5 -0
  306. package/www/codemirror/theme/ambiance.css +74 -0
  307. package/www/codemirror/theme/ayu-dark.css +44 -0
  308. package/www/codemirror/theme/ayu-mirage.css +45 -0
  309. package/www/codemirror/theme/base16-dark.css +40 -0
  310. package/www/codemirror/theme/base16-light.css +38 -0
  311. package/www/codemirror/theme/bespin.css +34 -0
  312. package/www/codemirror/theme/blackboard.css +32 -0
  313. package/www/codemirror/theme/cobalt.css +25 -0
  314. package/www/codemirror/theme/colorforth.css +33 -0
  315. package/www/codemirror/theme/darcula.css +53 -0
  316. package/www/codemirror/theme/dracula.css +40 -0
  317. package/www/codemirror/theme/duotone-dark.css +35 -0
  318. package/www/codemirror/theme/duotone-light.css +36 -0
  319. package/www/codemirror/theme/eclipse.css +23 -0
  320. package/www/codemirror/theme/elegant.css +13 -0
  321. package/www/codemirror/theme/erlang-dark.css +34 -0
  322. package/www/codemirror/theme/gruvbox-dark.css +39 -0
  323. package/www/codemirror/theme/hopscotch.css +34 -0
  324. package/www/codemirror/theme/icecoder.css +43 -0
  325. package/www/codemirror/theme/idea.css +42 -0
  326. package/www/codemirror/theme/isotope.css +34 -0
  327. package/www/codemirror/theme/juejin.css +30 -0
  328. package/www/codemirror/theme/lesser-dark.css +47 -0
  329. package/www/codemirror/theme/liquibyte.css +95 -0
  330. package/www/codemirror/theme/lucario.css +37 -0
  331. package/www/codemirror/theme/material-darker.css +135 -0
  332. package/www/codemirror/theme/material-ocean.css +141 -0
  333. package/www/codemirror/theme/material-palenight.css +141 -0
  334. package/www/codemirror/theme/material.css +141 -0
  335. package/www/codemirror/theme/mbo.css +37 -0
  336. package/www/codemirror/theme/mdn-like.css +46 -0
  337. package/www/codemirror/theme/midnight.css +39 -0
  338. package/www/codemirror/theme/monokai.css +41 -0
  339. package/www/codemirror/theme/moxer.css +143 -0
  340. package/www/codemirror/theme/neat.css +12 -0
  341. package/www/codemirror/theme/neo.css +43 -0
  342. package/www/codemirror/theme/night.css +27 -0
  343. package/www/codemirror/theme/nord.css +42 -0
  344. package/www/codemirror/theme/oceanic-next.css +46 -0
  345. package/www/codemirror/theme/panda-syntax.css +85 -0
  346. package/www/codemirror/theme/paraiso-dark.css +38 -0
  347. package/www/codemirror/theme/paraiso-light.css +38 -0
  348. package/www/codemirror/theme/pastel-on-dark.css +52 -0
  349. package/www/codemirror/theme/railscasts.css +34 -0
  350. package/www/codemirror/theme/rubyblue.css +25 -0
  351. package/www/codemirror/theme/seti.css +44 -0
  352. package/www/codemirror/theme/shadowfox.css +52 -0
  353. package/www/codemirror/theme/solarized.css +165 -0
  354. package/www/codemirror/theme/ssms.css +16 -0
  355. package/www/codemirror/theme/the-matrix.css +30 -0
  356. package/www/codemirror/theme/tomorrow-night-bright.css +35 -0
  357. package/www/codemirror/theme/tomorrow-night-eighties.css +38 -0
  358. package/www/codemirror/theme/ttcn.css +64 -0
  359. package/www/codemirror/theme/twilight.css +32 -0
  360. package/www/codemirror/theme/vibrant-ink.css +34 -0
  361. package/www/codemirror/theme/xq-dark.css +53 -0
  362. package/www/codemirror/theme/xq-light.css +43 -0
  363. package/www/codemirror/theme/yeti.css +44 -0
  364. package/www/codemirror/theme/yonce.css +59 -0
  365. package/www/codemirror/theme/zenburn.css +37 -0
  366. package/www/index.html +216 -0
@@ -0,0 +1,557 @@
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("../python/python"), require("../stex/stex"), require("../../addon/mode/overlay"));
7
+ else if (typeof define == "function" && define.amd) // AMD
8
+ define(["../../lib/codemirror", "../python/python", "../stex/stex", "../../addon/mode/overlay"], mod);
9
+ else // Plain browser env
10
+ mod(CodeMirror);
11
+ })(function(CodeMirror) {
12
+ "use strict";
13
+
14
+ CodeMirror.defineMode('rst', function (config, options) {
15
+
16
+ var rx_strong = /^\*\*[^\*\s](?:[^\*]*[^\*\s])?\*\*/;
17
+ var rx_emphasis = /^\*[^\*\s](?:[^\*]*[^\*\s])?\*/;
18
+ var rx_literal = /^``[^`\s](?:[^`]*[^`\s])``/;
19
+
20
+ var rx_number = /^(?:[\d]+(?:[\.,]\d+)*)/;
21
+ var rx_positive = /^(?:\s\+[\d]+(?:[\.,]\d+)*)/;
22
+ var rx_negative = /^(?:\s\-[\d]+(?:[\.,]\d+)*)/;
23
+
24
+ var rx_uri_protocol = "[Hh][Tt][Tt][Pp][Ss]?://";
25
+ var rx_uri_domain = "(?:[\\d\\w.-]+)\\.(?:\\w{2,6})";
26
+ var rx_uri_path = "(?:/[\\d\\w\\#\\%\\&\\-\\.\\,\\/\\:\\=\\?\\~]+)*";
27
+ var rx_uri = new RegExp("^" + rx_uri_protocol + rx_uri_domain + rx_uri_path);
28
+
29
+ var overlay = {
30
+ token: function (stream) {
31
+
32
+ if (stream.match(rx_strong) && stream.match (/\W+|$/, false))
33
+ return 'strong';
34
+ if (stream.match(rx_emphasis) && stream.match (/\W+|$/, false))
35
+ return 'em';
36
+ if (stream.match(rx_literal) && stream.match (/\W+|$/, false))
37
+ return 'string-2';
38
+ if (stream.match(rx_number))
39
+ return 'number';
40
+ if (stream.match(rx_positive))
41
+ return 'positive';
42
+ if (stream.match(rx_negative))
43
+ return 'negative';
44
+ if (stream.match(rx_uri))
45
+ return 'link';
46
+
47
+ while (stream.next() != null) {
48
+ if (stream.match(rx_strong, false)) break;
49
+ if (stream.match(rx_emphasis, false)) break;
50
+ if (stream.match(rx_literal, false)) break;
51
+ if (stream.match(rx_number, false)) break;
52
+ if (stream.match(rx_positive, false)) break;
53
+ if (stream.match(rx_negative, false)) break;
54
+ if (stream.match(rx_uri, false)) break;
55
+ }
56
+
57
+ return null;
58
+ }
59
+ };
60
+
61
+ var mode = CodeMirror.getMode(
62
+ config, options.backdrop || 'rst-base'
63
+ );
64
+
65
+ return CodeMirror.overlayMode(mode, overlay, true); // combine
66
+ }, 'python', 'stex');
67
+
68
+ ///////////////////////////////////////////////////////////////////////////////
69
+ ///////////////////////////////////////////////////////////////////////////////
70
+
71
+ CodeMirror.defineMode('rst-base', function (config) {
72
+
73
+ ///////////////////////////////////////////////////////////////////////////
74
+ ///////////////////////////////////////////////////////////////////////////
75
+
76
+ function format(string) {
77
+ var args = Array.prototype.slice.call(arguments, 1);
78
+ return string.replace(/{(\d+)}/g, function (match, n) {
79
+ return typeof args[n] != 'undefined' ? args[n] : match;
80
+ });
81
+ }
82
+
83
+ ///////////////////////////////////////////////////////////////////////////
84
+ ///////////////////////////////////////////////////////////////////////////
85
+
86
+ var mode_python = CodeMirror.getMode(config, 'python');
87
+ var mode_stex = CodeMirror.getMode(config, 'stex');
88
+
89
+ ///////////////////////////////////////////////////////////////////////////
90
+ ///////////////////////////////////////////////////////////////////////////
91
+
92
+ var SEPA = "\\s+";
93
+ var TAIL = "(?:\\s*|\\W|$)",
94
+ rx_TAIL = new RegExp(format('^{0}', TAIL));
95
+
96
+ var NAME =
97
+ "(?:[^\\W\\d_](?:[\\w!\"#$%&'()\\*\\+,\\-\\.\/:;<=>\\?]*[^\\W_])?)",
98
+ rx_NAME = new RegExp(format('^{0}', NAME));
99
+ var NAME_WWS =
100
+ "(?:[^\\W\\d_](?:[\\w\\s!\"#$%&'()\\*\\+,\\-\\.\/:;<=>\\?]*[^\\W_])?)";
101
+ var REF_NAME = format('(?:{0}|`{1}`)', NAME, NAME_WWS);
102
+
103
+ var TEXT1 = "(?:[^\\s\\|](?:[^\\|]*[^\\s\\|])?)";
104
+ var TEXT2 = "(?:[^\\`]+)",
105
+ rx_TEXT2 = new RegExp(format('^{0}', TEXT2));
106
+
107
+ var rx_section = new RegExp(
108
+ "^([!'#$%&\"()*+,-./:;<=>?@\\[\\\\\\]^_`{|}~])\\1{3,}\\s*$");
109
+ var rx_explicit = new RegExp(
110
+ format('^\\.\\.{0}', SEPA));
111
+ var rx_link = new RegExp(
112
+ format('^_{0}:{1}|^__:{1}', REF_NAME, TAIL));
113
+ var rx_directive = new RegExp(
114
+ format('^{0}::{1}', REF_NAME, TAIL));
115
+ var rx_substitution = new RegExp(
116
+ format('^\\|{0}\\|{1}{2}::{3}', TEXT1, SEPA, REF_NAME, TAIL));
117
+ var rx_footnote = new RegExp(
118
+ format('^\\[(?:\\d+|#{0}?|\\*)]{1}', REF_NAME, TAIL));
119
+ var rx_citation = new RegExp(
120
+ format('^\\[{0}\\]{1}', REF_NAME, TAIL));
121
+
122
+ var rx_substitution_ref = new RegExp(
123
+ format('^\\|{0}\\|', TEXT1));
124
+ var rx_footnote_ref = new RegExp(
125
+ format('^\\[(?:\\d+|#{0}?|\\*)]_', REF_NAME));
126
+ var rx_citation_ref = new RegExp(
127
+ format('^\\[{0}\\]_', REF_NAME));
128
+ var rx_link_ref1 = new RegExp(
129
+ format('^{0}__?', REF_NAME));
130
+ var rx_link_ref2 = new RegExp(
131
+ format('^`{0}`_', TEXT2));
132
+
133
+ var rx_role_pre = new RegExp(
134
+ format('^:{0}:`{1}`{2}', NAME, TEXT2, TAIL));
135
+ var rx_role_suf = new RegExp(
136
+ format('^`{1}`:{0}:{2}', NAME, TEXT2, TAIL));
137
+ var rx_role = new RegExp(
138
+ format('^:{0}:{1}', NAME, TAIL));
139
+
140
+ var rx_directive_name = new RegExp(format('^{0}', REF_NAME));
141
+ var rx_directive_tail = new RegExp(format('^::{0}', TAIL));
142
+ var rx_substitution_text = new RegExp(format('^\\|{0}\\|', TEXT1));
143
+ var rx_substitution_sepa = new RegExp(format('^{0}', SEPA));
144
+ var rx_substitution_name = new RegExp(format('^{0}', REF_NAME));
145
+ var rx_substitution_tail = new RegExp(format('^::{0}', TAIL));
146
+ var rx_link_head = new RegExp("^_");
147
+ var rx_link_name = new RegExp(format('^{0}|_', REF_NAME));
148
+ var rx_link_tail = new RegExp(format('^:{0}', TAIL));
149
+
150
+ var rx_verbatim = new RegExp('^::\\s*$');
151
+ var rx_examples = new RegExp('^\\s+(?:>>>|In \\[\\d+\\]:)\\s');
152
+
153
+ ///////////////////////////////////////////////////////////////////////////
154
+ ///////////////////////////////////////////////////////////////////////////
155
+
156
+ function to_normal(stream, state) {
157
+ var token = null;
158
+
159
+ if (stream.sol() && stream.match(rx_examples, false)) {
160
+ change(state, to_mode, {
161
+ mode: mode_python, local: CodeMirror.startState(mode_python)
162
+ });
163
+ } else if (stream.sol() && stream.match(rx_explicit)) {
164
+ change(state, to_explicit);
165
+ token = 'meta';
166
+ } else if (stream.sol() && stream.match(rx_section)) {
167
+ change(state, to_normal);
168
+ token = 'header';
169
+ } else if (phase(state) == rx_role_pre ||
170
+ stream.match(rx_role_pre, false)) {
171
+
172
+ switch (stage(state)) {
173
+ case 0:
174
+ change(state, to_normal, context(rx_role_pre, 1));
175
+ stream.match(/^:/);
176
+ token = 'meta';
177
+ break;
178
+ case 1:
179
+ change(state, to_normal, context(rx_role_pre, 2));
180
+ stream.match(rx_NAME);
181
+ token = 'keyword';
182
+
183
+ if (stream.current().match(/^(?:math|latex)/)) {
184
+ state.tmp_stex = true;
185
+ }
186
+ break;
187
+ case 2:
188
+ change(state, to_normal, context(rx_role_pre, 3));
189
+ stream.match(/^:`/);
190
+ token = 'meta';
191
+ break;
192
+ case 3:
193
+ if (state.tmp_stex) {
194
+ state.tmp_stex = undefined; state.tmp = {
195
+ mode: mode_stex, local: CodeMirror.startState(mode_stex)
196
+ };
197
+ }
198
+
199
+ if (state.tmp) {
200
+ if (stream.peek() == '`') {
201
+ change(state, to_normal, context(rx_role_pre, 4));
202
+ state.tmp = undefined;
203
+ break;
204
+ }
205
+
206
+ token = state.tmp.mode.token(stream, state.tmp.local);
207
+ break;
208
+ }
209
+
210
+ change(state, to_normal, context(rx_role_pre, 4));
211
+ stream.match(rx_TEXT2);
212
+ token = 'string';
213
+ break;
214
+ case 4:
215
+ change(state, to_normal, context(rx_role_pre, 5));
216
+ stream.match(/^`/);
217
+ token = 'meta';
218
+ break;
219
+ case 5:
220
+ change(state, to_normal, context(rx_role_pre, 6));
221
+ stream.match(rx_TAIL);
222
+ break;
223
+ default:
224
+ change(state, to_normal);
225
+ }
226
+ } else if (phase(state) == rx_role_suf ||
227
+ stream.match(rx_role_suf, false)) {
228
+
229
+ switch (stage(state)) {
230
+ case 0:
231
+ change(state, to_normal, context(rx_role_suf, 1));
232
+ stream.match(/^`/);
233
+ token = 'meta';
234
+ break;
235
+ case 1:
236
+ change(state, to_normal, context(rx_role_suf, 2));
237
+ stream.match(rx_TEXT2);
238
+ token = 'string';
239
+ break;
240
+ case 2:
241
+ change(state, to_normal, context(rx_role_suf, 3));
242
+ stream.match(/^`:/);
243
+ token = 'meta';
244
+ break;
245
+ case 3:
246
+ change(state, to_normal, context(rx_role_suf, 4));
247
+ stream.match(rx_NAME);
248
+ token = 'keyword';
249
+ break;
250
+ case 4:
251
+ change(state, to_normal, context(rx_role_suf, 5));
252
+ stream.match(/^:/);
253
+ token = 'meta';
254
+ break;
255
+ case 5:
256
+ change(state, to_normal, context(rx_role_suf, 6));
257
+ stream.match(rx_TAIL);
258
+ break;
259
+ default:
260
+ change(state, to_normal);
261
+ }
262
+ } else if (phase(state) == rx_role || stream.match(rx_role, false)) {
263
+
264
+ switch (stage(state)) {
265
+ case 0:
266
+ change(state, to_normal, context(rx_role, 1));
267
+ stream.match(/^:/);
268
+ token = 'meta';
269
+ break;
270
+ case 1:
271
+ change(state, to_normal, context(rx_role, 2));
272
+ stream.match(rx_NAME);
273
+ token = 'keyword';
274
+ break;
275
+ case 2:
276
+ change(state, to_normal, context(rx_role, 3));
277
+ stream.match(/^:/);
278
+ token = 'meta';
279
+ break;
280
+ case 3:
281
+ change(state, to_normal, context(rx_role, 4));
282
+ stream.match(rx_TAIL);
283
+ break;
284
+ default:
285
+ change(state, to_normal);
286
+ }
287
+ } else if (phase(state) == rx_substitution_ref ||
288
+ stream.match(rx_substitution_ref, false)) {
289
+
290
+ switch (stage(state)) {
291
+ case 0:
292
+ change(state, to_normal, context(rx_substitution_ref, 1));
293
+ stream.match(rx_substitution_text);
294
+ token = 'variable-2';
295
+ break;
296
+ case 1:
297
+ change(state, to_normal, context(rx_substitution_ref, 2));
298
+ if (stream.match(/^_?_?/)) token = 'link';
299
+ break;
300
+ default:
301
+ change(state, to_normal);
302
+ }
303
+ } else if (stream.match(rx_footnote_ref)) {
304
+ change(state, to_normal);
305
+ token = 'quote';
306
+ } else if (stream.match(rx_citation_ref)) {
307
+ change(state, to_normal);
308
+ token = 'quote';
309
+ } else if (stream.match(rx_link_ref1)) {
310
+ change(state, to_normal);
311
+ if (!stream.peek() || stream.peek().match(/^\W$/)) {
312
+ token = 'link';
313
+ }
314
+ } else if (phase(state) == rx_link_ref2 ||
315
+ stream.match(rx_link_ref2, false)) {
316
+
317
+ switch (stage(state)) {
318
+ case 0:
319
+ if (!stream.peek() || stream.peek().match(/^\W$/)) {
320
+ change(state, to_normal, context(rx_link_ref2, 1));
321
+ } else {
322
+ stream.match(rx_link_ref2);
323
+ }
324
+ break;
325
+ case 1:
326
+ change(state, to_normal, context(rx_link_ref2, 2));
327
+ stream.match(/^`/);
328
+ token = 'link';
329
+ break;
330
+ case 2:
331
+ change(state, to_normal, context(rx_link_ref2, 3));
332
+ stream.match(rx_TEXT2);
333
+ break;
334
+ case 3:
335
+ change(state, to_normal, context(rx_link_ref2, 4));
336
+ stream.match(/^`_/);
337
+ token = 'link';
338
+ break;
339
+ default:
340
+ change(state, to_normal);
341
+ }
342
+ } else if (stream.match(rx_verbatim)) {
343
+ change(state, to_verbatim);
344
+ }
345
+
346
+ else {
347
+ if (stream.next()) change(state, to_normal);
348
+ }
349
+
350
+ return token;
351
+ }
352
+
353
+ ///////////////////////////////////////////////////////////////////////////
354
+ ///////////////////////////////////////////////////////////////////////////
355
+
356
+ function to_explicit(stream, state) {
357
+ var token = null;
358
+
359
+ if (phase(state) == rx_substitution ||
360
+ stream.match(rx_substitution, false)) {
361
+
362
+ switch (stage(state)) {
363
+ case 0:
364
+ change(state, to_explicit, context(rx_substitution, 1));
365
+ stream.match(rx_substitution_text);
366
+ token = 'variable-2';
367
+ break;
368
+ case 1:
369
+ change(state, to_explicit, context(rx_substitution, 2));
370
+ stream.match(rx_substitution_sepa);
371
+ break;
372
+ case 2:
373
+ change(state, to_explicit, context(rx_substitution, 3));
374
+ stream.match(rx_substitution_name);
375
+ token = 'keyword';
376
+ break;
377
+ case 3:
378
+ change(state, to_explicit, context(rx_substitution, 4));
379
+ stream.match(rx_substitution_tail);
380
+ token = 'meta';
381
+ break;
382
+ default:
383
+ change(state, to_normal);
384
+ }
385
+ } else if (phase(state) == rx_directive ||
386
+ stream.match(rx_directive, false)) {
387
+
388
+ switch (stage(state)) {
389
+ case 0:
390
+ change(state, to_explicit, context(rx_directive, 1));
391
+ stream.match(rx_directive_name);
392
+ token = 'keyword';
393
+
394
+ if (stream.current().match(/^(?:math|latex)/))
395
+ state.tmp_stex = true;
396
+ else if (stream.current().match(/^python/))
397
+ state.tmp_py = true;
398
+ break;
399
+ case 1:
400
+ change(state, to_explicit, context(rx_directive, 2));
401
+ stream.match(rx_directive_tail);
402
+ token = 'meta';
403
+
404
+ if (stream.match(/^latex\s*$/) || state.tmp_stex) {
405
+ state.tmp_stex = undefined; change(state, to_mode, {
406
+ mode: mode_stex, local: CodeMirror.startState(mode_stex)
407
+ });
408
+ }
409
+ break;
410
+ case 2:
411
+ change(state, to_explicit, context(rx_directive, 3));
412
+ if (stream.match(/^python\s*$/) || state.tmp_py) {
413
+ state.tmp_py = undefined; change(state, to_mode, {
414
+ mode: mode_python, local: CodeMirror.startState(mode_python)
415
+ });
416
+ }
417
+ break;
418
+ default:
419
+ change(state, to_normal);
420
+ }
421
+ } else if (phase(state) == rx_link || stream.match(rx_link, false)) {
422
+
423
+ switch (stage(state)) {
424
+ case 0:
425
+ change(state, to_explicit, context(rx_link, 1));
426
+ stream.match(rx_link_head);
427
+ stream.match(rx_link_name);
428
+ token = 'link';
429
+ break;
430
+ case 1:
431
+ change(state, to_explicit, context(rx_link, 2));
432
+ stream.match(rx_link_tail);
433
+ token = 'meta';
434
+ break;
435
+ default:
436
+ change(state, to_normal);
437
+ }
438
+ } else if (stream.match(rx_footnote)) {
439
+ change(state, to_normal);
440
+ token = 'quote';
441
+ } else if (stream.match(rx_citation)) {
442
+ change(state, to_normal);
443
+ token = 'quote';
444
+ }
445
+
446
+ else {
447
+ stream.eatSpace();
448
+ if (stream.eol()) {
449
+ change(state, to_normal);
450
+ } else {
451
+ stream.skipToEnd();
452
+ change(state, to_comment);
453
+ token = 'comment';
454
+ }
455
+ }
456
+
457
+ return token;
458
+ }
459
+
460
+ ///////////////////////////////////////////////////////////////////////////
461
+ ///////////////////////////////////////////////////////////////////////////
462
+
463
+ function to_comment(stream, state) {
464
+ return as_block(stream, state, 'comment');
465
+ }
466
+
467
+ function to_verbatim(stream, state) {
468
+ return as_block(stream, state, 'meta');
469
+ }
470
+
471
+ function as_block(stream, state, token) {
472
+ if (stream.eol() || stream.eatSpace()) {
473
+ stream.skipToEnd();
474
+ return token;
475
+ } else {
476
+ change(state, to_normal);
477
+ return null;
478
+ }
479
+ }
480
+
481
+ ///////////////////////////////////////////////////////////////////////////
482
+ ///////////////////////////////////////////////////////////////////////////
483
+
484
+ function to_mode(stream, state) {
485
+
486
+ if (state.ctx.mode && state.ctx.local) {
487
+
488
+ if (stream.sol()) {
489
+ if (!stream.eatSpace()) change(state, to_normal);
490
+ return null;
491
+ }
492
+
493
+ return state.ctx.mode.token(stream, state.ctx.local);
494
+ }
495
+
496
+ change(state, to_normal);
497
+ return null;
498
+ }
499
+
500
+ ///////////////////////////////////////////////////////////////////////////
501
+ ///////////////////////////////////////////////////////////////////////////
502
+
503
+ function context(phase, stage, mode, local) {
504
+ return {phase: phase, stage: stage, mode: mode, local: local};
505
+ }
506
+
507
+ function change(state, tok, ctx) {
508
+ state.tok = tok;
509
+ state.ctx = ctx || {};
510
+ }
511
+
512
+ function stage(state) {
513
+ return state.ctx.stage || 0;
514
+ }
515
+
516
+ function phase(state) {
517
+ return state.ctx.phase;
518
+ }
519
+
520
+ ///////////////////////////////////////////////////////////////////////////
521
+ ///////////////////////////////////////////////////////////////////////////
522
+
523
+ return {
524
+ startState: function () {
525
+ return {tok: to_normal, ctx: context(undefined, 0)};
526
+ },
527
+
528
+ copyState: function (state) {
529
+ var ctx = state.ctx, tmp = state.tmp;
530
+ if (ctx.local)
531
+ ctx = {mode: ctx.mode, local: CodeMirror.copyState(ctx.mode, ctx.local)};
532
+ if (tmp)
533
+ tmp = {mode: tmp.mode, local: CodeMirror.copyState(tmp.mode, tmp.local)};
534
+ return {tok: state.tok, ctx: ctx, tmp: tmp};
535
+ },
536
+
537
+ innerMode: function (state) {
538
+ return state.tmp ? {state: state.tmp.local, mode: state.tmp.mode}
539
+ : state.ctx.mode ? {state: state.ctx.local, mode: state.ctx.mode}
540
+ : null;
541
+ },
542
+
543
+ token: function (stream, state) {
544
+ return state.tok(stream, state);
545
+ }
546
+ };
547
+ }, 'python', 'stex');
548
+
549
+ ///////////////////////////////////////////////////////////////////////////////
550
+ ///////////////////////////////////////////////////////////////////////////////
551
+
552
+ CodeMirror.defineMIME('text/x-rst', 'rst');
553
+
554
+ ///////////////////////////////////////////////////////////////////////////////
555
+ ///////////////////////////////////////////////////////////////////////////////
556
+
557
+ });