ace-rails-ap 4.2 → 4.3
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/lib/ace/rails/version.rb +1 -1
- data/update.sh +1 -1
- data/vendor/assets/javascripts/ace/ace.js +661 -160
- data/vendor/assets/javascripts/ace/ext-beautify.js +1 -0
- data/vendor/assets/javascripts/ace/ext-emmet.js +314 -218
- data/vendor/assets/javascripts/ace/ext-keybinding_menu.js +37 -32
- data/vendor/assets/javascripts/ace/ext-language_tools.js +362 -225
- data/vendor/assets/javascripts/ace/ext-linking.js +1 -1
- data/vendor/assets/javascripts/ace/ext-modelist.js +6 -2
- data/vendor/assets/javascripts/ace/ext-options.js +45 -34
- data/vendor/assets/javascripts/ace/ext-prompt.js +2764 -0
- data/vendor/assets/javascripts/ace/ext-rtl.js +1 -3
- data/vendor/assets/javascripts/ace/ext-settings_menu.js +49 -38
- data/vendor/assets/javascripts/ace/ext-statusbar.js +2 -2
- data/vendor/assets/javascripts/ace/ext-whitespace.js +4 -0
- data/vendor/assets/javascripts/ace/keybinding-emacs.js +1 -0
- data/vendor/assets/javascripts/ace/keybinding-vim.js +296 -66
- data/vendor/assets/javascripts/ace/mode-aql.js +102 -0
- data/vendor/assets/javascripts/ace/mode-autohotkey.js +3 -1
- data/vendor/assets/javascripts/ace/mode-cirru.js +2 -2
- data/vendor/assets/javascripts/ace/mode-crystal.js +642 -0
- data/vendor/assets/javascripts/ace/mode-csound_document.js +42 -29
- data/vendor/assets/javascripts/ace/mode-csound_orchestra.js +35 -25
- data/vendor/assets/javascripts/ace/mode-csound_score.js +29 -21
- data/vendor/assets/javascripts/ace/mode-fsharp.js +2 -2
- data/vendor/assets/javascripts/ace/mode-gherkin.js +0 -2
- data/vendor/assets/javascripts/ace/mode-gobstones.js +252 -94
- data/vendor/assets/javascripts/ace/mode-io.js +1 -7
- data/vendor/assets/javascripts/ace/mode-jade.js +1 -1
- data/vendor/assets/javascripts/ace/mode-lua.js +30 -10
- data/vendor/assets/javascripts/ace/mode-luapage.js +30 -10
- data/vendor/assets/javascripts/ace/mode-lucene.js +77 -9
- data/vendor/assets/javascripts/ace/mode-markdown.js +2 -1
- data/vendor/assets/javascripts/ace/mode-mask.js +1 -1
- data/vendor/assets/javascripts/ace/mode-nginx.js +298 -0
- data/vendor/assets/javascripts/ace/mode-nim.js +363 -0
- data/vendor/assets/javascripts/ace/mode-pascal.js +84 -66
- data/vendor/assets/javascripts/ace/mode-php.js +1 -1
- data/vendor/assets/javascripts/ace/mode-php_laravel_blade.js +1 -1
- data/vendor/assets/javascripts/ace/mode-puppet.js +3 -3
- data/vendor/assets/javascripts/ace/mode-slim.js +2 -1
- data/vendor/assets/javascripts/ace/mode-tcl.js +3 -0
- data/vendor/assets/javascripts/ace/mode-terraform.js +4 -4
- data/vendor/assets/javascripts/ace/mode-yaml.js +44 -13
- data/vendor/assets/javascripts/ace/mode-zeek.js +539 -0
- data/vendor/assets/javascripts/ace/snippets/abap.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/abc.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/actionscript.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/ada.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/apache_conf.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/apex.js +14 -0
- data/vendor/assets/javascripts/ace/snippets/applescript.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/aql.js +14 -0
- data/vendor/assets/javascripts/ace/snippets/asciidoc.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/asl.js +13 -0
- data/vendor/assets/javascripts/ace/snippets/assembly_x86.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/autohotkey.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/batchfile.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/bro.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/c9search.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/c_cpp.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/cirru.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/clojure.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/cobol.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/coffee.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/coldfusion.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/crystal.js +14 -0
- data/vendor/assets/javascripts/ace/snippets/csharp.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/csound_document.js +24 -0
- data/vendor/assets/javascripts/ace/snippets/csound_orchestra.js +61 -0
- data/vendor/assets/javascripts/ace/snippets/csound_score.js +14 -0
- data/vendor/assets/javascripts/ace/snippets/csp.js +14 -0
- data/vendor/assets/javascripts/ace/snippets/css.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/curly.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/d.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/dart.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/diff.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/django.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/dockerfile.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/dot.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/drools.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/edifact.js +254 -0
- data/vendor/assets/javascripts/ace/snippets/eiffel.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/ejs.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/elixir.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/elm.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/erlang.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/forth.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/fortran.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/fsharp.js +14 -0
- data/vendor/assets/javascripts/ace/snippets/fsl.js +14 -0
- data/vendor/assets/javascripts/ace/snippets/ftl.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/gcode.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/gherkin.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/gitignore.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/glsl.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/gobstones.js +1701 -24
- data/vendor/assets/javascripts/ace/snippets/golang.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/graphqlschema.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/groovy.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/haml.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/handlebars.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/haskell.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/haskell_cabal.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/haxe.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/hjson.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/html.js +36 -2
- data/vendor/assets/javascripts/ace/snippets/html_elixir.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/html_ruby.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/ini.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/io.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/jack.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/jade.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/java.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/javascript.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/json.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/jsoniq.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/jsp.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/jssm.js +14 -0
- data/vendor/assets/javascripts/ace/snippets/jsx.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/julia.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/kotlin.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/latex.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/less.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/liquid.js +890 -2
- data/vendor/assets/javascripts/ace/snippets/lisp.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/livescript.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/logiql.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/logtalk.js +14 -0
- data/vendor/assets/javascripts/ace/snippets/lsl.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/lua.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/luapage.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/lucene.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/makefile.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/markdown.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/mask.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/matlab.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/maze.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/mel.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/mixal.js +14 -0
- data/vendor/assets/javascripts/ace/snippets/mushcode.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/mysql.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/nginx.js +14 -0
- data/vendor/assets/javascripts/ace/snippets/nim.js +14 -0
- data/vendor/assets/javascripts/ace/snippets/nix.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/nsis.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/objectivec.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/ocaml.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/pascal.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/perl.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/perl6.js +14 -0
- data/vendor/assets/javascripts/ace/snippets/pgsql.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/php.js +49 -36
- data/vendor/assets/javascripts/ace/snippets/php_laravel_blade.js +14 -0
- data/vendor/assets/javascripts/ace/snippets/pig.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/plain_text.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/powershell.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/praat.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/prolog.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/properties.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/protobuf.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/puppet.js +14 -0
- data/vendor/assets/javascripts/ace/snippets/python.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/r.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/razor.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/rdoc.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/red.js +14 -0
- data/vendor/assets/javascripts/ace/snippets/redshift.js +14 -0
- data/vendor/assets/javascripts/ace/snippets/rhtml.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/rst.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/ruby.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/rust.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/sass.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/scad.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/scala.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/scheme.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/scss.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/sh.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/sjs.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/slim.js +14 -0
- data/vendor/assets/javascripts/ace/snippets/smarty.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/snippets.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/soy_template.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/space.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/sparql.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/sql.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/sqlserver.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/stylus.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/svg.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/swift.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/tcl.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/terraform.js +14 -0
- data/vendor/assets/javascripts/ace/snippets/tex.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/text.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/textile.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/toml.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/tsx.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/turtle.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/twig.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/typescript.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/vala.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/vbscript.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/velocity.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/verilog.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/vhdl.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/visualforce.js +14 -0
- data/vendor/assets/javascripts/ace/snippets/wollok.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/xml.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/xquery.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/yaml.js +8 -1
- data/vendor/assets/javascripts/ace/snippets/zeek.js +14 -0
- data/vendor/assets/javascripts/ace/worker-coffee.js +2 -2
- data/vendor/assets/javascripts/ace/worker-css.js +9 -3
- data/vendor/assets/javascripts/ace/worker-html.js +2 -2
- data/vendor/assets/javascripts/ace/worker-javascript.js +2 -2
- data/vendor/assets/javascripts/ace/worker-json.js +2 -2
- data/vendor/assets/javascripts/ace/worker-lua.js +2 -2
- data/vendor/assets/javascripts/ace/worker-php.js +4 -4
- data/vendor/assets/javascripts/ace/worker-xml.js +2 -2
- data/vendor/assets/javascripts/ace/worker-xquery.js +2 -2
- metadata +34 -16
- data/vendor/assets/javascripts/ace/ext-chromevox.js +0 -540
- data/vendor/assets/javascripts/ace/ext-old_ie.js +0 -502
- data/vendor/assets/javascripts/ace/mode-bash.js +0 -247
- data/vendor/assets/javascripts/ace/mode-lean.js +0 -281
- data/vendor/assets/javascripts/ace/mode-live_script.js +0 -481
- data/vendor/assets/javascripts/ace/mode-mips_assembler.js +0 -235
- data/vendor/assets/javascripts/ace/mode-mipsassembler.js +0 -196
- data/vendor/assets/javascripts/ace/mode-swig.js +0 -1099
- data/vendor/assets/javascripts/ace/snippets/lean.js +0 -7
- data/vendor/assets/javascripts/ace/snippets/live_script.js +0 -7
- data/vendor/assets/javascripts/ace/snippets/mips_assembler.js +0 -7
- data/vendor/assets/javascripts/ace/snippets/mipsassembler.js +0 -7
- 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
|
-
});
|