Gecko [ www.foryou-vip.com ]

Name	Size	Permission	Date
snippets	[ DIR ]	drwxr-x---	2025-11-08 11:17
ace.js	703.41 KB	-rwxr-x---	2023-04-04 15:52
ext-beautify.js	12.46 KB	-rwxr-x---	2023-04-04 15:52
ext-code_lens.js	7.66 KB	-rwxr-x---	2023-04-04 15:52
ext-elastic_tabstops_lite.js	8.74 KB	-rwxr-x---	2023-04-04 15:52
ext-emmet.js	47.64 KB	-rwxr-x---	2023-04-04 15:52
ext-error_marker.js	336 B	-rwxr-x---	2023-04-04 15:52
ext-hardwrap.js	4.24 KB	-rwxr-x---	2023-04-04 15:52
ext-keybinding_menu.js	6.09 KB	-rwxr-x---	2023-04-04 15:52
ext-language_tools.js	75.67 KB	-rwxr-x---	2023-04-04 15:52
ext-linking.js	1.95 KB	-rwxr-x---	2023-04-04 15:52
ext-modelist.js	7.35 KB	-rwxr-x---	2023-04-04 15:52
ext-options.js	25.16 KB	-rwxr-x---	2023-04-04 15:52
ext-prompt.js	95.78 KB	-rwxr-x---	2023-04-04 15:52
ext-rtl.js	4.44 KB	-rwxr-x---	2023-04-04 15:52
ext-searchbox.js	16.75 KB	-rwxr-x---	2023-04-04 15:52
ext-settings_menu.js	25.97 KB	-rwxr-x---	2023-04-04 15:52
ext-spellcheck.js	2.46 KB	-rwxr-x---	2023-04-04 15:52
ext-split.js	6.39 KB	-rwxr-x---	2023-04-04 15:52
ext-static_highlight.js	6.87 KB	-rwxr-x---	2023-04-04 15:52
ext-statusbar.js	1.87 KB	-rwxr-x---	2023-04-04 15:52
ext-textarea.js	13.18 KB	-rwxr-x---	2023-04-04 15:52
ext-themelist.js	2.76 KB	-rwxr-x---	2023-04-04 15:52
ext-whitespace.js	6.44 KB	-rwxr-x---	2023-04-04 15:52
keybinding-emacs.js	39.63 KB	-rwxr-x---	2023-04-04 15:52
keybinding-sublime.js	11.12 KB	-rwxr-x---	2023-04-04 15:52
keybinding-vim.js	226.44 KB	-rwxr-x---	2023-04-04 15:52
keybinding-vscode.js	8.06 KB	-rwxr-x---	2023-04-04 15:52
mode-abap.js	9.17 KB	-rwxr-x---	2023-04-04 15:52
mode-abc.js	9.26 KB	-rwxr-x---	2023-04-04 15:52
mode-actionscript.js	24.44 KB	-rwxr-x---	2023-04-04 15:52
mode-ada.js	4.2 KB	-rwxr-x---	2023-04-04 15:52
mode-alda.js	10.23 KB	-rwxr-x---	2023-04-04 15:52
mode-apache_conf.js	18.94 KB	-rwxr-x---	2023-04-04 15:52
mode-apex.js	15.28 KB	-rwxr-x---	2023-04-04 15:52
mode-applescript.js	9.67 KB	-rwxr-x---	2023-04-04 15:52
mode-aql.js	4.6 KB	-rwxr-x---	2023-04-04 15:52
mode-asciidoc.js	13.79 KB	-rwxr-x---	2023-04-04 15:52
mode-asl.js	15.8 KB	-rwxr-x---	2023-04-04 15:52
mode-assembly_x86.js	11.76 KB	-rwxr-x---	2023-04-04 15:52
mode-autohotkey.js	66.03 KB	-rwxr-x---	2023-04-04 15:52
mode-batchfile.js	8.37 KB	-rwxr-x---	2023-04-04 15:52
mode-c9search.js	9.72 KB	-rwxr-x---	2023-04-04 15:52
mode-c_cpp.js	18.93 KB	-rwxr-x---	2023-04-04 15:52
mode-cirru.js	6.15 KB	-rwxr-x---	2023-04-04 15:52
mode-clojure.js	12.82 KB	-rwxr-x---	2023-04-04 15:52
mode-cobol.js	3.6 KB	-rwxr-x---	2023-04-04 15:52
mode-coffee.js	14.39 KB	-rwxr-x---	2023-04-04 15:52
mode-coldfusion.js	102.85 KB	-rwxr-x---	2023-04-04 15:52
mode-crystal.js	23.55 KB	-rwxr-x---	2023-04-04 15:52
mode-csharp.js	16.41 KB	-rwxr-x---	2023-04-04 15:52
mode-csound_document.js	122.34 KB	-rwxr-x---	2023-04-04 15:52
mode-csound_orchestra.js	74.98 KB	-rwxr-x---	2023-04-04 15:52
mode-csound_score.js	14.06 KB	-rwxr-x---	2023-04-04 15:52
mode-csp.js	2.22 KB	-rwxr-x---	2023-04-04 15:52
mode-css.js	31.11 KB	-rwxr-x---	2023-04-04 15:52
mode-curly.js	100.93 KB	-rwxr-x---	2023-04-04 15:52
mode-d.js	17.42 KB	-rwxr-x---	2023-04-04 15:52
mode-dart.js	24.89 KB	-rwxr-x---	2023-04-04 15:52
mode-diff.js	4.69 KB	-rwxr-x---	2023-04-04 15:52
mode-django.js	101.79 KB	-rwxr-x---	2023-04-04 15:52
mode-dockerfile.js	16.16 KB	-rwxr-x---	2023-04-04 15:52
mode-dot.js	13.82 KB	-rwxr-x---	2023-04-04 15:52
mode-drools.js	18.75 KB	-rwxr-x---	2023-04-04 15:52
mode-edifact.js	5.36 KB	-rwxr-x---	2023-04-04 15:52
mode-eiffel.js	5.15 KB	-rwxr-x---	2023-04-04 15:52
mode-ejs.js	138.23 KB	-rwxr-x---	2023-04-04 15:52
mode-elixir.js	23.07 KB	-rwxr-x---	2023-04-04 15:52
mode-elm.js	9.47 KB	-rwxr-x---	2023-04-04 15:52
mode-erlang.js	45.67 KB	-rwxr-x---	2023-04-04 15:52
mode-forth.js	11.3 KB	-rwxr-x---	2023-04-04 15:52
mode-fortran.js	15.04 KB	-rwxr-x---	2023-04-04 15:52
mode-fsharp.js	10.39 KB	-rwxr-x---	2023-04-04 15:52
mode-fsl.js	8.57 KB	-rwxr-x---	2023-04-04 15:52
mode-ftl.js	50.14 KB	-rwxr-x---	2023-04-04 15:52
mode-gcode.js	3.09 KB	-rwxr-x---	2023-04-04 15:52
mode-gherkin.js	4.87 KB	-rwxr-x---	2023-04-04 15:52
mode-gitignore.js	1.77 KB	-rwxr-x---	2023-04-04 15:52
mode-glsl.js	21.98 KB	-rwxr-x---	2023-04-04 15:52
mode-gobstones.js	43.19 KB	-rwxr-x---	2023-04-04 15:52
mode-golang.js	13.82 KB	-rwxr-x---	2023-04-04 15:52
mode-graphqlschema.js	6.76 KB	-rwxr-x---	2023-04-04 15:52
mode-groovy.js	38.08 KB	-rwxr-x---	2023-04-04 15:52
mode-haml.js	76.63 KB	-rwxr-x---	2023-04-04 15:52
mode-handlebars.js	102.49 KB	-rwxr-x---	2023-04-04 15:52
mode-haskell.js	17.1 KB	-rwxr-x---	2023-04-04 15:52
mode-haskell_cabal.js	4.47 KB	-rwxr-x---	2023-04-04 15:52
mode-haxe.js	12.27 KB	-rwxr-x---	2023-04-04 15:52
mode-hjson.js	11.09 KB	-rwxr-x---	2023-04-04 15:52
mode-html.js	99.38 KB	-rwxr-x---	2023-04-04 15:52
mode-html_elixir.js	124.72 KB	-rwxr-x---	2023-04-04 15:52
mode-html_ruby.js	138.97 KB	-rwxr-x---	2023-04-04 15:52
mode-ini.js	4.88 KB	-rwxr-x---	2023-04-04 15:52
mode-io.js	9.09 KB	-rwxr-x---	2023-04-04 15:52
mode-jack.js	11.02 KB	-rwxr-x---	2023-04-04 15:52
mode-jade.js	79.34 KB	-rwxr-x---	2023-04-04 15:52
mode-java.js	39.81 KB	-rwxr-x---	2023-04-04 15:52
mode-javascript.js	31.08 KB	-rwxr-x---	2023-04-04 15:52
mode-json.js	10.33 KB	-rwxr-x---	2023-04-04 15:52
mode-json5.js	11.28 KB	-rwxr-x---	2023-04-04 15:52
mode-jsoniq.js	320.54 KB	-rwxr-x---	2023-04-04 15:52
mode-jsp.js	58.49 KB	-rwxr-x---	2023-04-04 15:52
mode-jssm.js	10.55 KB	-rwxr-x---	2023-04-04 15:52
mode-jsx.js	13.36 KB	-rwxr-x---	2023-04-04 15:52
mode-julia.js	11.93 KB	-rwxr-x---	2023-04-04 15:52
mode-kotlin.js	24.4 KB	-rwxr-x---	2023-04-04 15:52
mode-latex.js	9.49 KB	-rwxr-x---	2023-04-04 15:52
mode-latte.js	106.07 KB	-rwxr-x---	2023-04-04 15:52
mode-less.js	35.21 KB	-rwxr-x---	2023-04-04 15:52
mode-liquid.js	107.9 KB	-rwxr-x---	2023-04-04 15:52
mode-lisp.js	3.47 KB	-rwxr-x---	2023-04-04 15:52
mode-livescript.js	8.34 KB	-rwxr-x---	2023-04-04 15:52
mode-logiql.js	10.65 KB	-rwxr-x---	2023-04-04 15:52
mode-logtalk.js	15.65 KB	-rwxr-x---	2023-04-04 15:52
mode-lsl.js	31.19 KB	-rwxr-x---	2023-04-04 15:52
mode-lua.js	15.03 KB	-rwxr-x---	2023-04-04 15:52
mode-luapage.js	116.01 KB	-rwxr-x---	2023-04-04 15:52
mode-lucene.js	4.78 KB	-rwxr-x---	2023-04-04 15:52
mode-makefile.js	13.17 KB	-rwxr-x---	2023-04-04 15:52
mode-markdown.js	121.81 KB	-rwxr-x---	2023-04-04 15:52
mode-mask.js	70.27 KB	-rwxr-x---	2023-04-04 15:52
mode-matlab.js	22.9 KB	-rwxr-x---	2023-04-04 15:52
mode-maze.js	9.21 KB	-rwxr-x---	2023-04-04 15:52
mode-mediawiki.js	18.96 KB	-rwxr-x---	2023-04-04 15:52
mode-mel.js	28.47 KB	-rwxr-x---	2023-04-04 15:52
mode-mips.js	9.23 KB	-rwxr-x---	2023-04-04 15:52
mode-mixal.js	5.15 KB	-rwxr-x---	2023-04-04 15:52
mode-mushcode.js	12.08 KB	-rwxr-x---	2023-04-04 15:52
mode-mysql.js	8.79 KB	-rwxr-x---	2023-04-04 15:52
mode-nginx.js	20.03 KB	-rwxr-x---	2023-04-04 15:52
mode-nim.js	12.13 KB	-rwxr-x---	2023-04-04 15:52
mode-nix.js	23.65 KB	-rwxr-x---	2023-04-04 15:52
mode-nsis.js	14.82 KB	-rwxr-x---	2023-04-04 15:52
mode-nunjucks.js	105.3 KB	-rwxr-x---	2023-04-04 15:52
mode-objectivec.js	64.32 KB	-rwxr-x---	2023-04-04 15:52
mode-ocaml.js	21.26 KB	-rwxr-x---	2023-04-04 15:52
mode-pascal.js	7.92 KB	-rwxr-x---	2023-04-04 15:52
mode-perl.js	13.09 KB	-rwxr-x---	2023-04-04 15:52
mode-pgsql.js	84.99 KB	-rwxr-x---	2023-04-04 15:52
mode-php.js	583.22 KB	-rwxr-x---	2023-04-04 15:52
mode-php_laravel_blade.js	590.41 KB	-rwxr-x---	2023-04-04 15:52
mode-pig.js	10.91 KB	-rwxr-x---	2023-04-04 15:52
mode-plain_text.js	1.06 KB	-rwxr-x---	2023-04-04 15:52
mode-powershell.js	38.23 KB	-rwxr-x---	2023-04-04 15:52
mode-praat.js	17.59 KB	-rwxr-x---	2023-04-04 15:52
mode-prisma.js	15.26 KB	-rwxr-x---	2023-04-04 15:52
mode-prolog.js	14.07 KB	-rwxr-x---	2023-04-04 15:52
mode-properties.js	2.33 KB	-rwxr-x---	2023-04-04 15:52
mode-protobuf.js	22.1 KB	-rwxr-x---	2023-04-04 15:52
mode-puppet.js	12.74 KB	-rwxr-x---	2023-04-04 15:52
mode-python.js	15.17 KB	-rwxr-x---	2023-04-04 15:52
mode-qml.js	23.1 KB	-rwxr-x---	2023-04-04 15:52
mode-r.js	9.96 KB	-rwxr-x---	2023-04-04 15:52
mode-raku.js	24.53 KB	-rwxr-x---	2023-04-04 15:52
mode-razor.js	111.58 KB	-rwxr-x---	2023-04-04 15:52
mode-rdoc.js	8.06 KB	-rwxr-x---	2023-04-04 15:52
mode-red.js	19.83 KB	-rwxr-x---	2023-04-04 15:52
mode-redshift.js	13.99 KB	-rwxr-x---	2023-04-04 15:52
mode-rhtml.js	108.67 KB	-rwxr-x---	2023-04-04 15:52
mode-rst.js	5.87 KB	-rwxr-x---	2023-04-04 15:52
mode-ruby.js	38.39 KB	-rwxr-x---	2023-04-04 15:52
mode-rust.js	11.19 KB	-rwxr-x---	2023-04-04 15:52
mode-sass.js	23.81 KB	-rwxr-x---	2023-04-04 15:52
mode-scad.js	12.89 KB	-rwxr-x---	2023-04-04 15:52
mode-scala.js	38.18 KB	-rwxr-x---	2023-04-04 15:52
mode-scheme.js	7.14 KB	-rwxr-x---	2023-04-04 15:52
mode-scrypt.js	13.17 KB	-rwxr-x---	2023-04-04 15:52
mode-scss.js	36.93 KB	-rwxr-x---	2023-04-04 15:52
mode-sh.js	14.53 KB	-rwxr-x---	2023-04-04 15:52
mode-sjs.js	37.03 KB	-rwxr-x---	2023-04-04 15:52
mode-slim.js	197.55 KB	-rwxr-x---	2023-04-04 15:52
mode-smarty.js	104.34 KB	-rwxr-x---	2023-04-04 15:52
mode-smithy.js	15.75 KB	-rwxr-x---	2023-04-04 15:52
mode-snippets.js	7.09 KB	-rwxr-x---	2023-04-04 15:52
mode-soy_template.js	112.64 KB	-rwxr-x---	2023-04-04 15:52
mode-space.js	4.99 KB	-rwxr-x---	2023-04-04 15:52
mode-sparql.js	12.35 KB	-rwxr-x---	2023-04-04 15:52
mode-sql.js	8.45 KB	-rwxr-x---	2023-04-04 15:52
mode-sqlserver.js	23.13 KB	-rwxr-x---	2023-04-04 15:52
mode-stylus.js	20.92 KB	-rwxr-x---	2023-04-04 15:52
mode-svg.js	57.64 KB	-rwxr-x---	2023-04-04 15:52
mode-swift.js	13.46 KB	-rwxr-x---	2023-04-04 15:52
mode-tcl.js	12.28 KB	-rwxr-x---	2023-04-04 15:52
mode-terraform.js	12.99 KB	-rwxr-x---	2023-04-04 15:52
mode-tex.js	5.17 KB	-rwxr-x---	2023-04-04 15:52
mode-text.js	329 B	-rwxr-x---	2023-04-04 15:52
mode-textile.js	4.23 KB	-rwxr-x---	2023-04-04 15:52
mode-toml.js	4.17 KB	-rwxr-x---	2023-04-04 15:52
mode-tsx.js	34.14 KB	-rwxr-x---	2023-04-04 15:52
mode-turtle.js	9.31 KB	-rwxr-x---	2023-04-04 15:52
mode-twig.js	105.04 KB	-rwxr-x---	2023-04-04 15:52
mode-typescript.js	33.72 KB	-rwxr-x---	2023-04-04 15:52
mode-vala.js	27.13 KB	-rwxr-x---	2023-04-04 15:52
mode-vbscript.js	24.06 KB	-rwxr-x---	2023-04-04 15:52
mode-velocity.js	108.55 KB	-rwxr-x---	2023-04-04 15:52
mode-verilog.js	4.45 KB	-rwxr-x---	2023-04-04 15:52
mode-vhdl.js	3.96 KB	-rwxr-x---	2023-04-04 15:52
mode-visualforce.js	103.61 KB	-rwxr-x---	2023-04-04 15:52
mode-wollok.js	35 KB	-rwxr-x---	2023-04-04 15:52
mode-xml.js	23.42 KB	-rwxr-x---	2023-04-04 15:52
mode-xquery.js	317.81 KB	-rwxr-x---	2023-04-04 15:52
mode-yaml.js	10.35 KB	-rwxr-x---	2023-04-04 15:52
mode-zeek.js	16.65 KB	-rwxr-x---	2023-04-04 15:52
theme-ambiance.js	27.55 KB	-rwxr-x---	2023-04-04 15:52
theme-chaos.js	3.47 KB	-rwxr-x---	2023-04-04 15:52
theme-chrome.js	3.29 KB	-rwxr-x---	2023-04-04 15:52
theme-clouds.js	2.61 KB	-rwxr-x---	2023-04-04 15:52
theme-clouds_midnight.js	2.96 KB	-rwxr-x---	2023-04-04 15:52
theme-cobalt.js	2.91 KB	-rwxr-x---	2023-04-04 15:52
theme-crimson_editor.js	3.38 KB	-rwxr-x---	2023-04-04 15:52
theme-dawn.js	2.79 KB	-rwxr-x---	2023-04-04 15:52
theme-dracula.js	3.17 KB	-rwxr-x---	2023-04-04 15:52
theme-dreamweaver.js	3.74 KB	-rwxr-x---	2023-04-04 15:52
theme-eclipse.js	2.66 KB	-rwxr-x---	2023-04-04 15:52
theme-github.js	2.72 KB	-rwxr-x---	2023-04-04 15:52
theme-gob.js	2.93 KB	-rwxr-x---	2023-04-04 15:52
theme-gruvbox.js	2.18 KB	-rwxr-x---	2023-04-04 15:52
theme-idle_fingers.js	2.78 KB	-rwxr-x---	2023-04-04 15:52
theme-iplastic.js	6.95 KB	-rwxr-x---	2023-04-04 15:52
theme-katzenmilch.js	3.68 KB	-rwxr-x---	2023-04-04 15:52
theme-kr_theme.js	2.83 KB	-rwxr-x---	2023-04-04 15:52
theme-kuroir.js	2.51 KB	-rwxr-x---	2023-04-04 15:52
theme-merbivore.js	2.76 KB	-rwxr-x---	2023-04-04 15:52
theme-merbivore_soft.js	2.97 KB	-rwxr-x---	2023-04-04 15:52
theme-mono_industrial.js	3.33 KB	-rwxr-x---	2023-04-04 15:52
theme-monokai.js	2.91 KB	-rwxr-x---	2023-04-04 15:52
theme-nord_dark.js	2.62 KB	-rwxr-x---	2023-04-04 15:52
theme-one_dark.js	3.28 KB	-rwxr-x---	2023-04-04 15:52
theme-pastel_on_dark.js	3.18 KB	-rwxr-x---	2023-04-04 15:52
theme-solarized_dark.js	2.83 KB	-rwxr-x---	2023-04-04 15:52
theme-solarized_light.js	2.88 KB	-rwxr-x---	2023-04-04 15:52
theme-sqlserver.js	3.49 KB	-rwxr-x---	2023-04-04 15:52
theme-terminal.js	3.46 KB	-rwxr-x---	2023-04-04 15:52
theme-textmate.js	3.2 KB	-rwxr-x---	2023-04-04 15:52
theme-tomorrow.js	3.1 KB	-rwxr-x---	2023-04-04 15:52
theme-tomorrow_night.js	3.36 KB	-rwxr-x---	2023-04-04 15:52
theme-tomorrow_night_blue.js	3.57 KB	-rwxr-x---	2023-04-04 15:52
theme-tomorrow_night_bright.js	4.05 KB	-rwxr-x---	2023-04-04 15:52
theme-tomorrow_night_eighties.js	3.76 KB	-rwxr-x---	2023-04-04 15:52
theme-twilight.js	3.02 KB	-rwxr-x---	2023-04-04 15:52
theme-vibrant_ink.js	2.73 KB	-rwxr-x---	2023-04-04 15:52
theme-xcode.js	2.43 KB	-rwxr-x---	2023-04-04 15:52
worker-base.js	41.99 KB	-rwxr-x---	2023-04-04 15:52
worker-coffee.js	340.98 KB	-rwxr-x---	2023-04-04 15:52
worker-css.js	306.75 KB	-rwxr-x---	2023-04-04 15:52
worker-html.js	308.72 KB	-rwxr-x---	2023-04-04 15:52
worker-javascript.js	704.57 KB	-rwxr-x---	2023-04-04 15:52
worker-json.js	49.55 KB	-rwxr-x---	2023-04-04 15:52
worker-lua.js	101.46 KB	-rwxr-x---	2023-04-04 15:52
worker-php.js	129.92 KB	-rwxr-x---	2023-04-04 15:52
worker-xml.js	88.56 KB	-rwxr-x---	2023-04-04 15:52
worker-xquery.js	3.34 MB	-rwxr-x---	2023-04-04 15:52

