gump 0.1.6

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 (359) hide show
  1. checksums.yaml +7 -0
  2. data/.gitignore +24 -0
  3. data/Gemfile +4 -0
  4. data/LICENSE.txt +22 -0
  5. data/README.md +71 -0
  6. data/Rakefile +2 -0
  7. data/bin/gump +37 -0
  8. data/gump.gemspec +17 -0
  9. data/lib/gump.rb +50 -0
  10. data/lib/version.rb +3 -0
  11. data/server/assets/css/style.css +6949 -0
  12. data/server/assets/images/arrow.png +0 -0
  13. data/server/assets/images/logo.png +0 -0
  14. data/server/assets/js/bootstrap/dist/css/bootstrap-theme.css +347 -0
  15. data/server/assets/js/bootstrap/dist/css/bootstrap-theme.css.map +1 -0
  16. data/server/assets/js/bootstrap/dist/css/bootstrap-theme.min.css +7 -0
  17. data/server/assets/js/bootstrap/dist/css/bootstrap.css +5785 -0
  18. data/server/assets/js/bootstrap/dist/css/bootstrap.css.map +1 -0
  19. data/server/assets/js/bootstrap/dist/css/bootstrap.min.css +7 -0
  20. data/server/assets/js/bootstrap/dist/fonts/glyphicons-halflings-regular.eot +0 -0
  21. data/server/assets/js/bootstrap/dist/fonts/glyphicons-halflings-regular.svg +229 -0
  22. data/server/assets/js/bootstrap/dist/fonts/glyphicons-halflings-regular.ttf +0 -0
  23. data/server/assets/js/bootstrap/dist/fonts/glyphicons-halflings-regular.woff +0 -0
  24. data/server/assets/js/bootstrap/dist/js/bootstrap.js +1951 -0
  25. data/server/assets/js/bootstrap/dist/js/bootstrap.min.js +6 -0
  26. data/server/assets/js/jquery.codemirror/.gitattributes +8 -0
  27. data/server/assets/js/jquery.codemirror/.gitignore +6 -0
  28. data/server/assets/js/jquery.codemirror/.travis.yml +3 -0
  29. data/server/assets/js/jquery.codemirror/AUTHORS +255 -0
  30. data/server/assets/js/jquery.codemirror/CONTRIBUTING.md +72 -0
  31. data/server/assets/js/jquery.codemirror/LICENSE +19 -0
  32. data/server/assets/js/jquery.codemirror/README.md +11 -0
  33. data/server/assets/js/jquery.codemirror/addon/comment/comment.js +145 -0
  34. data/server/assets/js/jquery.codemirror/addon/comment/continuecomment.js +54 -0
  35. data/server/assets/js/jquery.codemirror/addon/dialog/dialog.css +32 -0
  36. data/server/assets/js/jquery.codemirror/addon/dialog/dialog.js +121 -0
  37. data/server/assets/js/jquery.codemirror/addon/display/fullscreen.css +6 -0
  38. data/server/assets/js/jquery.codemirror/addon/display/fullscreen.js +31 -0
  39. data/server/assets/js/jquery.codemirror/addon/display/placeholder.js +48 -0
  40. data/server/assets/js/jquery.codemirror/addon/edit/closebrackets.js +82 -0
  41. data/server/assets/js/jquery.codemirror/addon/edit/closetag.js +89 -0
  42. data/server/assets/js/jquery.codemirror/addon/edit/continuelist.js +25 -0
  43. data/server/assets/js/jquery.codemirror/addon/edit/matchbrackets.js +87 -0
  44. data/server/assets/js/jquery.codemirror/addon/edit/matchtags.js +56 -0
  45. data/server/assets/js/jquery.codemirror/addon/edit/trailingspace.js +15 -0
  46. data/server/assets/js/jquery.codemirror/addon/fold/brace-fold.js +93 -0
  47. data/server/assets/js/jquery.codemirror/addon/fold/comment-fold.js +40 -0
  48. data/server/assets/js/jquery.codemirror/addon/fold/foldcode.js +75 -0
  49. data/server/assets/js/jquery.codemirror/addon/fold/foldgutter.css +21 -0
  50. data/server/assets/js/jquery.codemirror/addon/fold/foldgutter.js +124 -0
  51. data/server/assets/js/jquery.codemirror/addon/fold/indent-fold.js +30 -0
  52. data/server/assets/js/jquery.codemirror/addon/fold/xml-fold.js +167 -0
  53. data/server/assets/js/jquery.codemirror/addon/hint/anyword-hint.js +34 -0
  54. data/server/assets/js/jquery.codemirror/addon/hint/css-hint.js +50 -0
  55. data/server/assets/js/jquery.codemirror/addon/hint/html-hint.js +337 -0
  56. data/server/assets/js/jquery.codemirror/addon/hint/javascript-hint.js +131 -0
  57. data/server/assets/js/jquery.codemirror/addon/hint/pig-hint.js +121 -0
  58. data/server/assets/js/jquery.codemirror/addon/hint/python-hint.js +95 -0
  59. data/server/assets/js/jquery.codemirror/addon/hint/show-hint.css +38 -0
  60. data/server/assets/js/jquery.codemirror/addon/hint/show-hint.js +286 -0
  61. data/server/assets/js/jquery.codemirror/addon/hint/sql-hint.js +105 -0
  62. data/server/assets/js/jquery.codemirror/addon/hint/xml-hint.js +69 -0
  63. data/server/assets/js/jquery.codemirror/addon/lint/coffeescript-lint.js +27 -0
  64. data/server/assets/js/jquery.codemirror/addon/lint/css-lint.js +19 -0
  65. data/server/assets/js/jquery.codemirror/addon/lint/javascript-lint.js +126 -0
  66. data/server/assets/js/jquery.codemirror/addon/lint/json-lint.js +17 -0
  67. data/server/assets/js/jquery.codemirror/addon/lint/lint.css +73 -0
  68. data/server/assets/js/jquery.codemirror/addon/lint/lint.js +203 -0
  69. data/server/assets/js/jquery.codemirror/addon/merge/dep/diff_match_patch.js +50 -0
  70. data/server/assets/js/jquery.codemirror/addon/merge/merge.css +92 -0
  71. data/server/assets/js/jquery.codemirror/addon/merge/merge.js +474 -0
  72. data/server/assets/js/jquery.codemirror/addon/mode/loadmode.js +51 -0
  73. data/server/assets/js/jquery.codemirror/addon/mode/multiplex.js +101 -0
  74. data/server/assets/js/jquery.codemirror/addon/mode/multiplex_test.js +30 -0
  75. data/server/assets/js/jquery.codemirror/addon/mode/overlay.js +59 -0
  76. data/server/assets/js/jquery.codemirror/addon/runmode/colorize.js +29 -0
  77. data/server/assets/js/jquery.codemirror/addon/runmode/runmode-standalone.js +136 -0
  78. data/server/assets/js/jquery.codemirror/addon/runmode/runmode.js +56 -0
  79. data/server/assets/js/jquery.codemirror/addon/runmode/runmode.node.js +103 -0
  80. data/server/assets/js/jquery.codemirror/addon/scroll/scrollpastend.js +34 -0
  81. data/server/assets/js/jquery.codemirror/addon/search/match-highlighter.js +91 -0
  82. data/server/assets/js/jquery.codemirror/addon/search/search.js +133 -0
  83. data/server/assets/js/jquery.codemirror/addon/search/searchcursor.js +143 -0
  84. data/server/assets/js/jquery.codemirror/addon/selection/active-line.js +39 -0
  85. data/server/assets/js/jquery.codemirror/addon/selection/mark-selection.js +108 -0
  86. data/server/assets/js/jquery.codemirror/addon/tern/tern.css +85 -0
  87. data/server/assets/js/jquery.codemirror/addon/tern/tern.js +632 -0
  88. data/server/assets/js/jquery.codemirror/addon/tern/worker.js +41 -0
  89. data/server/assets/js/jquery.codemirror/addon/wrap/hardwrap.js +99 -0
  90. data/server/assets/js/jquery.codemirror/bin/authors.sh +6 -0
  91. data/server/assets/js/jquery.codemirror/bin/compress +92 -0
  92. data/server/assets/js/jquery.codemirror/bin/lint +16 -0
  93. data/server/assets/js/jquery.codemirror/bin/source-highlight +61 -0
  94. data/server/assets/js/jquery.codemirror/bower.json +15 -0
  95. data/server/assets/js/jquery.codemirror/demo/activeline.html +78 -0
  96. data/server/assets/js/jquery.codemirror/demo/anywordhint.html +79 -0
  97. data/server/assets/js/jquery.codemirror/demo/bidi.html +74 -0
  98. data/server/assets/js/jquery.codemirror/demo/btree.html +86 -0
  99. data/server/assets/js/jquery.codemirror/demo/buffers.html +109 -0
  100. data/server/assets/js/jquery.codemirror/demo/changemode.html +59 -0
  101. data/server/assets/js/jquery.codemirror/demo/closebrackets.html +63 -0
  102. data/server/assets/js/jquery.codemirror/demo/closetag.html +40 -0
  103. data/server/assets/js/jquery.codemirror/demo/complete.html +80 -0
  104. data/server/assets/js/jquery.codemirror/demo/emacs.html +75 -0
  105. data/server/assets/js/jquery.codemirror/demo/folding.html +75 -0
  106. data/server/assets/js/jquery.codemirror/demo/fullscreen.html +130 -0
  107. data/server/assets/js/jquery.codemirror/demo/hardwrap.html +69 -0
  108. data/server/assets/js/jquery.codemirror/demo/html5complete.html +54 -0
  109. data/server/assets/js/jquery.codemirror/demo/indentwrap.html +58 -0
  110. data/server/assets/js/jquery.codemirror/demo/lint.html +171 -0
  111. data/server/assets/js/jquery.codemirror/demo/loadmode.html +49 -0
  112. data/server/assets/js/jquery.codemirror/demo/marker.html +52 -0
  113. data/server/assets/js/jquery.codemirror/demo/markselection.html +45 -0
  114. data/server/assets/js/jquery.codemirror/demo/matchhighlighter.html +47 -0
  115. data/server/assets/js/jquery.codemirror/demo/matchtags.html +49 -0
  116. data/server/assets/js/jquery.codemirror/demo/merge.html +82 -0
  117. data/server/assets/js/jquery.codemirror/demo/multiplex.html +75 -0
  118. data/server/assets/js/jquery.codemirror/demo/mustache.html +68 -0
  119. data/server/assets/js/jquery.codemirror/demo/placeholder.html +45 -0
  120. data/server/assets/js/jquery.codemirror/demo/preview.html +88 -0
  121. data/server/assets/js/jquery.codemirror/demo/resize.html +58 -0
  122. data/server/assets/js/jquery.codemirror/demo/runmode.html +62 -0
  123. data/server/assets/js/jquery.codemirror/demo/search.html +94 -0
  124. data/server/assets/js/jquery.codemirror/demo/spanaffectswrapping_shim.html +85 -0
  125. data/server/assets/js/jquery.codemirror/demo/tern.html +129 -0
  126. data/server/assets/js/jquery.codemirror/demo/theme.html +121 -0
  127. data/server/assets/js/jquery.codemirror/demo/trailingspace.html +48 -0
  128. data/server/assets/js/jquery.codemirror/demo/variableheight.html +67 -0
  129. data/server/assets/js/jquery.codemirror/demo/vim.html +74 -0
  130. data/server/assets/js/jquery.codemirror/demo/visibletabs.html +62 -0
  131. data/server/assets/js/jquery.codemirror/demo/widget.html +85 -0
  132. data/server/assets/js/jquery.codemirror/demo/xmlcomplete.html +116 -0
  133. data/server/assets/js/jquery.codemirror/index.html +192 -0
  134. data/server/assets/js/jquery.codemirror/keymap/emacs.js +387 -0
  135. data/server/assets/js/jquery.codemirror/keymap/extra.js +43 -0
  136. data/server/assets/js/jquery.codemirror/keymap/vim.js +3703 -0
  137. data/server/assets/js/jquery.codemirror/lib/codemirror.css +263 -0
  138. data/server/assets/js/jquery.codemirror/lib/codemirror.js +5944 -0
  139. data/server/assets/js/jquery.codemirror/mode/apl/apl.js +160 -0
  140. data/server/assets/js/jquery.codemirror/mode/apl/index.html +72 -0
  141. data/server/assets/js/jquery.codemirror/mode/asterisk/asterisk.js +183 -0
  142. data/server/assets/js/jquery.codemirror/mode/asterisk/index.html +154 -0
  143. data/server/assets/js/jquery.codemirror/mode/clike/clike.js +362 -0
  144. data/server/assets/js/jquery.codemirror/mode/clike/index.html +195 -0
  145. data/server/assets/js/jquery.codemirror/mode/clike/scala.html +767 -0
  146. data/server/assets/js/jquery.codemirror/mode/clojure/clojure.js +224 -0
  147. data/server/assets/js/jquery.codemirror/mode/clojure/index.html +88 -0
  148. data/server/assets/js/jquery.codemirror/mode/cobol/cobol.js +240 -0
  149. data/server/assets/js/jquery.codemirror/mode/cobol/index.html +210 -0
  150. data/server/assets/js/jquery.codemirror/mode/coffeescript/coffeescript.js +354 -0
  151. data/server/assets/js/jquery.codemirror/mode/coffeescript/index.html +740 -0
  152. data/server/assets/js/jquery.codemirror/mode/commonlisp/commonlisp.js +105 -0
  153. data/server/assets/js/jquery.codemirror/mode/commonlisp/index.html +177 -0
  154. data/server/assets/js/jquery.codemirror/mode/css/css.js +639 -0
  155. data/server/assets/js/jquery.codemirror/mode/css/index.html +70 -0
  156. data/server/assets/js/jquery.codemirror/mode/css/scss.html +157 -0
  157. data/server/assets/js/jquery.codemirror/mode/css/scss_test.js +93 -0
  158. data/server/assets/js/jquery.codemirror/mode/css/test.js +142 -0
  159. data/server/assets/js/jquery.codemirror/mode/d/d.js +205 -0
  160. data/server/assets/js/jquery.codemirror/mode/d/index.html +273 -0
  161. data/server/assets/js/jquery.codemirror/mode/diff/diff.js +32 -0
  162. data/server/assets/js/jquery.codemirror/mode/diff/index.html +117 -0
  163. data/server/assets/js/jquery.codemirror/mode/dtd/dtd.js +127 -0
  164. data/server/assets/js/jquery.codemirror/mode/dtd/index.html +89 -0
  165. data/server/assets/js/jquery.codemirror/mode/ecl/ecl.js +192 -0
  166. data/server/assets/js/jquery.codemirror/mode/ecl/index.html +52 -0
  167. data/server/assets/js/jquery.codemirror/mode/eiffel/eiffel.js +147 -0
  168. data/server/assets/js/jquery.codemirror/mode/eiffel/index.html +430 -0
  169. data/server/assets/js/jquery.codemirror/mode/erlang/erlang.js +484 -0
  170. data/server/assets/js/jquery.codemirror/mode/erlang/index.html +75 -0
  171. data/server/assets/js/jquery.codemirror/mode/fortran/fortran.js +173 -0
  172. data/server/assets/js/jquery.codemirror/mode/fortran/index.html +81 -0
  173. data/server/assets/js/jquery.codemirror/mode/gas/gas.js +330 -0
  174. data/server/assets/js/jquery.codemirror/mode/gas/index.html +68 -0
  175. data/server/assets/js/jquery.codemirror/mode/gfm/gfm.js +97 -0
  176. data/server/assets/js/jquery.codemirror/mode/gfm/index.html +82 -0
  177. data/server/assets/js/jquery.codemirror/mode/gfm/test.js +112 -0
  178. data/server/assets/js/jquery.codemirror/mode/gherkin/gherkin.js +168 -0
  179. data/server/assets/js/jquery.codemirror/mode/gherkin/index.html +48 -0
  180. data/server/assets/js/jquery.codemirror/mode/go/go.js +168 -0
  181. data/server/assets/js/jquery.codemirror/mode/go/index.html +85 -0
  182. data/server/assets/js/jquery.codemirror/mode/groovy/groovy.js +211 -0
  183. data/server/assets/js/jquery.codemirror/mode/groovy/index.html +84 -0
  184. data/server/assets/js/jquery.codemirror/mode/haml/haml.js +153 -0
  185. data/server/assets/js/jquery.codemirror/mode/haml/index.html +79 -0
  186. data/server/assets/js/jquery.codemirror/mode/haml/test.js +94 -0
  187. data/server/assets/js/jquery.codemirror/mode/haskell/haskell.js +250 -0
  188. data/server/assets/js/jquery.codemirror/mode/haskell/index.html +73 -0
  189. data/server/assets/js/jquery.codemirror/mode/haxe/haxe.js +429 -0
  190. data/server/assets/js/jquery.codemirror/mode/haxe/index.html +103 -0
  191. data/server/assets/js/jquery.codemirror/mode/htmlembedded/htmlembedded.js +73 -0
  192. data/server/assets/js/jquery.codemirror/mode/htmlembedded/index.html +60 -0
  193. data/server/assets/js/jquery.codemirror/mode/htmlmixed/htmlmixed.js +104 -0
  194. data/server/assets/js/jquery.codemirror/mode/htmlmixed/index.html +85 -0
  195. data/server/assets/js/jquery.codemirror/mode/http/http.js +98 -0
  196. data/server/assets/js/jquery.codemirror/mode/http/index.html +45 -0
  197. data/server/assets/js/jquery.codemirror/mode/index.html +114 -0
  198. data/server/assets/js/jquery.codemirror/mode/jade/index.html +66 -0
  199. data/server/assets/js/jquery.codemirror/mode/jade/jade.js +90 -0
  200. data/server/assets/js/jquery.codemirror/mode/javascript/index.html +107 -0
  201. data/server/assets/js/jquery.codemirror/mode/javascript/javascript.js +617 -0
  202. data/server/assets/js/jquery.codemirror/mode/javascript/test.js +72 -0
  203. data/server/assets/js/jquery.codemirror/mode/javascript/typescript.html +61 -0
  204. data/server/assets/js/jquery.codemirror/mode/jinja2/index.html +50 -0
  205. data/server/assets/js/jquery.codemirror/mode/jinja2/jinja2.js +42 -0
  206. data/server/assets/js/jquery.codemirror/mode/julia/index.html +187 -0
  207. data/server/assets/js/jquery.codemirror/mode/julia/julia.js +262 -0
  208. data/server/assets/js/jquery.codemirror/mode/less/index.html +753 -0
  209. data/server/assets/js/jquery.codemirror/mode/less/less.js +346 -0
  210. data/server/assets/js/jquery.codemirror/mode/livescript/index.html +459 -0
  211. data/server/assets/js/jquery.codemirror/mode/livescript/livescript.js +267 -0
  212. data/server/assets/js/jquery.codemirror/mode/livescript/livescript.ls +266 -0
  213. data/server/assets/js/jquery.codemirror/mode/lua/index.html +86 -0
  214. data/server/assets/js/jquery.codemirror/mode/lua/lua.js +144 -0
  215. data/server/assets/js/jquery.codemirror/mode/markdown/index.html +359 -0
  216. data/server/assets/js/jquery.codemirror/mode/markdown/markdown.js +560 -0
  217. data/server/assets/js/jquery.codemirror/mode/markdown/test.js +664 -0
  218. data/server/assets/js/jquery.codemirror/mode/meta.js +91 -0
  219. data/server/assets/js/jquery.codemirror/mode/mirc/index.html +161 -0
  220. data/server/assets/js/jquery.codemirror/mode/mirc/mirc.js +177 -0
  221. data/server/assets/js/jquery.codemirror/mode/nginx/index.html +181 -0
  222. data/server/assets/js/jquery.codemirror/mode/nginx/nginx.js +163 -0
  223. data/server/assets/js/jquery.codemirror/mode/ntriples/index.html +45 -0
  224. data/server/assets/js/jquery.codemirror/mode/ntriples/ntriples.js +170 -0
  225. data/server/assets/js/jquery.codemirror/mode/ocaml/index.html +146 -0
  226. data/server/assets/js/jquery.codemirror/mode/ocaml/ocaml.js +116 -0
  227. data/server/assets/js/jquery.codemirror/mode/octave/index.html +95 -0
  228. data/server/assets/js/jquery.codemirror/mode/octave/octave.js +118 -0
  229. data/server/assets/js/jquery.codemirror/mode/pascal/index.html +61 -0
  230. data/server/assets/js/jquery.codemirror/mode/pascal/pascal.js +94 -0
  231. data/server/assets/js/jquery.codemirror/mode/pegjs/index.html +66 -0
  232. data/server/assets/js/jquery.codemirror/mode/pegjs/pegjs.js +103 -0
  233. data/server/assets/js/jquery.codemirror/mode/perl/index.html +75 -0
  234. data/server/assets/js/jquery.codemirror/mode/perl/perl.js +816 -0
  235. data/server/assets/js/jquery.codemirror/mode/php/index.html +62 -0
  236. data/server/assets/js/jquery.codemirror/mode/php/php.js +132 -0
  237. data/server/assets/js/jquery.codemirror/mode/pig/index.html +55 -0
  238. data/server/assets/js/jquery.codemirror/mode/pig/pig.js +171 -0
  239. data/server/assets/js/jquery.codemirror/mode/properties/index.html +53 -0
  240. data/server/assets/js/jquery.codemirror/mode/properties/properties.js +63 -0
  241. data/server/assets/js/jquery.codemirror/mode/python/index.html +187 -0
  242. data/server/assets/js/jquery.codemirror/mode/python/python.js +368 -0
  243. data/server/assets/js/jquery.codemirror/mode/q/index.html +144 -0
  244. data/server/assets/js/jquery.codemirror/mode/q/q.js +124 -0
  245. data/server/assets/js/jquery.codemirror/mode/r/index.html +86 -0
  246. data/server/assets/js/jquery.codemirror/mode/r/r.js +141 -0
  247. data/server/assets/js/jquery.codemirror/mode/rpm/changes/changes.js +19 -0
  248. data/server/assets/js/jquery.codemirror/mode/rpm/changes/index.html +67 -0
  249. data/server/assets/js/jquery.codemirror/mode/rpm/spec/index.html +114 -0
  250. data/server/assets/js/jquery.codemirror/mode/rpm/spec/spec.css +5 -0
  251. data/server/assets/js/jquery.codemirror/mode/rpm/spec/spec.js +66 -0
  252. data/server/assets/js/jquery.codemirror/mode/rst/index.html +534 -0
  253. data/server/assets/js/jquery.codemirror/mode/rst/rst.js +560 -0
  254. data/server/assets/js/jquery.codemirror/mode/ruby/index.html +185 -0
  255. data/server/assets/js/jquery.codemirror/mode/ruby/ruby.js +247 -0
  256. data/server/assets/js/jquery.codemirror/mode/rust/index.html +61 -0
  257. data/server/assets/js/jquery.codemirror/mode/rust/rust.js +436 -0
  258. data/server/assets/js/jquery.codemirror/mode/sass/index.html +66 -0
  259. data/server/assets/js/jquery.codemirror/mode/sass/sass.js +330 -0
  260. data/server/assets/js/jquery.codemirror/mode/scheme/index.html +77 -0
  261. data/server/assets/js/jquery.codemirror/mode/scheme/scheme.js +232 -0
  262. data/server/assets/js/jquery.codemirror/mode/shell/index.html +66 -0
  263. data/server/assets/js/jquery.codemirror/mode/shell/shell.js +118 -0
  264. data/server/assets/js/jquery.codemirror/mode/sieve/index.html +93 -0
  265. data/server/assets/js/jquery.codemirror/mode/sieve/sieve.js +183 -0
  266. data/server/assets/js/jquery.codemirror/mode/smalltalk/index.html +68 -0
  267. data/server/assets/js/jquery.codemirror/mode/smalltalk/smalltalk.js +151 -0
  268. data/server/assets/js/jquery.codemirror/mode/smarty/index.html +136 -0
  269. data/server/assets/js/jquery.codemirror/mode/smarty/smarty.js +205 -0
  270. data/server/assets/js/jquery.codemirror/mode/smartymixed/index.html +114 -0
  271. data/server/assets/js/jquery.codemirror/mode/smartymixed/smartymixed.js +175 -0
  272. data/server/assets/js/jquery.codemirror/mode/sparql/index.html +54 -0
  273. data/server/assets/js/jquery.codemirror/mode/sparql/sparql.js +145 -0
  274. data/server/assets/js/jquery.codemirror/mode/sql/index.html +75 -0
  275. data/server/assets/js/jquery.codemirror/mode/sql/sql.js +365 -0
  276. data/server/assets/js/jquery.codemirror/mode/stex/index.html +110 -0
  277. data/server/assets/js/jquery.codemirror/mode/stex/stex.js +246 -0
  278. data/server/assets/js/jquery.codemirror/mode/stex/test.js +120 -0
  279. data/server/assets/js/jquery.codemirror/mode/tcl/index.html +143 -0
  280. data/server/assets/js/jquery.codemirror/mode/tcl/tcl.js +131 -0
  281. data/server/assets/js/jquery.codemirror/mode/tiddlywiki/index.html +155 -0
  282. data/server/assets/js/jquery.codemirror/mode/tiddlywiki/tiddlywiki.css +14 -0
  283. data/server/assets/js/jquery.codemirror/mode/tiddlywiki/tiddlywiki.js +353 -0
  284. data/server/assets/js/jquery.codemirror/mode/tiki/index.html +95 -0
  285. data/server/assets/js/jquery.codemirror/mode/tiki/tiki.css +26 -0
  286. data/server/assets/js/jquery.codemirror/mode/tiki/tiki.js +308 -0
  287. data/server/assets/js/jquery.codemirror/mode/toml/index.html +73 -0
  288. data/server/assets/js/jquery.codemirror/mode/toml/toml.js +71 -0
  289. data/server/assets/js/jquery.codemirror/mode/turtle/index.html +51 -0
  290. data/server/assets/js/jquery.codemirror/mode/turtle/turtle.js +145 -0
  291. data/server/assets/js/jquery.codemirror/mode/vb/index.html +103 -0
  292. data/server/assets/js/jquery.codemirror/mode/vb/vb.js +259 -0
  293. data/server/assets/js/jquery.codemirror/mode/vbscript/index.html +55 -0
  294. data/server/assets/js/jquery.codemirror/mode/vbscript/vbscript.js +334 -0
  295. data/server/assets/js/jquery.codemirror/mode/velocity/index.html +119 -0
  296. data/server/assets/js/jquery.codemirror/mode/velocity/velocity.js +186 -0
  297. data/server/assets/js/jquery.codemirror/mode/verilog/index.html +132 -0
  298. data/server/assets/js/jquery.codemirror/mode/verilog/verilog.js +182 -0
  299. data/server/assets/js/jquery.codemirror/mode/xml/index.html +57 -0
  300. data/server/assets/js/jquery.codemirror/mode/xml/xml.js +345 -0
  301. data/server/assets/js/jquery.codemirror/mode/xquery/index.html +210 -0
  302. data/server/assets/js/jquery.codemirror/mode/xquery/test.js +64 -0
  303. data/server/assets/js/jquery.codemirror/mode/xquery/xquery.js +432 -0
  304. data/server/assets/js/jquery.codemirror/mode/yaml/index.html +80 -0
  305. data/server/assets/js/jquery.codemirror/mode/yaml/yaml.js +97 -0
  306. data/server/assets/js/jquery.codemirror/mode/z80/index.html +52 -0
  307. data/server/assets/js/jquery.codemirror/mode/z80/z80.js +85 -0
  308. data/server/assets/js/jquery.codemirror/package.json +19 -0
  309. data/server/assets/js/jquery.codemirror/test/comment_test.js +51 -0
  310. data/server/assets/js/jquery.codemirror/test/doc_test.js +329 -0
  311. data/server/assets/js/jquery.codemirror/test/driver.js +139 -0
  312. data/server/assets/js/jquery.codemirror/test/emacs_test.js +135 -0
  313. data/server/assets/js/jquery.codemirror/test/index.html +209 -0
  314. data/server/assets/js/jquery.codemirror/test/lint/acorn.js +1593 -0
  315. data/server/assets/js/jquery.codemirror/test/lint/lint.js +139 -0
  316. data/server/assets/js/jquery.codemirror/test/lint/walk.js +216 -0
  317. data/server/assets/js/jquery.codemirror/test/mode_test.css +10 -0
  318. data/server/assets/js/jquery.codemirror/test/mode_test.js +200 -0
  319. data/server/assets/js/jquery.codemirror/test/phantom_driver.js +31 -0
  320. data/server/assets/js/jquery.codemirror/test/run.js +34 -0
  321. data/server/assets/js/jquery.codemirror/test/test.js +1562 -0
  322. data/server/assets/js/jquery.codemirror/test/vim_test.js +2391 -0
  323. data/server/assets/js/jquery.codemirror/theme/3024-day.css +34 -0
  324. data/server/assets/js/jquery.codemirror/theme/3024-night.css +34 -0
  325. data/server/assets/js/jquery.codemirror/theme/ambiance-mobile.css +5 -0
  326. data/server/assets/js/jquery.codemirror/theme/ambiance.css +70 -0
  327. data/server/assets/js/jquery.codemirror/theme/base16-dark.css +34 -0
  328. data/server/assets/js/jquery.codemirror/theme/base16-light.css +34 -0
  329. data/server/assets/js/jquery.codemirror/theme/blackboard.css +28 -0
  330. data/server/assets/js/jquery.codemirror/theme/cobalt.css +21 -0
  331. data/server/assets/js/jquery.codemirror/theme/eclipse.css +23 -0
  332. data/server/assets/js/jquery.codemirror/theme/elegant.css +13 -0
  333. data/server/assets/js/jquery.codemirror/theme/erlang-dark.css +30 -0
  334. data/server/assets/js/jquery.codemirror/theme/lesser-dark.css +47 -0
  335. data/server/assets/js/jquery.codemirror/theme/mbo.css +37 -0
  336. data/server/assets/js/jquery.codemirror/theme/midnight.css +43 -0
  337. data/server/assets/js/jquery.codemirror/theme/monokai.css +29 -0
  338. data/server/assets/js/jquery.codemirror/theme/neat.css +12 -0
  339. data/server/assets/js/jquery.codemirror/theme/night.css +24 -0
  340. data/server/assets/js/jquery.codemirror/theme/paraiso-dark.css +34 -0
  341. data/server/assets/js/jquery.codemirror/theme/paraiso-light.css +34 -0
  342. data/server/assets/js/jquery.codemirror/theme/rubyblue.css +23 -0
  343. data/server/assets/js/jquery.codemirror/theme/solarized.css +180 -0
  344. data/server/assets/js/jquery.codemirror/theme/the-matrix.css +26 -0
  345. data/server/assets/js/jquery.codemirror/theme/tomorrow-night-eighties.css +34 -0
  346. data/server/assets/js/jquery.codemirror/theme/twilight.css +28 -0
  347. data/server/assets/js/jquery.codemirror/theme/vibrant-ink.css +30 -0
  348. data/server/assets/js/jquery.codemirror/theme/xq-dark.css +49 -0
  349. data/server/assets/js/jquery.codemirror/theme/xq-light.css +43 -0
  350. data/server/assets/js/jquery.js +4 -0
  351. data/server/assets/js/jquery.nanoscroller/jquery.nanoscroller.js +2 -0
  352. data/server/assets/js/jquery.nanoscroller/nanoscroller.css +49 -0
  353. data/server/assets/js/tester.js +161 -0
  354. data/server/config.ru +2 -0
  355. data/server/server.rb +41 -0
  356. data/server/views/_content.erb +65 -0
  357. data/server/views/_sidebar.erb +32 -0
  358. data/server/views/index.erb +40 -0
  359. metadata +402 -0
