ace-rails-ap 4.2 → 4.3

Sign up to get free protection for your applications and to get access to all the features.
Files changed (235) hide show
  1. checksums.yaml +4 -4
  2. data/lib/ace/rails/version.rb +1 -1
  3. data/update.sh +1 -1
  4. data/vendor/assets/javascripts/ace/ace.js +661 -160
  5. data/vendor/assets/javascripts/ace/ext-beautify.js +1 -0
  6. data/vendor/assets/javascripts/ace/ext-emmet.js +314 -218
  7. data/vendor/assets/javascripts/ace/ext-keybinding_menu.js +37 -32
  8. data/vendor/assets/javascripts/ace/ext-language_tools.js +362 -225
  9. data/vendor/assets/javascripts/ace/ext-linking.js +1 -1
  10. data/vendor/assets/javascripts/ace/ext-modelist.js +6 -2
  11. data/vendor/assets/javascripts/ace/ext-options.js +45 -34
  12. data/vendor/assets/javascripts/ace/ext-prompt.js +2764 -0
  13. data/vendor/assets/javascripts/ace/ext-rtl.js +1 -3
  14. data/vendor/assets/javascripts/ace/ext-settings_menu.js +49 -38
  15. data/vendor/assets/javascripts/ace/ext-statusbar.js +2 -2
  16. data/vendor/assets/javascripts/ace/ext-whitespace.js +4 -0
  17. data/vendor/assets/javascripts/ace/keybinding-emacs.js +1 -0
  18. data/vendor/assets/javascripts/ace/keybinding-vim.js +296 -66
  19. data/vendor/assets/javascripts/ace/mode-aql.js +102 -0
  20. data/vendor/assets/javascripts/ace/mode-autohotkey.js +3 -1
  21. data/vendor/assets/javascripts/ace/mode-cirru.js +2 -2
  22. data/vendor/assets/javascripts/ace/mode-crystal.js +642 -0
  23. data/vendor/assets/javascripts/ace/mode-csound_document.js +42 -29
  24. data/vendor/assets/javascripts/ace/mode-csound_orchestra.js +35 -25
  25. data/vendor/assets/javascripts/ace/mode-csound_score.js +29 -21
  26. data/vendor/assets/javascripts/ace/mode-fsharp.js +2 -2
  27. data/vendor/assets/javascripts/ace/mode-gherkin.js +0 -2
  28. data/vendor/assets/javascripts/ace/mode-gobstones.js +252 -94
  29. data/vendor/assets/javascripts/ace/mode-io.js +1 -7
  30. data/vendor/assets/javascripts/ace/mode-jade.js +1 -1
  31. data/vendor/assets/javascripts/ace/mode-lua.js +30 -10
  32. data/vendor/assets/javascripts/ace/mode-luapage.js +30 -10
  33. data/vendor/assets/javascripts/ace/mode-lucene.js +77 -9
  34. data/vendor/assets/javascripts/ace/mode-markdown.js +2 -1
  35. data/vendor/assets/javascripts/ace/mode-mask.js +1 -1
  36. data/vendor/assets/javascripts/ace/mode-nginx.js +298 -0
  37. data/vendor/assets/javascripts/ace/mode-nim.js +363 -0
  38. data/vendor/assets/javascripts/ace/mode-pascal.js +84 -66
  39. data/vendor/assets/javascripts/ace/mode-php.js +1 -1
  40. data/vendor/assets/javascripts/ace/mode-php_laravel_blade.js +1 -1
  41. data/vendor/assets/javascripts/ace/mode-puppet.js +3 -3
  42. data/vendor/assets/javascripts/ace/mode-slim.js +2 -1
  43. data/vendor/assets/javascripts/ace/mode-tcl.js +3 -0
  44. data/vendor/assets/javascripts/ace/mode-terraform.js +4 -4
  45. data/vendor/assets/javascripts/ace/mode-yaml.js +44 -13
  46. data/vendor/assets/javascripts/ace/mode-zeek.js +539 -0
  47. data/vendor/assets/javascripts/ace/snippets/abap.js +8 -1
  48. data/vendor/assets/javascripts/ace/snippets/abc.js +8 -1
  49. data/vendor/assets/javascripts/ace/snippets/actionscript.js +8 -1
  50. data/vendor/assets/javascripts/ace/snippets/ada.js +8 -1
  51. data/vendor/assets/javascripts/ace/snippets/apache_conf.js +8 -1
  52. data/vendor/assets/javascripts/ace/snippets/apex.js +14 -0
  53. data/vendor/assets/javascripts/ace/snippets/applescript.js +8 -1
  54. data/vendor/assets/javascripts/ace/snippets/aql.js +14 -0
  55. data/vendor/assets/javascripts/ace/snippets/asciidoc.js +8 -1
  56. data/vendor/assets/javascripts/ace/snippets/asl.js +13 -0
  57. data/vendor/assets/javascripts/ace/snippets/assembly_x86.js +8 -1
  58. data/vendor/assets/javascripts/ace/snippets/autohotkey.js +8 -1
  59. data/vendor/assets/javascripts/ace/snippets/batchfile.js +8 -1
  60. data/vendor/assets/javascripts/ace/snippets/bro.js +8 -1
  61. data/vendor/assets/javascripts/ace/snippets/c9search.js +8 -1
  62. data/vendor/assets/javascripts/ace/snippets/c_cpp.js +8 -1
  63. data/vendor/assets/javascripts/ace/snippets/cirru.js +8 -1
  64. data/vendor/assets/javascripts/ace/snippets/clojure.js +8 -1
  65. data/vendor/assets/javascripts/ace/snippets/cobol.js +8 -1
  66. data/vendor/assets/javascripts/ace/snippets/coffee.js +8 -1
  67. data/vendor/assets/javascripts/ace/snippets/coldfusion.js +8 -1
  68. data/vendor/assets/javascripts/ace/snippets/crystal.js +14 -0
  69. data/vendor/assets/javascripts/ace/snippets/csharp.js +8 -1
  70. data/vendor/assets/javascripts/ace/snippets/csound_document.js +24 -0
  71. data/vendor/assets/javascripts/ace/snippets/csound_orchestra.js +61 -0
  72. data/vendor/assets/javascripts/ace/snippets/csound_score.js +14 -0
  73. data/vendor/assets/javascripts/ace/snippets/csp.js +14 -0
  74. data/vendor/assets/javascripts/ace/snippets/css.js +8 -1
  75. data/vendor/assets/javascripts/ace/snippets/curly.js +8 -1
  76. data/vendor/assets/javascripts/ace/snippets/d.js +8 -1
  77. data/vendor/assets/javascripts/ace/snippets/dart.js +8 -1
  78. data/vendor/assets/javascripts/ace/snippets/diff.js +8 -1
  79. data/vendor/assets/javascripts/ace/snippets/django.js +8 -1
  80. data/vendor/assets/javascripts/ace/snippets/dockerfile.js +8 -1
  81. data/vendor/assets/javascripts/ace/snippets/dot.js +8 -1
  82. data/vendor/assets/javascripts/ace/snippets/drools.js +8 -1
  83. data/vendor/assets/javascripts/ace/snippets/edifact.js +254 -0
  84. data/vendor/assets/javascripts/ace/snippets/eiffel.js +8 -1
  85. data/vendor/assets/javascripts/ace/snippets/ejs.js +8 -1
  86. data/vendor/assets/javascripts/ace/snippets/elixir.js +8 -1
  87. data/vendor/assets/javascripts/ace/snippets/elm.js +8 -1
  88. data/vendor/assets/javascripts/ace/snippets/erlang.js +8 -1
  89. data/vendor/assets/javascripts/ace/snippets/forth.js +8 -1
  90. data/vendor/assets/javascripts/ace/snippets/fortran.js +8 -1
  91. data/vendor/assets/javascripts/ace/snippets/fsharp.js +14 -0
  92. data/vendor/assets/javascripts/ace/snippets/fsl.js +14 -0
  93. data/vendor/assets/javascripts/ace/snippets/ftl.js +8 -1
  94. data/vendor/assets/javascripts/ace/snippets/gcode.js +8 -1
  95. data/vendor/assets/javascripts/ace/snippets/gherkin.js +8 -1
  96. data/vendor/assets/javascripts/ace/snippets/gitignore.js +8 -1
  97. data/vendor/assets/javascripts/ace/snippets/glsl.js +8 -1
  98. data/vendor/assets/javascripts/ace/snippets/gobstones.js +1701 -24
  99. data/vendor/assets/javascripts/ace/snippets/golang.js +8 -1
  100. data/vendor/assets/javascripts/ace/snippets/graphqlschema.js +8 -1
  101. data/vendor/assets/javascripts/ace/snippets/groovy.js +8 -1
  102. data/vendor/assets/javascripts/ace/snippets/haml.js +8 -1
  103. data/vendor/assets/javascripts/ace/snippets/handlebars.js +8 -1
  104. data/vendor/assets/javascripts/ace/snippets/haskell.js +8 -1
  105. data/vendor/assets/javascripts/ace/snippets/haskell_cabal.js +8 -1
  106. data/vendor/assets/javascripts/ace/snippets/haxe.js +8 -1
  107. data/vendor/assets/javascripts/ace/snippets/hjson.js +8 -1
  108. data/vendor/assets/javascripts/ace/snippets/html.js +36 -2
  109. data/vendor/assets/javascripts/ace/snippets/html_elixir.js +8 -1
  110. data/vendor/assets/javascripts/ace/snippets/html_ruby.js +8 -1
  111. data/vendor/assets/javascripts/ace/snippets/ini.js +8 -1
  112. data/vendor/assets/javascripts/ace/snippets/io.js +8 -1
  113. data/vendor/assets/javascripts/ace/snippets/jack.js +8 -1
  114. data/vendor/assets/javascripts/ace/snippets/jade.js +8 -1
  115. data/vendor/assets/javascripts/ace/snippets/java.js +8 -1
  116. data/vendor/assets/javascripts/ace/snippets/javascript.js +8 -1
  117. data/vendor/assets/javascripts/ace/snippets/json.js +8 -1
  118. data/vendor/assets/javascripts/ace/snippets/jsoniq.js +8 -1
  119. data/vendor/assets/javascripts/ace/snippets/jsp.js +8 -1
  120. data/vendor/assets/javascripts/ace/snippets/jssm.js +14 -0
  121. data/vendor/assets/javascripts/ace/snippets/jsx.js +8 -1
  122. data/vendor/assets/javascripts/ace/snippets/julia.js +8 -1
  123. data/vendor/assets/javascripts/ace/snippets/kotlin.js +8 -1
  124. data/vendor/assets/javascripts/ace/snippets/latex.js +8 -1
  125. data/vendor/assets/javascripts/ace/snippets/less.js +8 -1
  126. data/vendor/assets/javascripts/ace/snippets/liquid.js +890 -2
  127. data/vendor/assets/javascripts/ace/snippets/lisp.js +8 -1
  128. data/vendor/assets/javascripts/ace/snippets/livescript.js +8 -1
  129. data/vendor/assets/javascripts/ace/snippets/logiql.js +8 -1
  130. data/vendor/assets/javascripts/ace/snippets/logtalk.js +14 -0
  131. data/vendor/assets/javascripts/ace/snippets/lsl.js +8 -1
  132. data/vendor/assets/javascripts/ace/snippets/lua.js +8 -1
  133. data/vendor/assets/javascripts/ace/snippets/luapage.js +8 -1
  134. data/vendor/assets/javascripts/ace/snippets/lucene.js +8 -1
  135. data/vendor/assets/javascripts/ace/snippets/makefile.js +8 -1
  136. data/vendor/assets/javascripts/ace/snippets/markdown.js +8 -1
  137. data/vendor/assets/javascripts/ace/snippets/mask.js +8 -1
  138. data/vendor/assets/javascripts/ace/snippets/matlab.js +8 -1
  139. data/vendor/assets/javascripts/ace/snippets/maze.js +8 -1
  140. data/vendor/assets/javascripts/ace/snippets/mel.js +8 -1
  141. data/vendor/assets/javascripts/ace/snippets/mixal.js +14 -0
  142. data/vendor/assets/javascripts/ace/snippets/mushcode.js +8 -1
  143. data/vendor/assets/javascripts/ace/snippets/mysql.js +8 -1
  144. data/vendor/assets/javascripts/ace/snippets/nginx.js +14 -0
  145. data/vendor/assets/javascripts/ace/snippets/nim.js +14 -0
  146. data/vendor/assets/javascripts/ace/snippets/nix.js +8 -1
  147. data/vendor/assets/javascripts/ace/snippets/nsis.js +8 -1
  148. data/vendor/assets/javascripts/ace/snippets/objectivec.js +8 -1
  149. data/vendor/assets/javascripts/ace/snippets/ocaml.js +8 -1
  150. data/vendor/assets/javascripts/ace/snippets/pascal.js +8 -1
  151. data/vendor/assets/javascripts/ace/snippets/perl.js +8 -1
  152. data/vendor/assets/javascripts/ace/snippets/perl6.js +14 -0
  153. data/vendor/assets/javascripts/ace/snippets/pgsql.js +8 -1
  154. data/vendor/assets/javascripts/ace/snippets/php.js +49 -36
  155. data/vendor/assets/javascripts/ace/snippets/php_laravel_blade.js +14 -0
  156. data/vendor/assets/javascripts/ace/snippets/pig.js +8 -1
  157. data/vendor/assets/javascripts/ace/snippets/plain_text.js +8 -1
  158. data/vendor/assets/javascripts/ace/snippets/powershell.js +8 -1
  159. data/vendor/assets/javascripts/ace/snippets/praat.js +8 -1
  160. data/vendor/assets/javascripts/ace/snippets/prolog.js +8 -1
  161. data/vendor/assets/javascripts/ace/snippets/properties.js +8 -1
  162. data/vendor/assets/javascripts/ace/snippets/protobuf.js +8 -1
  163. data/vendor/assets/javascripts/ace/snippets/puppet.js +14 -0
  164. data/vendor/assets/javascripts/ace/snippets/python.js +8 -1
  165. data/vendor/assets/javascripts/ace/snippets/r.js +8 -1
  166. data/vendor/assets/javascripts/ace/snippets/razor.js +8 -1
  167. data/vendor/assets/javascripts/ace/snippets/rdoc.js +8 -1
  168. data/vendor/assets/javascripts/ace/snippets/red.js +14 -0
  169. data/vendor/assets/javascripts/ace/snippets/redshift.js +14 -0
  170. data/vendor/assets/javascripts/ace/snippets/rhtml.js +8 -1
  171. data/vendor/assets/javascripts/ace/snippets/rst.js +8 -1
  172. data/vendor/assets/javascripts/ace/snippets/ruby.js +8 -1
  173. data/vendor/assets/javascripts/ace/snippets/rust.js +8 -1
  174. data/vendor/assets/javascripts/ace/snippets/sass.js +8 -1
  175. data/vendor/assets/javascripts/ace/snippets/scad.js +8 -1
  176. data/vendor/assets/javascripts/ace/snippets/scala.js +8 -1
  177. data/vendor/assets/javascripts/ace/snippets/scheme.js +8 -1
  178. data/vendor/assets/javascripts/ace/snippets/scss.js +8 -1
  179. data/vendor/assets/javascripts/ace/snippets/sh.js +8 -1
  180. data/vendor/assets/javascripts/ace/snippets/sjs.js +8 -1
  181. data/vendor/assets/javascripts/ace/snippets/slim.js +14 -0
  182. data/vendor/assets/javascripts/ace/snippets/smarty.js +8 -1
  183. data/vendor/assets/javascripts/ace/snippets/snippets.js +8 -1
  184. data/vendor/assets/javascripts/ace/snippets/soy_template.js +8 -1
  185. data/vendor/assets/javascripts/ace/snippets/space.js +8 -1
  186. data/vendor/assets/javascripts/ace/snippets/sparql.js +8 -1
  187. data/vendor/assets/javascripts/ace/snippets/sql.js +8 -1
  188. data/vendor/assets/javascripts/ace/snippets/sqlserver.js +8 -1
  189. data/vendor/assets/javascripts/ace/snippets/stylus.js +8 -1
  190. data/vendor/assets/javascripts/ace/snippets/svg.js +8 -1
  191. data/vendor/assets/javascripts/ace/snippets/swift.js +8 -1
  192. data/vendor/assets/javascripts/ace/snippets/tcl.js +8 -1
  193. data/vendor/assets/javascripts/ace/snippets/terraform.js +14 -0
  194. data/vendor/assets/javascripts/ace/snippets/tex.js +8 -1
  195. data/vendor/assets/javascripts/ace/snippets/text.js +8 -1
  196. data/vendor/assets/javascripts/ace/snippets/textile.js +8 -1
  197. data/vendor/assets/javascripts/ace/snippets/toml.js +8 -1
  198. data/vendor/assets/javascripts/ace/snippets/tsx.js +8 -1
  199. data/vendor/assets/javascripts/ace/snippets/turtle.js +8 -1
  200. data/vendor/assets/javascripts/ace/snippets/twig.js +8 -1
  201. data/vendor/assets/javascripts/ace/snippets/typescript.js +8 -1
  202. data/vendor/assets/javascripts/ace/snippets/vala.js +8 -1
  203. data/vendor/assets/javascripts/ace/snippets/vbscript.js +8 -1
  204. data/vendor/assets/javascripts/ace/snippets/velocity.js +8 -1
  205. data/vendor/assets/javascripts/ace/snippets/verilog.js +8 -1
  206. data/vendor/assets/javascripts/ace/snippets/vhdl.js +8 -1
  207. data/vendor/assets/javascripts/ace/snippets/visualforce.js +14 -0
  208. data/vendor/assets/javascripts/ace/snippets/wollok.js +8 -1
  209. data/vendor/assets/javascripts/ace/snippets/xml.js +8 -1
  210. data/vendor/assets/javascripts/ace/snippets/xquery.js +8 -1
  211. data/vendor/assets/javascripts/ace/snippets/yaml.js +8 -1
  212. data/vendor/assets/javascripts/ace/snippets/zeek.js +14 -0
  213. data/vendor/assets/javascripts/ace/worker-coffee.js +2 -2
  214. data/vendor/assets/javascripts/ace/worker-css.js +9 -3
  215. data/vendor/assets/javascripts/ace/worker-html.js +2 -2
  216. data/vendor/assets/javascripts/ace/worker-javascript.js +2 -2
  217. data/vendor/assets/javascripts/ace/worker-json.js +2 -2
  218. data/vendor/assets/javascripts/ace/worker-lua.js +2 -2
  219. data/vendor/assets/javascripts/ace/worker-php.js +4 -4
  220. data/vendor/assets/javascripts/ace/worker-xml.js +2 -2
  221. data/vendor/assets/javascripts/ace/worker-xquery.js +2 -2
  222. metadata +34 -16
  223. data/vendor/assets/javascripts/ace/ext-chromevox.js +0 -540
  224. data/vendor/assets/javascripts/ace/ext-old_ie.js +0 -502
  225. data/vendor/assets/javascripts/ace/mode-bash.js +0 -247
  226. data/vendor/assets/javascripts/ace/mode-lean.js +0 -281
  227. data/vendor/assets/javascripts/ace/mode-live_script.js +0 -481
  228. data/vendor/assets/javascripts/ace/mode-mips_assembler.js +0 -235
  229. data/vendor/assets/javascripts/ace/mode-mipsassembler.js +0 -196
  230. data/vendor/assets/javascripts/ace/mode-swig.js +0 -1099
  231. data/vendor/assets/javascripts/ace/snippets/lean.js +0 -7
  232. data/vendor/assets/javascripts/ace/snippets/live_script.js +0 -7
  233. data/vendor/assets/javascripts/ace/snippets/mips_assembler.js +0 -7
  234. data/vendor/assets/javascripts/ace/snippets/mipsassembler.js +0 -7
  235. data/vendor/assets/javascripts/ace/snippets/swig.js +0 -7