Rename

define("ace/mode/eiffel_highlight_rules",["require","exports","module","ace/lib/oop","ace/mode/text_highlight_rules"], function(require, exports, module) {
"use strict";

var oop = require("../lib/oop");
var TextHighlightRules = require("./text_highlight_rules").TextHighlightRules;

var EiffelHighlightRules = function() {
    var keywords = "across|agent|alias|all|attached|as|assign|attribute|check|" +
        "class|convert|create|debug|deferred|detachable|do|else|elseif|end|" +
        "ensure|expanded|export|external|feature|from|frozen|if|inherit|" +
        "inspect|invariant|like|local|loop|not|note|obsolete|old|once|" +
        "Precursor|redefine|rename|require|rescue|retry|select|separate|" +
        "some|then|undefine|until|variant|when";

var operatorKeywords = "and|implies|or|xor";

var languageConstants = "Void";

var booleanConstants = "True|False";

var languageVariables = "Current|Result";

var keywordMapper = this.createKeywordMapper({
        "constant.language": languageConstants,
        "constant.language.boolean": booleanConstants,
        "variable.language": languageVariables,
        "keyword.operator": operatorKeywords,
        "keyword": keywords
    }, "identifier", true);

var simpleString = /(?:[^"%\b\f\v]|%[A-DFHLNQR-V%'"()<>]|%\/(?:0[xX][\da-fA-F](?:_*[\da-fA-F])*|0[cC][0-7](?:_*[0-7])*|0[bB][01](?:_*[01])*|\d(?:_*\d)*)\/)+?/;

this.$rules = {
        "start": [{
                token : "string.quoted.other", // Aligned-verbatim-strings (verbatim option not supported)
                regex : /"\[/,
                next: "aligned_verbatim_string"
            }, {
                token : "string.quoted.other", // Non-aligned-verbatim-strings (verbatim option not supported)
                regex : /"\{/,
                next: "non-aligned_verbatim_string"
            }, {
                token : "string.quoted.double",
                regex : /"(?:[^%\b\f\n\r\v]|%[A-DFHLNQR-V%'"()<>]|%\/(?:0[xX][\da-fA-F](?:_*[\da-fA-F])*|0[cC][0-7](?:_*[0-7])*|0[bB][01](?:_*[01])*|\d(?:_*\d)*)\/)*?"/
            }, {
                token : "comment.line.double-dash",
                regex : /--.*/
            }, {
                token : "constant.character",
                regex : /'(?:[^%\b\f\n\r\t\v]|%[A-DFHLNQR-V%'"()<>]|%\/(?:0[xX][\da-fA-F](?:_*[\da-fA-F])*|0[cC][0-7](?:_*[0-7])*|0[bB][01](?:_*[01])*|\d(?:_*\d)*)\/)'/
            }, {
                token : "constant.numeric", // hexa | octal | bin
                regex : /\b0(?:[xX][\da-fA-F](?:_*[\da-fA-F])*|[cC][0-7](?:_*[0-7])*|[bB][01](?:_*[01])*)\b/
            }, {
                token : "constant.numeric",
                regex : /(?:\d(?:_*\d)*)?\.(?:(?:\d(?:_*\d)*)?[eE][+-]?)?\d(?:_*\d)*|\d(?:_*\d)*\.?/
            }, {
                token : "paren.lparen",
                regex : /[\[({]|<<|\|$/
            }, {
                token : "paren.rparen",
                regex : /[\])}]|>>|\|$/
            }, {
                token : "keyword.operator", // punctuation
                regex : /:=|->|\.(?=\w)|[;,:?]/
            }, {
                token : "keyword.operator",
                regex : /\\\\|\|\.\.\||\.\.|\/[~\/]?|[><\/]=?|[-+*^=~]/
            }, {
                token : function (v) {
                    var result = keywordMapper(v);
                    if (result === "identifier" && v === v.toUpperCase()) {
                        result =  "entity.name.type";
                    }
                    return result;
                },
                regex : /[a-zA-Z][a-zA-Z\d_]*\b/
            }, {
                token : "text",
                regex : /\s+/
            }
        ],
        "aligned_verbatim_string" : [{
                token : "string",
                regex : /]"/,
                next : "start"
            }, {
                token : "string",
                regex : simpleString
            }
        ],
        "non-aligned_verbatim_string" : [{
                token : "string.quoted.other",
                regex : /}"/,
                next : "start"
            }, {
                token : "string.quoted.other",
                regex : simpleString
            }
        ]};
};

oop.inherits(EiffelHighlightRules, TextHighlightRules);

exports.EiffelHighlightRules = EiffelHighlightRules;
});

define("ace/mode/eiffel",["require","exports","module","ace/lib/oop","ace/mode/text","ace/mode/eiffel_highlight_rules"], function(require, exports, module) {
"use strict";

var oop = require("../lib/oop");
var TextMode = require("./text").Mode;
var EiffelHighlightRules = require("./eiffel_highlight_rules").EiffelHighlightRules;

var Mode = function() {
    this.HighlightRules = EiffelHighlightRules;
    this.$behaviour = this.$defaultBehaviour;
};
oop.inherits(Mode, TextMode);

(function() {
    this.lineCommentStart = "--";
    this.$id = "ace/mode/eiffel";
}).call(Mode.prototype);

exports.Mode = Mode;

});                (function() {
                    window.require(["ace/mode/eiffel"], function(m) {
                        if (typeof module == "object" && typeof exports == "object" && module) {
                            module.exports = m;
                        }
                    });
                })();