@@ -0,0 +1,52 @@
1
+ <!doctype html>
2
+
3
+ <title>CodeMirror: ECL mode</title>
4
+ <meta charset="utf-8"/>
5
+ <link rel=stylesheet href="../../doc/docs.css">
6
+
7
+ <link rel="stylesheet" href="../../lib/codemirror.css">
8
+ <script src="../../lib/codemirror.js"></script>
9
+ <script src="ecl.js"></script>
10
+ <style>.CodeMirror {border: 1px solid black;}</style>
11
+ <div id=nav>
12
+ <a href="http://codemirror.net"><img id=logo src="../../doc/logo.png"></a>
13
+
14
+ <ul>
15
+ <li><a href="../../index.html">Home</a>
16
+ <li><a href="../../doc/manual.html">Manual</a>
17
+ <li><a href="https://github.com/marijnh/codemirror">Code</a>
18
+ </ul>
19
+ <ul>
20
+ <li><a href="../index.html">Language modes</a>
21
+ <li><a class=active href="#">ECL</a>
22
+ </ul>
23
+ </div>
24
+
25
+ <article>
26
+ <h2>ECL mode</h2>
27
+ <form><textarea id="code" name="code">
28
+ /*
29
+ sample useless code to demonstrate ecl syntax highlighting
30
+ this is a multiline comment!
31
+ */
32
+
33
+ // this is a singleline comment!
34
+
35
+ import ut;
36
+ r :=
37
+ record
38
+ string22 s1 := '123';
39
+ integer4 i1 := 123;
40
+ end;
41
+ #option('tmp', true);
42
+ d := dataset('tmp::qb', r, thor);
43
+ output(d);
44
+ </textarea></form>
45
+ <script>
46
+ var editor = CodeMirror.fromTextArea(document.getElementById("code"), {});
47
+ </script>
48
+
49
+ <p>Based on CodeMirror's clike mode. For more information see <a href="http://hpccsystems.com">HPCC Systems</a> web site.</p>
50
+ <p><strong>MIME types defined:</strong> <code>text/x-ecl</code>.</p>
51
+
52
+ </article>
@@ -0,0 +1,147 @@
1
+ CodeMirror.defineMode("eiffel", function() {
2
+ function wordObj(words) {
3
+ var o = {};
4
+ for (var i = 0, e = words.length; i < e; ++i) o[words[i]] = true;
5
+ return o;
6
+ }
7
+ var keywords = wordObj([
8
+ 'note',
9
+ 'across',
10
+ 'when',
11
+ 'variant',
12
+ 'until',
13
+ 'unique',
14
+ 'undefine',
15
+ 'then',
16
+ 'strip',
17
+ 'select',
18
+ 'retry',
19
+ 'rescue',
20
+ 'require',
21
+ 'rename',
22
+ 'reference',
23
+ 'redefine',
24
+ 'prefix',
25
+ 'once',
26
+ 'old',
27
+ 'obsolete',
28
+ 'loop',
29
+ 'local',
30
+ 'like',
31
+ 'is',
32
+ 'inspect',
33
+ 'infix',
34
+ 'include',
35
+ 'if',
36
+ 'frozen',
37
+ 'from',
38
+ 'external',
39
+ 'export',
40
+ 'ensure',
41
+ 'end',
42
+ 'elseif',
43
+ 'else',
44
+ 'do',
45
+ 'creation',
46
+ 'create',
47
+ 'check',
48
+ 'alias',
49
+ 'agent',
50
+ 'separate',
51
+ 'invariant',
52
+ 'inherit',
53
+ 'indexing',
54
+ 'feature',
55
+ 'expanded',
56
+ 'deferred',
57
+ 'class',
58
+ 'Void',
59
+ 'True',
60
+ 'Result',
61
+ 'Precursor',
62
+ 'False',
63
+ 'Current',
64
+ 'create',
65
+ 'attached',
66
+ 'detachable',
67
+ 'as',
68
+ 'and',
69
+ 'implies',
70
+ 'not',
71
+ 'or'
72
+ ]);
73
+ var operators = wordObj([":=", "and then","and", "or","<<",">>"]);
74
+ var curPunc;
75
+
76
+ function chain(newtok, stream, state) {
77
+ state.tokenize.push(newtok);
78
+ return newtok(stream, state);
79
+ }
80
+
81
+ function tokenBase(stream, state) {
82
+ curPunc = null;
83
+ if (stream.eatSpace()) return null;
84
+ var ch = stream.next();
85
+ if (ch == '"'||ch == "'") {
86
+ return chain(readQuoted(ch, "string"), stream, state);
87
+ } else if (ch == "-"&&stream.eat("-")) {
88
+ stream.skipToEnd();
89
+ return "comment";
90
+ } else if (ch == ":"&&stream.eat("=")) {
91
+ return "operator";
92
+ } else if (/[0-9]/.test(ch)) {
93
+ stream.eatWhile(/[xXbBCc0-9\.]/);
94
+ stream.eat(/[\?\!]/);
95
+ return "ident";
96
+ } else if (/[a-zA-Z_0-9]/.test(ch)) {
97
+ stream.eatWhile(/[a-zA-Z_0-9]/);
98
+ stream.eat(/[\?\!]/);
99
+ return "ident";
100
+ } else if (/[=+\-\/*^%<>~]/.test(ch)) {
101
+ stream.eatWhile(/[=+\-\/*^%<>~]/);
102
+ return "operator";
103
+ } else {
104
+ return null;
105
+ }
106
+ }
107
+
108
+ function readQuoted(quote, style, unescaped) {
109
+ return function(stream, state) {
110
+ var escaped = false, ch;
111
+ while ((ch = stream.next()) != null) {
112
+ if (ch == quote && (unescaped || !escaped)) {
113
+ state.tokenize.pop();
114
+ break;
115
+ }
116
+ escaped = !escaped && ch == "%";
117
+ }
118
+ return style;
119
+ };
120
+ }
121
+
122
+ return {
123
+ startState: function() {
124
+ return {tokenize: [tokenBase]};
125
+ },
126
+
127
+ token: function(stream, state) {
128
+ var style = state.tokenize[state.tokenize.length-1](stream, state);
129
+ if (style == "ident") {
130
+ var word = stream.current();
131
+ style = keywords.propertyIsEnumerable(stream.current()) ? "keyword"
132
+ : operators.propertyIsEnumerable(stream.current()) ? "operator"
133
+ : /^[A-Z][A-Z_0-9]*$/g.test(word) ? "tag"
134
+ : /^0[bB][0-1]+$/g.test(word) ? "number"
135
+ : /^0[cC][0-7]+$/g.test(word) ? "number"
136
+ : /^0[xX][a-fA-F0-9]+$/g.test(word) ? "number"
137
+ : /^([0-9]+\.[0-9]*)|([0-9]*\.[0-9]+)$/g.test(word) ? "number"
138
+ : /^[0-9]+$/g.test(word) ? "number"
139
+ : "variable";
140
+ }
141
+ return style;
142
+ },
143
+ lineComment: "--"
144
+ };
145
+ });
146
+
147
+ CodeMirror.defineMIME("text/x-eiffel", "eiffel");
@@ -0,0 +1,430 @@
1
+ <!doctype html>
2
+
3
+ <title>CodeMirror: Eiffel mode</title>
4
+ <meta charset="utf-8"/>
5
+ <link rel=stylesheet href="../../doc/docs.css">
6
+
7
+ <link rel="stylesheet" href="../../lib/codemirror.css">
8
+ <link rel="stylesheet" href="../../theme/neat.css">
9
+ <script src="../../lib/codemirror.js"></script>
10
+ <script src="eiffel.js"></script>
11
+ <style>
12
+ .CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}
13
+ .cm-s-default span.cm-arrow { color: red; }
14
+ </style>
15
+ <div id=nav>
16
+ <a href="http://codemirror.net"><img id=logo src="../../doc/logo.png"></a>
17
+
18
+ <ul>
19
+ <li><a href="../../index.html">Home</a>
20
+ <li><a href="../../doc/manual.html">Manual</a>
21
+ <li><a href="https://github.com/marijnh/codemirror">Code</a>
22
+ </ul>
23
+ <ul>
24
+ <li><a href="../index.html">Language modes</a>
25
+ <li><a class=active href="#">Eiffel</a>
26
+ </ul>
27
+ </div>
28
+
29
+ <article>
30
+ <h2>Eiffel mode</h2>
31
+ <form><textarea id="code" name="code">
32
+ note
33
+ description: "[
34
+ Project-wide universal properties.
35
+ This class is an ancestor to all developer-written classes.
36
+ ANY may be customized for individual projects or teams.
37
+ ]"
38
+
39
+ library: "Free implementation of ELKS library"
40
+ status: "See notice at end of class."
41
+ legal: "See notice at end of class."
42
+ date: "$Date: 2013-01-25 11:49:00 -0800 (Fri, 25 Jan 2013) $"
43
+ revision: "$Revision: 712 $"
44
+
45
+ class
46
+ ANY
47
+
48
+ feature -- Customization
49
+
50
+ feature -- Access
51
+
52
+ generator: STRING
53
+ -- Name of current object's generating class
54
+ -- (base class of the type of which it is a direct instance)
55
+ external
56
+ "built_in"
57
+ ensure
58
+ generator_not_void: Result /= Void
59
+ generator_not_empty: not Result.is_empty
60
+ end
61
+
62
+ generating_type: TYPE [detachable like Current]
63
+ -- Type of current object
64
+ -- (type of which it is a direct instance)
65
+ do
66
+ Result := {detachable like Current}
67
+ ensure
68
+ generating_type_not_void: Result /= Void
69
+ end
70
+
71
+ feature -- Status report
72
+
73
+ conforms_to (other: ANY): BOOLEAN
74
+ -- Does type of current object conform to type
75
+ -- of `other' (as per Eiffel: The Language, chapter 13)?
76
+ require
77
+ other_not_void: other /= Void
78
+ external
79
+ "built_in"
80
+ end
81
+
82
+ same_type (other: ANY): BOOLEAN
83
+ -- Is type of current object identical to type of `other'?
84
+ require
85
+ other_not_void: other /= Void
86
+ external
87
+ "built_in"
88
+ ensure
89
+ definition: Result = (conforms_to (other) and
90
+ other.conforms_to (Current))
91
+ end
92
+
93
+ feature -- Comparison
94
+
95
+ is_equal (other: like Current): BOOLEAN
96
+ -- Is `other' attached to an object considered
97
+ -- equal to current object?
98
+ require
99
+ other_not_void: other /= Void
100
+ external
101
+ "built_in"
102
+ ensure
103
+ symmetric: Result implies other ~ Current
104
+ consistent: standard_is_equal (other) implies Result
105
+ end
106
+
107
+ frozen standard_is_equal (other: like Current): BOOLEAN
108
+ -- Is `other' attached to an object of the same type
109
+ -- as current object, and field-by-field identical to it?
110
+ require
111
+ other_not_void: other /= Void
112
+ external
113
+ "built_in"
114
+ ensure
115
+ same_type: Result implies same_type (other)
116
+ symmetric: Result implies other.standard_is_equal (Current)
117
+ end
118
+
119
+ frozen equal (a: detachable ANY; b: like a): BOOLEAN
120
+ -- Are `a' and `b' either both void or attached
121
+ -- to objects considered equal?
122
+ do
123
+ if a = Void then
124
+ Result := b = Void
125
+ else
126
+ Result := b /= Void and then
127
+ a.is_equal (b)
128
+ end
129
+ ensure
130
+ definition: Result = (a = Void and b = Void) or else
131
+ ((a /= Void and b /= Void) and then
132
+ a.is_equal (b))
133
+ end
134
+
135
+ frozen standard_equal (a: detachable ANY; b: like a): BOOLEAN
136
+ -- Are `a' and `b' either both void or attached to
137
+ -- field-by-field identical objects of the same type?
138
+ -- Always uses default object comparison criterion.
139
+ do
140
+ if a = Void then
141
+ Result := b = Void
142
+ else
143
+ Result := b /= Void and then
144
+ a.standard_is_equal (b)
145
+ end
146
+ ensure
147
+ definition: Result = (a = Void and b = Void) or else
148
+ ((a /= Void and b /= Void) and then
149
+ a.standard_is_equal (b))
150
+ end
151
+
152
+ frozen is_deep_equal (other: like Current): BOOLEAN
153
+ -- Are `Current' and `other' attached to isomorphic object structures?
154
+ require
155
+ other_not_void: other /= Void
156
+ external
157
+ "built_in"
158
+ ensure
159
+ shallow_implies_deep: standard_is_equal (other) implies Result
160
+ same_type: Result implies same_type (other)
161
+ symmetric: Result implies other.is_deep_equal (Current)
162
+ end
163
+
164
+ frozen deep_equal (a: detachable ANY; b: like a): BOOLEAN
165
+ -- Are `a' and `b' either both void
166
+ -- or attached to isomorphic object structures?
167
+ do
168
+ if a = Void then
169
+ Result := b = Void
170
+ else
171
+ Result := b /= Void and then a.is_deep_equal (b)
172
+ end
173
+ ensure
174
+ shallow_implies_deep: standard_equal (a, b) implies Result
175
+ both_or_none_void: (a = Void) implies (Result = (b = Void))
176
+ same_type: (Result and (a /= Void)) implies (b /= Void and then a.same_type (b))
177
+ symmetric: Result implies deep_equal (b, a)
178
+ end
179
+
180
+ feature -- Duplication
181
+
182
+ frozen twin: like Current
183
+ -- New object equal to `Current'
184
+ -- `twin' calls `copy'; to change copying/twinning semantics, redefine `copy'.
185
+ external
186
+ "built_in"
187
+ ensure
188
+ twin_not_void: Result /= Void
189
+ is_equal: Result ~ Current
190
+ end
191
+
192
+ copy (other: like Current)
193
+ -- Update current object using fields of object attached
194
+ -- to `other', so as to yield equal objects.
195
+ require
196
+ other_not_void: other /= Void
197
+ type_identity: same_type (other)
198
+ external
199
+ "built_in"
200
+ ensure
201
+ is_equal: Current ~ other
202
+ end
203
+
204
+ frozen standard_copy (other: like Current)
205
+ -- Copy every field of `other' onto corresponding field
206
+ -- of current object.
207
+ require
208
+ other_not_void: other /= Void
209
+ type_identity: same_type (other)
210
+ external
211
+ "built_in"
212
+ ensure
213
+ is_standard_equal: standard_is_equal (other)
214
+ end
215
+
216
+ frozen clone (other: detachable ANY): like other
217
+ -- Void if `other' is void; otherwise new object
218
+ -- equal to `other'
219
+ --
220
+ -- For non-void `other', `clone' calls `copy';
221
+ -- to change copying/cloning semantics, redefine `copy'.
222
+ obsolete
223
+ "Use `twin' instead."
224
+ do
225
+ if other /= Void then
226
+ Result := other.twin
227
+ end
228
+ ensure
229
+ equal: Result ~ other
230
+ end
231
+
232
+ frozen standard_clone (other: detachable ANY): like other
233
+ -- Void if `other' is void; otherwise new object
234
+ -- field-by-field identical to `other'.
235
+ -- Always uses default copying semantics.
236
+ obsolete
237
+ "Use `standard_twin' instead."
238
+ do
239
+ if other /= Void then
240
+ Result := other.standard_twin
241
+ end
242
+ ensure
243
+ equal: standard_equal (Result, other)
244
+ end
245
+
246
+ frozen standard_twin: like Current
247
+ -- New object field-by-field identical to `other'.
248
+ -- Always uses default copying semantics.
249
+ external
250
+ "built_in"
251
+ ensure
252
+ standard_twin_not_void: Result /= Void
253
+ equal: standard_equal (Result, Current)
254
+ end
255
+
256
+ frozen deep_twin: like Current
257
+ -- New object structure recursively duplicated from Current.
258
+ external
259
+ "built_in"
260
+ ensure
261
+ deep_twin_not_void: Result /= Void
262
+ deep_equal: deep_equal (Current, Result)
263
+ end
264
+
265
+ frozen deep_clone (other: detachable ANY): like other
266
+ -- Void if `other' is void: otherwise, new object structure
267
+ -- recursively duplicated from the one attached to `other'
268
+ obsolete
269
+ "Use `deep_twin' instead."
270
+ do
271
+ if other /= Void then
272
+ Result := other.deep_twin
273
+ end
274
+ ensure
275
+ deep_equal: deep_equal (other, Result)
276
+ end
277
+
278
+ frozen deep_copy (other: like Current)
279
+ -- Effect equivalent to that of:
280
+ -- `copy' (`other' . `deep_twin')
281
+ require
282
+ other_not_void: other /= Void
283
+ do
284
+ copy (other.deep_twin)
285
+ ensure
286
+ deep_equal: deep_equal (Current, other)
287
+ end
288
+
289
+ feature {NONE} -- Retrieval
290
+
291
+ frozen internal_correct_mismatch
292
+ -- Called from runtime to perform a proper dynamic dispatch on `correct_mismatch'
293
+ -- from MISMATCH_CORRECTOR.
294
+ local
295
+ l_msg: STRING
296
+ l_exc: EXCEPTIONS
297
+ do
298
+ if attached {MISMATCH_CORRECTOR} Current as l_corrector then
299
+ l_corrector.correct_mismatch
300
+ else
301
+ create l_msg.make_from_string ("Mismatch: ")
302
+ create l_exc
303
+ l_msg.append (generating_type.name)
304
+ l_exc.raise_retrieval_exception (l_msg)
305
+ end
306
+ end
307
+
308
+ feature -- Output
309
+
310
+ io: STD_FILES
311
+ -- Handle to standard file setup
312
+ once
313
+ create Result
314
+ Result.set_output_default
315
+ ensure
316
+ io_not_void: Result /= Void
317
+ end
318
+
319
+ out: STRING
320
+ -- New string containing terse printable representation
321
+ -- of current object
322
+ do
323
+ Result := tagged_out
324
+ ensure
325
+ out_not_void: Result /= Void
326
+ end
327
+
328
+ frozen tagged_out: STRING
329
+ -- New string containing terse printable representation
330
+ -- of current object
331
+ external
332
+ "built_in"
333
+ ensure
334
+ tagged_out_not_void: Result /= Void
335
+ end
336
+
337
+ print (o: detachable ANY)
338
+ -- Write terse external representation of `o'
339
+ -- on standard output.
340
+ do
341
+ if o /= Void then
342
+ io.put_string (o.out)
343
+ end
344
+ end
345
+
346
+ feature -- Platform
347
+
348
+ Operating_environment: OPERATING_ENVIRONMENT
349
+ -- Objects available from the operating system
350
+ once
351
+ create Result
352
+ ensure
353
+ operating_environment_not_void: Result /= Void
354
+ end
355
+
356
+ feature {NONE} -- Initialization
357
+
358
+ default_create
359
+ -- Process instances of classes with no creation clause.
360
+ -- (Default: do nothing.)
361
+ do
362
+ end
363
+
364
+ feature -- Basic operations
365
+
366
+ default_rescue
367
+ -- Process exception for routines with no Rescue clause.
368
+ -- (Default: do nothing.)
369
+ do
370
+ end
371
+
372
+ frozen do_nothing
373
+ -- Execute a null action.
374
+ do
375
+ end
376
+
377
+ frozen default: detachable like Current
378
+ -- Default value of object's type
379
+ do
380
+ end
381
+
382
+ frozen default_pointer: POINTER
383
+ -- Default value of type `POINTER'
384
+ -- (Avoid the need to write `p'.`default' for
385
+ -- some `p' of type `POINTER'.)
386
+ do
387
+ ensure
388
+ -- Result = Result.default
389
+ end
390
+
391
+ frozen as_attached: attached like Current
392
+ -- Attached version of Current
393
+ -- (Can be used during transitional period to convert
394
+ -- non-void-safe classes to void-safe ones.)
395
+ do
396
+ Result := Current
397
+ end
398
+
399
+ invariant
400
+ reflexive_equality: standard_is_equal (Current)
401
+ reflexive_conformance: conforms_to (Current)
402
+
403
+ note
404
+ copyright: "Copyright (c) 1984-2012, Eiffel Software and others"
405
+ license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
406
+ source: "[
407
+ Eiffel Software
408
+ 5949 Hollister Ave., Goleta, CA 93117 USA
409
+ Telephone 805-685-1006, Fax 805-685-6869
410
+ Website http://www.eiffel.com
411
+ Customer support http://support.eiffel.com
412
+ ]"
413
+
414
+ end
415
+
416
+ </textarea></form>
417
+ <script>
418
+ var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
419
+ mode: "text/x-eiffel",
420
+ tabMode: "indent",
421
+ indentUnit: 4,
422
+ lineNumbers: true,
423
+ theme: "neat"
424
+ });
425
+ </script>
426
+
427
+ <p><strong>MIME types defined:</strong> <code>text/x-eiffel</code>.</p>
428
+
429
+ <p> Created by <a href="https://github.com/ynh">YNH</a>.</p>
430
+ </article>