@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,756 @@
1
+ // CodeMirror, copyright (c) by Marijn Haverbeke and others
2
+ // Distributed under an MIT license: https://codemirror.net/5/LICENSE
3
+
4
+ // Glue code between CodeMirror and Tern.
5
+ //
6
+ // Create a CodeMirror.TernServer to wrap an actual Tern server,
7
+ // register open documents (CodeMirror.Doc instances) with it, and
8
+ // call its methods to activate the assisting functions that Tern
9
+ // provides.
10
+ //
11
+ // Options supported (all optional):
12
+ // * defs: An array of JSON definition data structures.
13
+ // * plugins: An object mapping plugin names to configuration
14
+ // options.
15
+ // * getFile: A function(name, c) that can be used to access files in
16
+ // the project that haven't been loaded yet. Simply do c(null) to
17
+ // indicate that a file is not available.
18
+ // * fileFilter: A function(value, docName, doc) that will be applied
19
+ // to documents before passing them on to Tern.
20
+ // * switchToDoc: A function(name, doc) that should, when providing a
21
+ // multi-file view, switch the view or focus to the named file.
22
+ // * showError: A function(editor, message) that can be used to
23
+ // override the way errors are displayed.
24
+ // * completionTip: Customize the content in tooltips for completions.
25
+ // Is passed a single argument—the completion's data as returned by
26
+ // Tern—and may return a string, DOM node, or null to indicate that
27
+ // no tip should be shown. By default the docstring is shown.
28
+ // * typeTip: Like completionTip, but for the tooltips shown for type
29
+ // queries.
30
+ // * responseFilter: A function(doc, query, request, error, data) that
31
+ // will be applied to the Tern responses before treating them
32
+ //
33
+ //
34
+ // It is possible to run the Tern server in a web worker by specifying
35
+ // these additional options:
36
+ // * useWorker: Set to true to enable web worker mode. You'll probably
37
+ // want to feature detect the actual value you use here, for example
38
+ // !!window.Worker.
39
+ // * workerScript: The main script of the worker. Point this to
40
+ // wherever you are hosting worker.js from this directory.
41
+ // * workerDeps: An array of paths pointing (relative to workerScript)
42
+ // to the Acorn and Tern libraries and any Tern plugins you want to
43
+ // load. Or, if you minified those into a single script and included
44
+ // them in the workerScript, simply leave this undefined.
45
+
46
+ (function(mod) {
47
+ if (typeof exports == "object" && typeof module == "object") // CommonJS
48
+ mod(require("../../lib/codemirror"));
49
+ else if (typeof define == "function" && define.amd) // AMD
50
+ define(["../../lib/codemirror"], mod);
51
+ else // Plain browser env
52
+ mod(CodeMirror);
53
+ })(function(CodeMirror) {
54
+ "use strict";
55
+ // declare global: tern
56
+
57
+ CodeMirror.TernServer = function(options) {
58
+ var self = this;
59
+ this.options = options || {};
60
+ var plugins = this.options.plugins || (this.options.plugins = {});
61
+ if (!plugins.doc_comment) plugins.doc_comment = true;
62
+ this.docs = Object.create(null);
63
+ if (this.options.useWorker) {
64
+ this.server = new WorkerServer(this);
65
+ } else {
66
+ this.server = new tern.Server({
67
+ getFile: function(name, c) { return getFile(self, name, c); },
68
+ async: true,
69
+ defs: this.options.defs || [],
70
+ plugins: plugins
71
+ });
72
+ }
73
+ this.trackChange = function(doc, change) { trackChange(self, doc, change); };
74
+
75
+ this.cachedArgHints = null;
76
+ this.activeArgHints = null;
77
+ this.jumpStack = [];
78
+
79
+ this.getHint = function(cm, c) { return hint(self, cm, c); };
80
+ this.getHint.async = true;
81
+ };
82
+
83
+ CodeMirror.TernServer.prototype = {
84
+ addDoc: function(name, doc) {
85
+ var data = {doc: doc, name: name, changed: null};
86
+ this.server.addFile(name, docValue(this, data));
87
+ CodeMirror.on(doc, "change", this.trackChange);
88
+ return this.docs[name] = data;
89
+ },
90
+
91
+ delDoc: function(id) {
92
+ var found = resolveDoc(this, id);
93
+ if (!found) return;
94
+ CodeMirror.off(found.doc, "change", this.trackChange);
95
+ delete this.docs[found.name];
96
+ this.server.delFile(found.name);
97
+ },
98
+
99
+ hideDoc: function(id) {
100
+ closeArgHints(this);
101
+ var found = resolveDoc(this, id);
102
+ if (found && found.changed) sendDoc(this, found);
103
+ },
104
+
105
+ complete: function(cm) {
106
+ cm.showHint({hint: this.getHint});
107
+ },
108
+
109
+ showType: function(cm, pos, c) { showContextInfo(this, cm, pos, "type", c); },
110
+
111
+ showDocs: function(cm, pos, c) { showContextInfo(this, cm, pos, "documentation", c); },
112
+
113
+ updateArgHints: function(cm) { updateArgHints(this, cm); },
114
+
115
+ jumpToDef: function(cm) { jumpToDef(this, cm); },
116
+
117
+ jumpBack: function(cm) { jumpBack(this, cm); },
118
+
119
+ rename: function(cm) { rename(this, cm); },
120
+
121
+ selectName: function(cm) { selectName(this, cm); },
122
+
123
+ request: function (cm, query, c, pos) {
124
+ var self = this;
125
+ var doc = findDoc(this, cm.getDoc());
126
+ var request = buildRequest(this, doc, query, pos);
127
+ var extraOptions = request.query && this.options.queryOptions && this.options.queryOptions[request.query.type]
128
+ if (extraOptions) for (var prop in extraOptions) request.query[prop] = extraOptions[prop];
129
+
130
+ this.server.request(request, function (error, data) {
131
+ if (!error && self.options.responseFilter)
132
+ data = self.options.responseFilter(doc, query, request, error, data);
133
+ c(error, data);
134
+ });
135
+ },
136
+
137
+ destroy: function () {
138
+ closeArgHints(this)
139
+ if (this.worker) {
140
+ this.worker.terminate();
141
+ this.worker = null;
142
+ }
143
+ }
144
+ };
145
+
146
+ var Pos = CodeMirror.Pos;
147
+ var cls = "CodeMirror-Tern-";
148
+ var bigDoc = 250;
149
+
150
+ function getFile(ts, name, c) {
151
+ var buf = ts.docs[name];
152
+ if (buf)
153
+ c(docValue(ts, buf));
154
+ else if (ts.options.getFile)
155
+ ts.options.getFile(name, c);
156
+ else
157
+ c(null);
158
+ }
159
+
160
+ function findDoc(ts, doc, name) {
161
+ for (var n in ts.docs) {
162
+ var cur = ts.docs[n];
163
+ if (cur.doc == doc) return cur;
164
+ }
165
+ if (!name) for (var i = 0;; ++i) {
166
+ n = "[doc" + (i || "") + "]";
167
+ if (!ts.docs[n]) { name = n; break; }
168
+ }
169
+ return ts.addDoc(name, doc);
170
+ }
171
+
172
+ function resolveDoc(ts, id) {
173
+ if (typeof id == "string") return ts.docs[id];
174
+ if (id instanceof CodeMirror) id = id.getDoc();
175
+ if (id instanceof CodeMirror.Doc) return findDoc(ts, id);
176
+ }
177
+
178
+ function trackChange(ts, doc, change) {
179
+ var data = findDoc(ts, doc);
180
+
181
+ var argHints = ts.cachedArgHints;
182
+ if (argHints && argHints.doc == doc && cmpPos(argHints.start, change.to) >= 0)
183
+ ts.cachedArgHints = null;
184
+
185
+ var changed = data.changed;
186
+ if (changed == null)
187
+ data.changed = changed = {from: change.from.line, to: change.from.line};
188
+ var end = change.from.line + (change.text.length - 1);
189
+ if (change.from.line < changed.to) changed.to = changed.to - (change.to.line - end);
190
+ if (end >= changed.to) changed.to = end + 1;
191
+ if (changed.from > change.from.line) changed.from = change.from.line;
192
+
193
+ if (doc.lineCount() > bigDoc && change.to - changed.from > 100) setTimeout(function() {
194
+ if (data.changed && data.changed.to - data.changed.from > 100) sendDoc(ts, data);
195
+ }, 200);
196
+ }
197
+
198
+ function sendDoc(ts, doc) {
199
+ ts.server.request({files: [{type: "full", name: doc.name, text: docValue(ts, doc)}]}, function(error) {
200
+ if (error) window.console.error(error);
201
+ else doc.changed = null;
202
+ });
203
+ }
204
+
205
+ // Completion
206
+
207
+ function hint(ts, cm, c) {
208
+ ts.request(cm, {type: "completions", types: true, docs: true, urls: true}, function(error, data) {
209
+ if (error) return showError(ts, cm, error);
210
+ var completions = [], after = "";
211
+ var from = data.start, to = data.end;
212
+ if (cm.getRange(Pos(from.line, from.ch - 2), from) == "[\"" &&
213
+ cm.getRange(to, Pos(to.line, to.ch + 2)) != "\"]")
214
+ after = "\"]";
215
+
216
+ for (var i = 0; i < data.completions.length; ++i) {
217
+ var completion = data.completions[i], className = typeToIcon(completion.type);
218
+ if (data.guess) className += " " + cls + "guess";
219
+ completions.push({text: completion.name + after,
220
+ displayText: completion.displayName || completion.name,
221
+ className: className,
222
+ data: completion});
223
+ }
224
+
225
+ var obj = {from: from, to: to, list: completions};
226
+ var tooltip = null;
227
+ CodeMirror.on(obj, "close", function() { remove(tooltip); });
228
+ CodeMirror.on(obj, "update", function() { remove(tooltip); });
229
+ CodeMirror.on(obj, "select", function(cur, node) {
230
+ remove(tooltip);
231
+ var content = ts.options.completionTip ? ts.options.completionTip(cur.data) : cur.data.doc;
232
+ if (content) {
233
+ tooltip = makeTooltip(node.parentNode.getBoundingClientRect().right + window.pageXOffset,
234
+ node.getBoundingClientRect().top + window.pageYOffset, content, cm, cls + "hint-doc");
235
+ }
236
+ });
237
+ c(obj);
238
+ });
239
+ }
240
+
241
+ function typeToIcon(type) {
242
+ var suffix;
243
+ if (type == "?") suffix = "unknown";
244
+ else if (type == "number" || type == "string" || type == "bool") suffix = type;
245
+ else if (/^fn\(/.test(type)) suffix = "fn";
246
+ else if (/^\[/.test(type)) suffix = "array";
247
+ else suffix = "object";
248
+ return cls + "completion " + cls + "completion-" + suffix;
249
+ }
250
+
251
+ // Type queries
252
+
253
+ function showContextInfo(ts, cm, pos, queryName, c) {
254
+ ts.request(cm, queryName, function(error, data) {
255
+ if (error) return showError(ts, cm, error);
256
+ if (ts.options.typeTip) {
257
+ var tip = ts.options.typeTip(data);
258
+ } else {
259
+ var tip = elt("span", null, elt("strong", null, data.type || "not found"));
260
+ if (data.doc)
261
+ tip.appendChild(document.createTextNode(" — " + data.doc));
262
+ if (data.url) {
263
+ tip.appendChild(document.createTextNode(" "));
264
+ var child = tip.appendChild(elt("a", null, "[docs]"));
265
+ child.href = data.url;
266
+ child.target = "_blank";
267
+ }
268
+ }
269
+ tempTooltip(cm, tip, ts);
270
+ if (c) c();
271
+ }, pos);
272
+ }
273
+
274
+ // Maintaining argument hints
275
+
276
+ function updateArgHints(ts, cm) {
277
+ closeArgHints(ts);
278
+
279
+ if (cm.somethingSelected()) return;
280
+ var state = cm.getTokenAt(cm.getCursor()).state;
281
+ var inner = CodeMirror.innerMode(cm.getMode(), state);
282
+ if (inner.mode.name != "javascript") return;
283
+ var lex = inner.state.lexical;
284
+ if (lex.info != "call") return;
285
+
286
+ var ch, argPos = lex.pos || 0, tabSize = cm.getOption("tabSize");
287
+ for (var line = cm.getCursor().line, e = Math.max(0, line - 9), found = false; line >= e; --line) {
288
+ var str = cm.getLine(line), extra = 0;
289
+ for (var pos = 0;;) {
290
+ var tab = str.indexOf("\t", pos);
291
+ if (tab == -1) break;
292
+ extra += tabSize - (tab + extra) % tabSize - 1;
293
+ pos = tab + 1;
294
+ }
295
+ ch = lex.column - extra;
296
+ if (str.charAt(ch) == "(") {found = true; break;}
297
+ }
298
+ if (!found) return;
299
+
300
+ var start = Pos(line, ch);
301
+ var cache = ts.cachedArgHints;
302
+ if (cache && cache.doc == cm.getDoc() && cmpPos(start, cache.start) == 0)
303
+ return showArgHints(ts, cm, argPos);
304
+
305
+ ts.request(cm, {type: "type", preferFunction: true, end: start}, function(error, data) {
306
+ if (error || !data.type || !(/^fn\(/).test(data.type)) return;
307
+ ts.cachedArgHints = {
308
+ start: start,
309
+ type: parseFnType(data.type),
310
+ name: data.exprName || data.name || "fn",
311
+ guess: data.guess,
312
+ doc: cm.getDoc()
313
+ };
314
+ showArgHints(ts, cm, argPos);
315
+ });
316
+ }
317
+
318
+ function showArgHints(ts, cm, pos) {
319
+ closeArgHints(ts);
320
+
321
+ var cache = ts.cachedArgHints, tp = cache.type;
322
+ var tip = elt("span", cache.guess ? cls + "fhint-guess" : null,
323
+ elt("span", cls + "fname", cache.name), "(");
324
+ for (var i = 0; i < tp.args.length; ++i) {
325
+ if (i) tip.appendChild(document.createTextNode(", "));
326
+ var arg = tp.args[i];
327
+ tip.appendChild(elt("span", cls + "farg" + (i == pos ? " " + cls + "farg-current" : ""), arg.name || "?"));
328
+ if (arg.type != "?") {
329
+ tip.appendChild(document.createTextNode(":\u00a0"));
330
+ tip.appendChild(elt("span", cls + "type", arg.type));
331
+ }
332
+ }
333
+ tip.appendChild(document.createTextNode(tp.rettype ? ") ->\u00a0" : ")"));
334
+ if (tp.rettype) tip.appendChild(elt("span", cls + "type", tp.rettype));
335
+ var place = cm.cursorCoords(null, "page");
336
+ var tooltip = ts.activeArgHints = makeTooltip(place.right + 1, place.bottom, tip, cm)
337
+ setTimeout(function() {
338
+ tooltip.clear = onEditorActivity(cm, function() {
339
+ if (ts.activeArgHints == tooltip) closeArgHints(ts) })
340
+ }, 20)
341
+ }
342
+
343
+ function parseFnType(text) {
344
+ var args = [], pos = 3;
345
+
346
+ function skipMatching(upto) {
347
+ var depth = 0, start = pos;
348
+ for (;;) {
349
+ var next = text.charAt(pos);
350
+ if (upto.test(next) && !depth) return text.slice(start, pos);
351
+ if (/[{\[\(]/.test(next)) ++depth;
352
+ else if (/[}\]\)]/.test(next)) --depth;
353
+ ++pos;
354
+ }
355
+ }
356
+
357
+ // Parse arguments
358
+ if (text.charAt(pos) != ")") for (;;) {
359
+ var name = text.slice(pos).match(/^([^, \(\[\{]+): /);
360
+ if (name) {
361
+ pos += name[0].length;
362
+ name = name[1];
363
+ }
364
+ args.push({name: name, type: skipMatching(/[\),]/)});
365
+ if (text.charAt(pos) == ")") break;
366
+ pos += 2;
367
+ }
368
+
369
+ var rettype = text.slice(pos).match(/^\) -> (.*)$/);
370
+
371
+ return {args: args, rettype: rettype && rettype[1]};
372
+ }
373
+
374
+ // Moving to the definition of something
375
+
376
+ function jumpToDef(ts, cm) {
377
+ function inner(varName) {
378
+ var req = {type: "definition", variable: varName || null};
379
+ var doc = findDoc(ts, cm.getDoc());
380
+ ts.server.request(buildRequest(ts, doc, req), function(error, data) {
381
+ if (error) return showError(ts, cm, error);
382
+ if (!data.file && data.url) { window.open(data.url); return; }
383
+
384
+ if (data.file) {
385
+ var localDoc = ts.docs[data.file], found;
386
+ if (localDoc && (found = findContext(localDoc.doc, data))) {
387
+ ts.jumpStack.push({file: doc.name,
388
+ start: cm.getCursor("from"),
389
+ end: cm.getCursor("to")});
390
+ moveTo(ts, doc, localDoc, found.start, found.end);
391
+ return;
392
+ }
393
+ }
394
+ showError(ts, cm, "Could not find a definition.");
395
+ });
396
+ }
397
+
398
+ if (!atInterestingExpression(cm))
399
+ dialog(cm, "Jump to variable", function(name) { if (name) inner(name); });
400
+ else
401
+ inner();
402
+ }
403
+
404
+ function jumpBack(ts, cm) {
405
+ var pos = ts.jumpStack.pop(), doc = pos && ts.docs[pos.file];
406
+ if (!doc) return;
407
+ moveTo(ts, findDoc(ts, cm.getDoc()), doc, pos.start, pos.end);
408
+ }
409
+
410
+ function moveTo(ts, curDoc, doc, start, end) {
411
+ doc.doc.setSelection(start, end);
412
+ if (curDoc != doc && ts.options.switchToDoc) {
413
+ closeArgHints(ts);
414
+ ts.options.switchToDoc(doc.name, doc.doc);
415
+ }
416
+ }
417
+
418
+ // The {line,ch} representation of positions makes this rather awkward.
419
+ function findContext(doc, data) {
420
+ var before = data.context.slice(0, data.contextOffset).split("\n");
421
+ var startLine = data.start.line - (before.length - 1);
422
+ var start = Pos(startLine, (before.length == 1 ? data.start.ch : doc.getLine(startLine).length) - before[0].length);
423
+
424
+ var text = doc.getLine(startLine).slice(start.ch);
425
+ for (var cur = startLine + 1; cur < doc.lineCount() && text.length < data.context.length; ++cur)
426
+ text += "\n" + doc.getLine(cur);
427
+ if (text.slice(0, data.context.length) == data.context) return data;
428
+
429
+ var cursor = doc.getSearchCursor(data.context, 0, false);
430
+ var nearest, nearestDist = Infinity;
431
+ while (cursor.findNext()) {
432
+ var from = cursor.from(), dist = Math.abs(from.line - start.line) * 10000;
433
+ if (!dist) dist = Math.abs(from.ch - start.ch);
434
+ if (dist < nearestDist) { nearest = from; nearestDist = dist; }
435
+ }
436
+ if (!nearest) return null;
437
+
438
+ if (before.length == 1)
439
+ nearest.ch += before[0].length;
440
+ else
441
+ nearest = Pos(nearest.line + (before.length - 1), before[before.length - 1].length);
442
+ if (data.start.line == data.end.line)
443
+ var end = Pos(nearest.line, nearest.ch + (data.end.ch - data.start.ch));
444
+ else
445
+ var end = Pos(nearest.line + (data.end.line - data.start.line), data.end.ch);
446
+ return {start: nearest, end: end};
447
+ }
448
+
449
+ function atInterestingExpression(cm) {
450
+ var pos = cm.getCursor("end"), tok = cm.getTokenAt(pos);
451
+ if (tok.start < pos.ch && tok.type == "comment") return false;
452
+ return /[\w)\]]/.test(cm.getLine(pos.line).slice(Math.max(pos.ch - 1, 0), pos.ch + 1));
453
+ }
454
+
455
+ // Variable renaming
456
+
457
+ function rename(ts, cm) {
458
+ var token = cm.getTokenAt(cm.getCursor());
459
+ if (!/\w/.test(token.string)) return showError(ts, cm, "Not at a variable");
460
+ dialog(cm, "New name for " + token.string, function(newName) {
461
+ ts.request(cm, {type: "rename", newName: newName, fullDocs: true}, function(error, data) {
462
+ if (error) return showError(ts, cm, error);
463
+ applyChanges(ts, data.changes);
464
+ });
465
+ });
466
+ }
467
+
468
+ function selectName(ts, cm) {
469
+ var name = findDoc(ts, cm.doc).name;
470
+ ts.request(cm, {type: "refs"}, function(error, data) {
471
+ if (error) return showError(ts, cm, error);
472
+ var ranges = [], cur = 0;
473
+ var curPos = cm.getCursor();
474
+ for (var i = 0; i < data.refs.length; i++) {
475
+ var ref = data.refs[i];
476
+ if (ref.file == name) {
477
+ ranges.push({anchor: ref.start, head: ref.end});
478
+ if (cmpPos(curPos, ref.start) >= 0 && cmpPos(curPos, ref.end) <= 0)
479
+ cur = ranges.length - 1;
480
+ }
481
+ }
482
+ cm.setSelections(ranges, cur);
483
+ });
484
+ }
485
+
486
+ var nextChangeOrig = 0;
487
+ function applyChanges(ts, changes) {
488
+ var perFile = Object.create(null);
489
+ for (var i = 0; i < changes.length; ++i) {
490
+ var ch = changes[i];
491
+ (perFile[ch.file] || (perFile[ch.file] = [])).push(ch);
492
+ }
493
+ for (var file in perFile) {
494
+ var known = ts.docs[file], chs = perFile[file];;
495
+ if (!known) continue;
496
+ chs.sort(function(a, b) { return cmpPos(b.start, a.start); });
497
+ var origin = "*rename" + (++nextChangeOrig);
498
+ for (var i = 0; i < chs.length; ++i) {
499
+ var ch = chs[i];
500
+ known.doc.replaceRange(ch.text, ch.start, ch.end, origin);
501
+ }
502
+ }
503
+ }
504
+
505
+ // Generic request-building helper
506
+
507
+ function buildRequest(ts, doc, query, pos) {
508
+ var files = [], offsetLines = 0, allowFragments = !query.fullDocs;
509
+ if (!allowFragments) delete query.fullDocs;
510
+ if (typeof query == "string") query = {type: query};
511
+ query.lineCharPositions = true;
512
+ if (query.end == null) {
513
+ query.end = pos || doc.doc.getCursor("end");
514
+ if (doc.doc.somethingSelected())
515
+ query.start = doc.doc.getCursor("start");
516
+ }
517
+ var startPos = query.start || query.end;
518
+
519
+ if (doc.changed) {
520
+ if (doc.doc.lineCount() > bigDoc && allowFragments !== false &&
521
+ doc.changed.to - doc.changed.from < 100 &&
522
+ doc.changed.from <= startPos.line && doc.changed.to > query.end.line) {
523
+ files.push(getFragmentAround(doc, startPos, query.end));
524
+ query.file = "#0";
525
+ var offsetLines = files[0].offsetLines;
526
+ if (query.start != null) query.start = Pos(query.start.line - -offsetLines, query.start.ch);
527
+ query.end = Pos(query.end.line - offsetLines, query.end.ch);
528
+ } else {
529
+ files.push({type: "full",
530
+ name: doc.name,
531
+ text: docValue(ts, doc)});
532
+ query.file = doc.name;
533
+ doc.changed = null;
534
+ }
535
+ } else {
536
+ query.file = doc.name;
537
+ }
538
+ for (var name in ts.docs) {
539
+ var cur = ts.docs[name];
540
+ if (cur.changed && cur != doc) {
541
+ files.push({type: "full", name: cur.name, text: docValue(ts, cur)});
542
+ cur.changed = null;
543
+ }
544
+ }
545
+
546
+ return {query: query, files: files};
547
+ }
548
+
549
+ function getFragmentAround(data, start, end) {
550
+ var doc = data.doc;
551
+ var minIndent = null, minLine = null, endLine, tabSize = 4;
552
+ for (var p = start.line - 1, min = Math.max(0, p - 50); p >= min; --p) {
553
+ var line = doc.getLine(p), fn = line.search(/\bfunction\b/);
554
+ if (fn < 0) continue;
555
+ var indent = CodeMirror.countColumn(line, null, tabSize);
556
+ if (minIndent != null && minIndent <= indent) continue;
557
+ minIndent = indent;
558
+ minLine = p;
559
+ }
560
+ if (minLine == null) minLine = min;
561
+ var max = Math.min(doc.lastLine(), end.line + 20);
562
+ if (minIndent == null || minIndent == CodeMirror.countColumn(doc.getLine(start.line), null, tabSize))
563
+ endLine = max;
564
+ else for (endLine = end.line + 1; endLine < max; ++endLine) {
565
+ var indent = CodeMirror.countColumn(doc.getLine(endLine), null, tabSize);
566
+ if (indent <= minIndent) break;
567
+ }
568
+ var from = Pos(minLine, 0);
569
+
570
+ return {type: "part",
571
+ name: data.name,
572
+ offsetLines: from.line,
573
+ text: doc.getRange(from, Pos(endLine, end.line == endLine ? null : 0))};
574
+ }
575
+
576
+ // Generic utilities
577
+
578
+ var cmpPos = CodeMirror.cmpPos;
579
+
580
+ function elt(tagname, cls /*, ... elts*/) {
581
+ var e = document.createElement(tagname);
582
+ if (cls) e.className = cls;
583
+ for (var i = 2; i < arguments.length; ++i) {
584
+ var elt = arguments[i];
585
+ if (typeof elt == "string") elt = document.createTextNode(elt);
586
+ e.appendChild(elt);
587
+ }
588
+ return e;
589
+ }
590
+
591
+ function dialog(cm, text, f) {
592
+ if (cm.openDialog) {
593
+ var fragment = document.createDocumentFragment();
594
+ fragment.appendChild(document.createTextNode(text + ": "));
595
+ var input = document.createElement("input");
596
+ input.type = "text";
597
+ fragment.appendChild(input);
598
+ cm.openDialog(fragment, f);
599
+ } else {
600
+ f(prompt(text, ""));
601
+ }
602
+ }
603
+
604
+ // Tooltips
605
+
606
+ function tempTooltip(cm, content, ts) {
607
+ if (cm.state.ternTooltip) remove(cm.state.ternTooltip);
608
+ var where = cm.cursorCoords();
609
+ var tip = cm.state.ternTooltip = makeTooltip(where.right + 1, where.bottom, content, cm);
610
+ function maybeClear() {
611
+ old = true;
612
+ if (!mouseOnTip) clear();
613
+ }
614
+ function clear() {
615
+ cm.state.ternTooltip = null;
616
+ if (tip.parentNode) fadeOut(tip)
617
+ clearActivity()
618
+ }
619
+ var mouseOnTip = false, old = false;
620
+ CodeMirror.on(tip, "mousemove", function() { mouseOnTip = true; });
621
+ CodeMirror.on(tip, "mouseout", function(e) {
622
+ var related = e.relatedTarget || e.toElement
623
+ if (!related || !CodeMirror.contains(tip, related)) {
624
+ if (old) clear();
625
+ else mouseOnTip = false;
626
+ }
627
+ });
628
+ setTimeout(maybeClear, ts.options.hintDelay ? ts.options.hintDelay : 1700);
629
+ var clearActivity = onEditorActivity(cm, clear)
630
+ }
631
+
632
+ function onEditorActivity(cm, f) {
633
+ cm.on("cursorActivity", f)
634
+ cm.on("blur", f)
635
+ cm.on("scroll", f)
636
+ cm.on("setDoc", f)
637
+ return function() {
638
+ cm.off("cursorActivity", f)
639
+ cm.off("blur", f)
640
+ cm.off("scroll", f)
641
+ cm.off("setDoc", f)
642
+ }
643
+ }
644
+
645
+ function makeTooltip(x, y, content, cm, className) {
646
+ var node = elt("div", cls + "tooltip" + " " + (className || ""), content);
647
+ node.style.left = x + "px";
648
+ node.style.top = y + "px";
649
+ var container = ((cm.options || {}).hintOptions || {}).container || document.body;
650
+ container.appendChild(node);
651
+
652
+ var pos = cm.cursorCoords();
653
+ var winW = window.innerWidth;
654
+ var winH = window.innerHeight;
655
+ var box = node.getBoundingClientRect();
656
+ var hints = document.querySelector(".CodeMirror-hints");
657
+ var overlapY = box.bottom - winH;
658
+ var overlapX = box.right - winW;
659
+
660
+ if (hints && overlapX > 0) {
661
+ node.style.left = 0;
662
+ var box = node.getBoundingClientRect();
663
+ node.style.left = (x = x - hints.offsetWidth - box.width) + "px";
664
+ overlapX = box.right - winW;
665
+ }
666
+ if (overlapY > 0) {
667
+ var height = box.bottom - box.top, curTop = pos.top - (pos.bottom - box.top);
668
+ if (curTop - height > 0) { // Fits above cursor
669
+ node.style.top = (pos.top - height) + "px";
670
+ } else if (height > winH) {
671
+ node.style.height = (winH - 5) + "px";
672
+ node.style.top = (pos.bottom - box.top) + "px";
673
+ }
674
+ }
675
+ if (overlapX > 0) {
676
+ if (box.right - box.left > winW) {
677
+ node.style.width = (winW - 5) + "px";
678
+ overlapX -= (box.right - box.left) - winW;
679
+ }
680
+ node.style.left = (x - overlapX) + "px";
681
+ }
682
+
683
+ return node;
684
+ }
685
+
686
+ function remove(node) {
687
+ var p = node && node.parentNode;
688
+ if (p) p.removeChild(node);
689
+ }
690
+
691
+ function fadeOut(tooltip) {
692
+ tooltip.style.opacity = "0";
693
+ setTimeout(function() { remove(tooltip); }, 1100);
694
+ }
695
+
696
+ function showError(ts, cm, msg) {
697
+ if (ts.options.showError)
698
+ ts.options.showError(cm, msg);
699
+ else
700
+ tempTooltip(cm, String(msg), ts);
701
+ }
702
+
703
+ function closeArgHints(ts) {
704
+ if (ts.activeArgHints) {
705
+ if (ts.activeArgHints.clear) ts.activeArgHints.clear()
706
+ remove(ts.activeArgHints)
707
+ ts.activeArgHints = null
708
+ }
709
+ }
710
+
711
+ function docValue(ts, doc) {
712
+ var val = doc.doc.getValue();
713
+ if (ts.options.fileFilter) val = ts.options.fileFilter(val, doc.name, doc.doc);
714
+ return val;
715
+ }
716
+
717
+ // Worker wrapper
718
+
719
+ function WorkerServer(ts) {
720
+ var worker = ts.worker = new Worker(ts.options.workerScript);
721
+ worker.postMessage({type: "init",
722
+ defs: ts.options.defs,
723
+ plugins: ts.options.plugins,
724
+ scripts: ts.options.workerDeps});
725
+ var msgId = 0, pending = {};
726
+
727
+ function send(data, c) {
728
+ if (c) {
729
+ data.id = ++msgId;
730
+ pending[msgId] = c;
731
+ }
732
+ worker.postMessage(data);
733
+ }
734
+ worker.onmessage = function(e) {
735
+ var data = e.data;
736
+ if (data.type == "getFile") {
737
+ getFile(ts, data.name, function(err, text) {
738
+ send({type: "getFile", err: String(err), text: text, id: data.id});
739
+ });
740
+ } else if (data.type == "debug") {
741
+ window.console.log(data.message);
742
+ } else if (data.id && pending[data.id]) {
743
+ pending[data.id](data.err, data.body);
744
+ delete pending[data.id];
745
+ }
746
+ };
747
+ worker.onerror = function(e) {
748
+ for (var id in pending) pending[id](e);
749
+ pending = {};
750
+ };
751
+
752
+ this.addFile = function(name, text) { send({type: "add", name: name, text: text}); };
753
+ this.delFile = function(name) { send({type: "del", name: name}); };
754
+ this.request = function(body, c) { send({type: "req", body: body}, c); };
755
+ }
756
+ });