@@ -1,247 +0,0 @@
1
- define('ace/mode/bash_highlight_rules', ['require', 'exports', 'module' , 'ace/lib/oop', 'ace/lib/lang', 'ace/mode/text_highlight_rules', ], function(require, exports, module) {
2
-
3
- var oop = require("../lib/oop");
4
- var lang = require("../lib/lang");
5
- var TextHighlightRules = require("ace/mode/text_highlight_rules").TextHighlightRules;
6
-
7
- var bashHighlightRules = function() {
8
-
9
- var builtinFunctions = lang.arrayToMap(
10
- ("aclocal|aconnect|aplay|apm|apmsleep|apropos|ar|arch|arecord|as|as86|autoconf|autoheader|automake|awk|awk|basename|bash|bc|bison|bunzip2|bzcat|bzcmp|bzdiff|bzegrep|bzfgrep|bzgrep|bzip2|bzip2recover|bzless|bzmore|c++|cal|cat|cat|cc|cd-read|cdda2wav|cdparanoia|cdrdao|cdrecord|chattr|chfn|chgrp|chgrp|chmod|chmod|chown|chown|chroot|chsh|chvt|clear|cmp|co|col|comm|cp|cp|cpio|cpp|cut|date|dc|dcop|dd|dd|deallocvt|df|df|diff|diff3|dir|dir|dircolors|dircolors|directomatic|dirname|dmesg|dnsdomainname|domainname|du|du|dumpkeys|echo|ed|egrep|env|expr|false|fbset|fgconsole|fgrep|file|find|flex|flex++|fmt|free|ftp|funzip|fuser|fuser|g++|gawk|gawk|gc|gcc|gdb|getent|getkeycodes|getopt|gettext|gettextize|gimp|gimp-remote|gimptool|gmake|gocr|grep|groups|gs|gunzip|gzexe|gzip|head|hexdump|hostname|id|igawk|install|install|join|kbd_mode|kbdrate|kdialog|kfile|kill|killall|killall|last|lastb|ld|ld86|ldd|less|lex|link|ln|ln|loadkeys|loadunimap|locate|lockfile|login|logname|lp|lpr|ls|ls|lsattr|lsmod|lsmod.old|lynx|m4|make|man|mapscrn|mesg|mkdir|mkdir|mkfifo|mknod|mknod|mktemp|more|mount|msgfmt|mv|mv|namei|nano|nasm|nawk|netstat|nice|nisdomainname|nl|nm|nm86|nmap|nohup|nop|od|openvt|passwd|patch|pcregrep|pcretest|perl|perror|pgawk|pidof|pidof|ping|pr|printf|procmail|prune|ps|ps2ascii|ps2epsi|ps2frag|ps2pdf|ps2ps|psbook|psmerge|psnup|psresize|psselect|pstops|pstree|pwd|rbash|rcs|readlink|red|resizecons|rev|rm|rm|rmdir|run-parts|sash|scp|sed|sed|seq|setfont|setkeycodes|setleds|setmetamode|setserial|setterm|sh|showkey|shred|shred|size|size86|skill|sleep|slogin|snice|sort|sox|split|ssed|ssh|ssh-add|ssh-agent|ssh-keygen|ssh-keyscan|stat|stat|strings|strip|stty|su|sudo|suidperl|sum|sync|tac|tail|tar|tee|tempfile|test|touch|tr|true|umount|uname|unicode_start|unicode_stop|uniq|unlink|unlink|unzip|updatedb|updmap|uptime|users|utmpdump|uuidgen|vdir|vmstat|w|wall|wc|wc|wget|whatis|whereis|which|who|whoami|write|xargs|xhost|xmodmap|xset|yacc|yes|ypdomainname|zcat|zcmp|zdiff|zegrep|zfgrep|zforce|zgrep|zip|zless|zmore|znew|zsh|zsoelim").split("|")
11
- );
12
-
13
- var keywords = lang.arrayToMap(
14
- ("case|esac|declare|do|done|export|local|read|readonly|typeset|unset|if|elif|else|fi|for|function|in|select|set|then|until|while").split("|")
15
- );
16
-
17
- var buildinConstants = lang.arrayToMap(
18
- ("alias|bg|bind|break|builtin|cd|command|compgen|complete|continue|dirs|disown|echo|enable|eval|exec|exit|fc|fg|getopts|hash|help|history|jobs|kill|let|logout|popd|printf|pushd|pwd|return|set|shift|shopt|source|suspend|test|times|trap|type|ulimit|umask|unalias|wait").split("|")
19
- );
20
-
21
- var builtinVariables = lang.arrayToMap(
22
- ("\$DEBUG|\$defout|\$FILENAME|\$LOAD_PATH|\$SAFE|\$stdin|\$stdout|\$stderr|\$VERBOSE|" +
23
- "$!|root_url|flash|session|cookies|params|request|response|logger").split("|")
24
- );
25
-
26
- // regexp must not have capturing parentheses. Use (?:) instead.
27
- // regexps are ordered -> the first match is used
28
-
29
- this.$rules = {
30
- "start" : [
31
- {
32
- token : "comment",
33
- regex : "#.*$"
34
- }, {
35
- token : "comment", // multi line comment
36
- regex : "^\=begin$",
37
- next : "comment"
38
- }, {
39
- token : "string.regexp",
40
- regex : "[/](?:(?:\\[(?:\\\\]|[^\\]])+\\])|(?:\\\\/|[^\\]/]))*[/]\\w*\\s*(?=[).,;]|$)"
41
- }, {
42
- token : "string", // single line
43
- regex : '["](?:(?:\\\\.)|(?:[^"\\\\]))*?["]'
44
- }, {
45
- token : "string", // single line
46
- regex : "['](?:(?:\\\\.)|(?:[^'\\\\]))*?[']"
47
- }, {
48
- token : "string", // backtick string
49
- regex : "[`](?:(?:\\\\.)|(?:[^'\\\\]))*?[`]"
50
- }, {
51
- token : "text", // namespaces aren't symbols
52
- regex : "::"
53
- }, {
54
- token : "variable.instancce", // instance variable
55
- regex : "@{1,2}(?:[a-zA-Z_]|\d)+"
56
- }, {
57
- token : "variable.class", // class name
58
- regex : "[A-Z](?:[a-zA-Z_]|\d)+"
59
- }, {
60
- token : "string", // symbol
61
- regex : "[:](?:[A-Za-z_]|[@$](?=[a-zA-Z0-9_]))[a-zA-Z0-9_]*[!=?]?"
62
- }, {
63
- token : "constant.numeric", // hex
64
- regex : "0[xX][0-9a-fA-F](?:[0-9a-fA-F]|_(?=[0-9a-fA-F]))*\\b"
65
- }, {
66
- token : "constant.numeric", // float
67
- regex : "[+-]?\\d(?:\\d|_(?=\\d))*(?:(?:\\.\\d(?:\\d|_(?=\\d))*)?(?:[eE][+-]?\\d+)?)?\\b"
68
- }, {
69
- token : "constant.language.boolean",
70
- regex : "(?:true|false)\\b"
71
- }, {
72
- token : function(value) {
73
- if (value == "self")
74
- return "variable.language";
75
- else if (keywords.hasOwnProperty(value))
76
- return "keyword";
77
- else if (buildinConstants.hasOwnProperty(value))
78
- return "constant.language";
79
- else if (builtinVariables.hasOwnProperty(value))
80
- return "variable.language";
81
- else if (builtinFunctions.hasOwnProperty(value))
82
- return "support.function";
83
- else if (value == "debugger")
84
- return "invalid.deprecated";
85
- else
86
- return "identifier";
87
- },
88
- // TODO: Unicode escape sequences
89
- // TODO: Unicode identifiers
90
- regex : "[a-zA-Z_$][a-zA-Z0-9_$]*\\b"
91
- }, {
92
- token : "keyword.operator",
93
- regex : "!|\\$|%|&|\\*|\\-\\-|\\-|\\+\\+|\\+|~|===|==|=|!=|!==|<=|>=|<<=|>>=|>>>=|<>|<|>|!|&&|\\|\\||\\?\\:|\\*=|%=|\\+=|\\-=|&=|\\^=|\\b(?:in|instanceof|new|delete|typeof|void)"
94
- }, {
95
- token : "lparen",
96
- regex : "[[({]"
97
- }, {
98
- token : "rparen",
99
- regex : "[\\])}]"
100
- }, {
101
- token : "text",
102
- regex : "\\s+"
103
- }
104
- ],
105
- "comment" : [
106
- {
107
- token : "comment", // closing comment
108
- regex : "^\=end$",
109
- next : "start"
110
- }, {
111
- token : "comment", // comment spanning whole line
112
- regex : ".+"
113
- }
114
- ]
115
- };
116
- };
117
-
118
- oop.inherits(bashHighlightRules, TextHighlightRules);
119
-
120
- exports.bashHighlightRules = bashHighlightRules;
121
- });
122
-
123
- define('ace/mode/bash', ['require', 'exports', 'module' , 'ace/lib/oop', 'ace/mode/text', 'ace/tokenizer', 'ace/mode/matching_brace_outdent', 'ace/mode/bash_highlight_rules', 'ace/range', ], function(require, exports, module) {
124
-
125
- var oop = require("../lib/oop");
126
- var TextMode = require("ace/mode/text").Mode;
127
- var Tokenizer = require("ace/tokenizer").Tokenizer;
128
- var bashHighlightRules = require("ace/mode/bash_highlight_rules").bashHighlightRules;
129
- var MatchingBraceOutdent = require("ace/mode/matching_brace_outdent").MatchingBraceOutdent;
130
- var Range = require("ace/range").Range;
131
-
132
- var Mode = function() {
133
- this.$tokenizer = new Tokenizer(new bashHighlightRules().getRules());
134
- this.$outdent = new MatchingBraceOutdent();
135
- };
136
- oop.inherits(Mode, TextMode);
137
-
138
- (function() {
139
-
140
- this.toggleCommentLines = function(state, doc, startRow, endRow) {
141
- var outdent = true;
142
- var outentedRows = [];
143
- var re = /^(\s*)#/;
144
-
145
- for (var i=startRow; i<= endRow; i++) {
146
- if (!re.test(doc.getLine(i))) {
147
- outdent = false;
148
- break;
149
- }
150
- }
151
-
152
- if (outdent) {
153
- var deleteRange = new Range(0, 0, 0, 0);
154
- for (var i=startRow; i<= endRow; i++)
155
- {
156
- var line = doc.getLine(i);
157
- var m = line.match(re);
158
- deleteRange.start.row = i;
159
- deleteRange.end.row = i;
160
- deleteRange.end.column = m[0].length;
161
- doc.replace(deleteRange, m[1]);
162
- }
163
- }
164
- else {
165
- doc.indentRows(startRow, endRow, "#");
166
- }
167
- };
168
-
169
- this.getNextLineIndent = function(state, line, tab) {
170
- var indent = this.$getIndent(line);
171
-
172
- var tokenizedLine = this.$tokenizer.getLineTokens(line, state);
173
- var tokens = tokenizedLine.tokens;
174
- var endState = tokenizedLine.state;
175
-
176
- if (tokens.length && tokens[tokens.length-1].type == "comment") {
177
- return indent;
178
- }
179
-
180
- if (state == "start") {
181
- var match = line.match(/^.*[\{\(\[]\s*$/);
182
- if (match) {
183
- indent += tab;
184
- }
185
- }
186
-
187
- return indent;
188
- };
189
-
190
- this.checkOutdent = function(state, line, input) {
191
- return this.$outdent.checkOutdent(line, input);
192
- };
193
-
194
- this.autoOutdent = function(state, doc, row) {
195
- this.$outdent.autoOutdent(doc, row);
196
- };
197
-
198
- }).call(Mode.prototype);
199
-
200
- exports.Mode = Mode;
201
-
202
- });
203
-
204
- define('ace/mode/matching_brace_outdent', ['require', 'exports', 'module' , 'ace/range'], function(require, exports, module) {
205
- "use strict";
206
-
207
- var Range = require("../range").Range;
208
-
209
- var MatchingBraceOutdent = function() {};
210
-
211
- (function() {
212
-
213
- this.checkOutdent = function(line, input) {
214
- if (! /^\s+$/.test(line))
215
- return false;
216
-
217
- return /^\s*\}/.test(input);
218
- };
219
-
220
- this.autoOutdent = function(doc, row) {
221
- var line = doc.getLine(row);
222
- var match = line.match(/^(\s*\})/);
223
-
224
- if (!match) return 0;
225
-
226
- var column = match[1].length;
227
- var openBracePos = doc.findMatchingBracket({row: row, column: column});
228
-
229
- if (!openBracePos || openBracePos.row == row) return 0;
230
-
231
- var indent = this.$getIndent(doc.getLine(openBracePos.row));
232
- doc.replace(new Range(row, 0, row, column-1), indent);
233
- };
234
-
235
- this.$getIndent = function(line) {
236
- var match = line.match(/^(\s+)/);
237
- if (match) {
238
- return match[1];
239
- }
240
-
241
- return "";
242
- };
243
-
244
- }).call(MatchingBraceOutdent.prototype);
245
-
246
- exports.MatchingBraceOutdent = MatchingBraceOutdent;
247
- });
@@ -1,281 +0,0 @@
1
- define("ace/mode/doc_comment_highlight_rules",["require","exports","module","ace/lib/oop","ace/mode/text_highlight_rules"], function(require, exports, module) {
2
- "use strict";
3
-
4
- var oop = require("../lib/oop");
5
- var TextHighlightRules = require("./text_highlight_rules").TextHighlightRules;
6
-
7
- var DocCommentHighlightRules = function() {
8
- this.$rules = {
9
- "start" : [ {
10
- token : "comment.doc.tag",
11
- regex : "@[\\w\\d_]+" // TODO: fix email addresses
12
- },
13
- DocCommentHighlightRules.getTagRule(),
14
- {
15
- defaultToken : "comment.doc",
16
- caseInsensitive: true
17
- }]
18
- };
19
- };
20
-
21
- oop.inherits(DocCommentHighlightRules, TextHighlightRules);
22
-
23
- DocCommentHighlightRules.getTagRule = function(start) {
24
- return {
25
- token : "comment.doc.tag.storage.type",
26
- regex : "\\b(?:TODO|FIXME|XXX|HACK)\\b"
27
- };
28
- }
29
-
30
- DocCommentHighlightRules.getStartRule = function(start) {
31
- return {
32
- token : "comment.doc", // doc comment
33
- regex : "\\/\\*(?=\\*)",
34
- next : start
35
- };
36
- };
37
-
38
- DocCommentHighlightRules.getEndRule = function (start) {
39
- return {
40
- token : "comment.doc", // closing comment
41
- regex : "\\*\\/",
42
- next : start
43
- };
44
- };
45
-
46
-
47
- exports.DocCommentHighlightRules = DocCommentHighlightRules;
48
-
49
- });
50
-
51
- define("ace/mode/lean_highlight_rules",["require","exports","module","ace/lib/oop","ace/mode/doc_comment_highlight_rules","ace/mode/text_highlight_rules"], function(require, exports, module) {
52
- "use strict";
53
-
54
- var oop = require("../lib/oop");
55
- var DocCommentHighlightRules = require("./doc_comment_highlight_rules").DocCommentHighlightRules;
56
- var TextHighlightRules = require("./text_highlight_rules").TextHighlightRules;
57
-
58
- var leanHighlightRules = function() {
59
-
60
- var keywordControls = (
61
- [ "add_rewrite", "alias", "as", "assume", "attribute",
62
- "begin", "by", "calc", "calc_refl", "calc_subst", "calc_trans", "check",
63
- "classes", "coercions", "conjecture", "constants", "context",
64
- "corollary", "else", "end", "environment", "eval", "example",
65
- "exists", "exit", "export", "exposing", "extends", "fields", "find_decl",
66
- "forall", "from", "fun", "have", "help", "hiding", "if",
67
- "import", "in", "infix", "infixl", "infixr", "instances",
68
- "let", "local", "match", "namespace", "notation", "obtain", "obtains",
69
- "omit", "opaque", "open", "options", "parameter", "parameters", "postfix",
70
- "precedence", "prefix", "premise", "premises", "print", "private", "proof",
71
- "protected", "qed", "raw", "renaming", "section", "set_option",
72
- "show", "tactic_hint", "take", "then", "universe",
73
- "universes", "using", "variable", "variables", "with"].join("|")
74
- );
75
-
76
- var nameProviders = (
77
- ["inductive", "structure", "record", "theorem", "axiom",
78
- "axioms", "lemma", "hypothesis", "definition", "constant"].join("|")
79
- );
80
-
81
- var storageType = (
82
- ["Prop", "Type", "Type'", "Type₊", "Type₁", "Type₂", "Type₃"].join("|")
83
- );
84
-
85
- var storageModifiers = (
86
- "\\[(" +
87
- ["abbreviations", "all-transparent", "begin-end-hints", "class", "classes", "coercion",
88
- "coercions", "declarations", "decls", "instance", "irreducible",
89
- "multiple-instances", "notation", "notations", "parsing-only", "persistent",
90
- "reduce-hints", "reducible", "tactic-hints", "visible", "wf", "whnf"
91
- ].join("|") +
92
- ")\\]"
93
- );
94
-
95
- var keywordOperators = (
96
- [].join("|")
97
- );
98
-
99
- var keywordMapper = this.$keywords = this.createKeywordMapper({
100
- "keyword.control" : keywordControls,
101
- "storage.type" : storageType,
102
- "keyword.operator" : keywordOperators,
103
- "variable.language": "sorry"
104
- }, "identifier");
105
-
106
- var identifierRe = "[A-Za-z_\u03b1-\u03ba\u03bc-\u03fb\u1f00-\u1ffe\u2100-\u214f][A-Za-z0-9_'\u03b1-\u03ba\u03bc-\u03fb\u1f00-\u1ffe\u2070-\u2079\u207f-\u2089\u2090-\u209c\u2100-\u214f]*";
107
- var operatorRe = new RegExp(["#", "@", "->", "∼", "↔", "/", "==", "=", ":=", "<->",
108
- "/\\", "\\/", "∧", "∨", "≠", "<", ">", "≤", "≥", "¬",
109
- "<=", ">=", "⁻¹", "⬝", "▸", "\\+", "\\*", "-", "/",
110
- "λ", "→", "∃", "∀", ":="].join("|"));
111
-
112
- this.$rules = {
113
- "start" : [
114
- {
115
- token : "comment", // single line comment "--"
116
- regex : "--.*$"
117
- },
118
- DocCommentHighlightRules.getStartRule("doc-start"),
119
- {
120
- token : "comment", // multi line comment "/-"
121
- regex : "\\/-",
122
- next : "comment"
123
- }, {
124
- stateName: "qqstring",
125
- token : "string.start", regex : '"', next : [
126
- {token : "string.end", regex : '"', next : "start"},
127
- {token : "constant.language.escape", regex : /\\[n"\\]/},
128
- {defaultToken: "string"}
129
- ]
130
- }, {
131
- token : "keyword.control", regex : nameProviders, next : [
132
- {token : "variable.language", regex : identifierRe, next : "start"} ]
133
- }, {
134
- token : "constant.numeric", // hex
135
- regex : "0[xX][0-9a-fA-F]+(L|l|UL|ul|u|U|F|f|ll|LL|ull|ULL)?\\b"
136
- }, {
137
- token : "constant.numeric", // float
138
- regex : "[+-]?\\d+(?:(?:\\.\\d*)?(?:[eE][+-]?\\d+)?)?(L|l|UL|ul|u|U|F|f|ll|LL|ull|ULL)?\\b"
139
- }, {
140
- token : "storage.modifier",
141
- regex : storageModifiers
142
- }, {
143
- token : keywordMapper,
144
- regex : identifierRe
145
- }, {
146
- token : "operator",
147
- regex : operatorRe
148
- }, {
149
- token : "punctuation.operator",
150
- regex : "\\?|\\:|\\,|\\;|\\."
151
- }, {
152
- token : "paren.lparen",
153
- regex : "[[({]"
154
- }, {
155
- token : "paren.rparen",
156
- regex : "[\\])}]"
157
- }, {
158
- token : "text",
159
- regex : "\\s+"
160
- }
161
- ],
162
- "comment" : [ {token: "comment", regex: "-/", next: "start"},
163
- {defaultToken: "comment"} ]
164
- };
165
-
166
- this.embedRules(DocCommentHighlightRules, "doc-",
167
- [ DocCommentHighlightRules.getEndRule("start") ]);
168
- this.normalizeRules();
169
- };
170
-
171
- oop.inherits(leanHighlightRules, TextHighlightRules);
172
-
173
- exports.leanHighlightRules = leanHighlightRules;
174
- });
175
-
176
- define("ace/mode/matching_brace_outdent",["require","exports","module","ace/range"], function(require, exports, module) {
177
- "use strict";
178
-
179
- var Range = require("../range").Range;
180
-
181
- var MatchingBraceOutdent = function() {};
182
-
183
- (function() {
184
-
185
- this.checkOutdent = function(line, input) {
186
- if (! /^\s+$/.test(line))
187
- return false;
188
-
189
- return /^\s*\}/.test(input);
190
- };
191
-
192
- this.autoOutdent = function(doc, row) {
193
- var line = doc.getLine(row);
194
- var match = line.match(/^(\s*\})/);
195
-
196
- if (!match) return 0;
197
-
198
- var column = match[1].length;
199
- var openBracePos = doc.findMatchingBracket({row: row, column: column});
200
-
201
- if (!openBracePos || openBracePos.row == row) return 0;
202
-
203
- var indent = this.$getIndent(doc.getLine(openBracePos.row));
204
- doc.replace(new Range(row, 0, row, column-1), indent);
205
- };
206
-
207
- this.$getIndent = function(line) {
208
- return line.match(/^\s*/)[0];
209
- };
210
-
211
- }).call(MatchingBraceOutdent.prototype);
212
-
213
- exports.MatchingBraceOutdent = MatchingBraceOutdent;
214
- });
215
-
216
- define("ace/mode/lean",["require","exports","module","ace/lib/oop","ace/mode/text","ace/mode/lean_highlight_rules","ace/mode/matching_brace_outdent","ace/range"], function(require, exports, module) {
217
- "use strict";
218
-
219
- var oop = require("../lib/oop");
220
- var TextMode = require("./text").Mode;
221
- var leanHighlightRules = require("./lean_highlight_rules").leanHighlightRules;
222
- var MatchingBraceOutdent = require("./matching_brace_outdent").MatchingBraceOutdent;
223
- var Range = require("../range").Range;
224
-
225
- var Mode = function() {
226
- this.HighlightRules = leanHighlightRules;
227
-
228
- this.$outdent = new MatchingBraceOutdent();
229
- };
230
- oop.inherits(Mode, TextMode);
231
-
232
- (function() {
233
-
234
- this.lineCommentStart = "--";
235
- this.blockComment = {start: "/-", end: "-/"};
236
-
237
- this.getNextLineIndent = function(state, line, tab) {
238
- var indent = this.$getIndent(line);
239
-
240
- var tokenizedLine = this.getTokenizer().getLineTokens(line, state);
241
- var tokens = tokenizedLine.tokens;
242
- var endState = tokenizedLine.state;
243
-
244
- if (tokens.length && tokens[tokens.length-1].type == "comment") {
245
- return indent;
246
- }
247
-
248
- if (state == "start") {
249
- var match = line.match(/^.*[\{\(\[]\s*$/);
250
- if (match) {
251
- indent += tab;
252
- }
253
- } else if (state == "doc-start") {
254
- if (endState == "start") {
255
- return "";
256
- }
257
- var match = line.match(/^\s*(\/?)\*/);
258
- if (match) {
259
- if (match[1]) {
260
- indent += " ";
261
- }
262
- indent += "- ";
263
- }
264
- }
265
-
266
- return indent;
267
- };
268
-
269
- this.checkOutdent = function(state, line, input) {
270
- return this.$outdent.checkOutdent(line, input);
271
- };
272
-
273
- this.autoOutdent = function(state, doc, row) {
274
- this.$outdent.autoOutdent(doc, row);
275
- };
276
-
277
- this.$id = "ace/mode/lean";
278
- }).call(Mode.prototype);
279
-
280
- exports.Mode = Mode;
281
- });