diff options
Diffstat (limited to 'public/vendor/codemirror/mode/eiffel')
| -rwxr-xr-x | public/vendor/codemirror/mode/eiffel/eiffel.js | 162 | ||||
| -rwxr-xr-x | public/vendor/codemirror/mode/eiffel/index.html | 429 |
2 files changed, 591 insertions, 0 deletions
diff --git a/public/vendor/codemirror/mode/eiffel/eiffel.js b/public/vendor/codemirror/mode/eiffel/eiffel.js new file mode 100755 index 00000000..fcdf295c --- /dev/null +++ b/public/vendor/codemirror/mode/eiffel/eiffel.js @@ -0,0 +1,162 @@ +// CodeMirror, copyright (c) by Marijn Haverbeke and others +// Distributed under an MIT license: http://codemirror.net/LICENSE + +(function(mod) { + if (typeof exports == "object" && typeof module == "object") // CommonJS + mod(require("../../lib/codemirror")); + else if (typeof define == "function" && define.amd) // AMD + define(["../../lib/codemirror"], mod); + else // Plain browser env + mod(CodeMirror); +})(function(CodeMirror) { +"use strict"; + +CodeMirror.defineMode("eiffel", function() { + function wordObj(words) { + var o = {}; + for (var i = 0, e = words.length; i < e; ++i) o[words[i]] = true; + return o; + } + var keywords = wordObj([ + 'note', + 'across', + 'when', + 'variant', + 'until', + 'unique', + 'undefine', + 'then', + 'strip', + 'select', + 'retry', + 'rescue', + 'require', + 'rename', + 'reference', + 'redefine', + 'prefix', + 'once', + 'old', + 'obsolete', + 'loop', + 'local', + 'like', + 'is', + 'inspect', + 'infix', + 'include', + 'if', + 'frozen', + 'from', + 'external', + 'export', + 'ensure', + 'end', + 'elseif', + 'else', + 'do', + 'creation', + 'create', + 'check', + 'alias', + 'agent', + 'separate', + 'invariant', + 'inherit', + 'indexing', + 'feature', + 'expanded', + 'deferred', + 'class', + 'Void', + 'True', + 'Result', + 'Precursor', + 'False', + 'Current', + 'create', + 'attached', + 'detachable', + 'as', + 'and', + 'implies', + 'not', + 'or' + ]); + var operators = wordObj([":=", "and then","and", "or","<<",">>"]); + var curPunc; + + function chain(newtok, stream, state) { + state.tokenize.push(newtok); + return newtok(stream, state); + } + + function tokenBase(stream, state) { + curPunc = null; + if (stream.eatSpace()) return null; + var ch = stream.next(); + if (ch == '"'||ch == "'") { + return chain(readQuoted(ch, "string"), stream, state); + } else if (ch == "-"&&stream.eat("-")) { + stream.skipToEnd(); + return "comment"; + } else if (ch == ":"&&stream.eat("=")) { + return "operator"; + } else if (/[0-9]/.test(ch)) { + stream.eatWhile(/[xXbBCc0-9\.]/); + stream.eat(/[\?\!]/); + return "ident"; + } else if (/[a-zA-Z_0-9]/.test(ch)) { + stream.eatWhile(/[a-zA-Z_0-9]/); + stream.eat(/[\?\!]/); + return "ident"; + } else if (/[=+\-\/*^%<>~]/.test(ch)) { + stream.eatWhile(/[=+\-\/*^%<>~]/); + return "operator"; + } else { + return null; + } + } + + function readQuoted(quote, style, unescaped) { + return function(stream, state) { + var escaped = false, ch; + while ((ch = stream.next()) != null) { + if (ch == quote && (unescaped || !escaped)) { + state.tokenize.pop(); + break; + } + escaped = !escaped && ch == "%"; + } + return style; + }; + } + + return { + startState: function() { + return {tokenize: [tokenBase]}; + }, + + token: function(stream, state) { + var style = state.tokenize[state.tokenize.length-1](stream, state); + if (style == "ident") { + var word = stream.current(); + style = keywords.propertyIsEnumerable(stream.current()) ? "keyword" + : operators.propertyIsEnumerable(stream.current()) ? "operator" + : /^[A-Z][A-Z_0-9]*$/g.test(word) ? "tag" + : /^0[bB][0-1]+$/g.test(word) ? "number" + : /^0[cC][0-7]+$/g.test(word) ? "number" + : /^0[xX][a-fA-F0-9]+$/g.test(word) ? "number" + : /^([0-9]+\.[0-9]*)|([0-9]*\.[0-9]+)$/g.test(word) ? "number" + : /^[0-9]+$/g.test(word) ? "number" + : "variable"; + } + return style; + }, + lineComment: "--" + }; +}); + +CodeMirror.defineMIME("text/x-eiffel", "eiffel"); + +}); diff --git a/public/vendor/codemirror/mode/eiffel/index.html b/public/vendor/codemirror/mode/eiffel/index.html new file mode 100755 index 00000000..108a71be --- /dev/null +++ b/public/vendor/codemirror/mode/eiffel/index.html @@ -0,0 +1,429 @@ +<!doctype html> + +<title>CodeMirror: Eiffel mode</title> +<meta charset="utf-8"/> +<link rel=stylesheet href="../../doc/docs.css"> + +<link rel="stylesheet" href="../../lib/codemirror.css"> +<link rel="stylesheet" href="../../theme/neat.css"> +<script src="../../lib/codemirror.js"></script> +<script src="eiffel.js"></script> +<style> + .CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;} + .cm-s-default span.cm-arrow { color: red; } + </style> +<div id=nav> + <a href="http://codemirror.net"><h1>CodeMirror</h1><img id=logo src="../../doc/logo.png"></a> + + <ul> + <li><a href="../../index.html">Home</a> + <li><a href="../../doc/manual.html">Manual</a> + <li><a href="https://github.com/codemirror/codemirror">Code</a> + </ul> + <ul> + <li><a href="../index.html">Language modes</a> + <li><a class=active href="#">Eiffel</a> + </ul> +</div> + +<article> +<h2>Eiffel mode</h2> +<form><textarea id="code" name="code"> +note + description: "[ + Project-wide universal properties. + This class is an ancestor to all developer-written classes. + ANY may be customized for individual projects or teams. + ]" + + library: "Free implementation of ELKS library" + status: "See notice at end of class." + legal: "See notice at end of class." + date: "$Date: 2013-01-25 11:49:00 -0800 (Fri, 25 Jan 2013) $" + revision: "$Revision: 712 $" + +class + ANY + +feature -- Customization + +feature -- Access + + generator: STRING + -- Name of current object's generating class + -- (base class of the type of which it is a direct instance) + external + "built_in" + ensure + generator_not_void: Result /= Void + generator_not_empty: not Result.is_empty + end + + generating_type: TYPE [detachable like Current] + -- Type of current object + -- (type of which it is a direct instance) + do + Result := {detachable like Current} + ensure + generating_type_not_void: Result /= Void + end + +feature -- Status report + + conforms_to (other: ANY): BOOLEAN + -- Does type of current object conform to type + -- of `other' (as per Eiffel: The Language, chapter 13)? + require + other_not_void: other /= Void + external + "built_in" + end + + same_type (other: ANY): BOOLEAN + -- Is type of current object identical to type of `other'? + require + other_not_void: other /= Void + external + "built_in" + ensure + definition: Result = (conforms_to (other) and + other.conforms_to (Current)) + end + +feature -- Comparison + + is_equal (other: like Current): BOOLEAN + -- Is `other' attached to an object considered + -- equal to current object? + require + other_not_void: other /= Void + external + "built_in" + ensure + symmetric: Result implies other ~ Current + consistent: standard_is_equal (other) implies Result + end + + frozen standard_is_equal (other: like Current): BOOLEAN + -- Is `other' attached to an object of the same type + -- as current object, and field-by-field identical to it? + require + other_not_void: other /= Void + external + "built_in" + ensure + same_type: Result implies same_type (other) + symmetric: Result implies other.standard_is_equal (Current) + end + + frozen equal (a: detachable ANY; b: like a): BOOLEAN + -- Are `a' and `b' either both void or attached + -- to objects considered equal? + do + if a = Void then + Result := b = Void + else + Result := b /= Void and then + a.is_equal (b) + end + ensure + definition: Result = (a = Void and b = Void) or else + ((a /= Void and b /= Void) and then + a.is_equal (b)) + end + + frozen standard_equal (a: detachable ANY; b: like a): BOOLEAN + -- Are `a' and `b' either both void or attached to + -- field-by-field identical objects of the same type? + -- Always uses default object comparison criterion. + do + if a = Void then + Result := b = Void + else + Result := b /= Void and then + a.standard_is_equal (b) + end + ensure + definition: Result = (a = Void and b = Void) or else + ((a /= Void and b /= Void) and then + a.standard_is_equal (b)) + end + + frozen is_deep_equal (other: like Current): BOOLEAN + -- Are `Current' and `other' attached to isomorphic object structures? + require + other_not_void: other /= Void + external + "built_in" + ensure + shallow_implies_deep: standard_is_equal (other) implies Result + same_type: Result implies same_type (other) + symmetric: Result implies other.is_deep_equal (Current) + end + + frozen deep_equal (a: detachable ANY; b: like a): BOOLEAN + -- Are `a' and `b' either both void + -- or attached to isomorphic object structures? + do + if a = Void then + Result := b = Void + else + Result := b /= Void and then a.is_deep_equal (b) + end + ensure + shallow_implies_deep: standard_equal (a, b) implies Result + both_or_none_void: (a = Void) implies (Result = (b = Void)) + same_type: (Result and (a /= Void)) implies (b /= Void and then a.same_type (b)) + symmetric: Result implies deep_equal (b, a) + end + +feature -- Duplication + + frozen twin: like Current + -- New object equal to `Current' + -- `twin' calls `copy'; to change copying/twinning semantics, redefine `copy'. + external + "built_in" + ensure + twin_not_void: Result /= Void + is_equal: Result ~ Current + end + + copy (other: like Current) + -- Update current object using fields of object attached + -- to `other', so as to yield equal objects. + require + other_not_void: other /= Void + type_identity: same_type (other) + external + "built_in" + ensure + is_equal: Current ~ other + end + + frozen standard_copy (other: like Current) + -- Copy every field of `other' onto corresponding field + -- of current object. + require + other_not_void: other /= Void + type_identity: same_type (other) + external + "built_in" + ensure + is_standard_equal: standard_is_equal (other) + end + + frozen clone (other: detachable ANY): like other + -- Void if `other' is void; otherwise new object + -- equal to `other' + -- + -- For non-void `other', `clone' calls `copy'; + -- to change copying/cloning semantics, redefine `copy'. + obsolete + "Use `twin' instead." + do + if other /= Void then + Result := other.twin + end + ensure + equal: Result ~ other + end + + frozen standard_clone (other: detachable ANY): like other + -- Void if `other' is void; otherwise new object + -- field-by-field identical to `other'. + -- Always uses default copying semantics. + obsolete + "Use `standard_twin' instead." + do + if other /= Void then + Result := other.standard_twin + end + ensure + equal: standard_equal (Result, other) + end + + frozen standard_twin: like Current + -- New object field-by-field identical to `other'. + -- Always uses default copying semantics. + external + "built_in" + ensure + standard_twin_not_void: Result /= Void + equal: standard_equal (Result, Current) + end + + frozen deep_twin: like Current + -- New object structure recursively duplicated from Current. + external + "built_in" + ensure + deep_twin_not_void: Result /= Void + deep_equal: deep_equal (Current, Result) + end + + frozen deep_clone (other: detachable ANY): like other + -- Void if `other' is void: otherwise, new object structure + -- recursively duplicated from the one attached to `other' + obsolete + "Use `deep_twin' instead." + do + if other /= Void then + Result := other.deep_twin + end + ensure + deep_equal: deep_equal (other, Result) + end + + frozen deep_copy (other: like Current) + -- Effect equivalent to that of: + -- `copy' (`other' . `deep_twin') + require + other_not_void: other /= Void + do + copy (other.deep_twin) + ensure + deep_equal: deep_equal (Current, other) + end + +feature {NONE} -- Retrieval + + frozen internal_correct_mismatch + -- Called from runtime to perform a proper dynamic dispatch on `correct_mismatch' + -- from MISMATCH_CORRECTOR. + local + l_msg: STRING + l_exc: EXCEPTIONS + do + if attached {MISMATCH_CORRECTOR} Current as l_corrector then + l_corrector.correct_mismatch + else + create l_msg.make_from_string ("Mismatch: ") + create l_exc + l_msg.append (generating_type.name) + l_exc.raise_retrieval_exception (l_msg) + end + end + +feature -- Output + + io: STD_FILES + -- Handle to standard file setup + once + create Result + Result.set_output_default + ensure + io_not_void: Result /= Void + end + + out: STRING + -- New string containing terse printable representation + -- of current object + do + Result := tagged_out + ensure + out_not_void: Result /= Void + end + + frozen tagged_out: STRING + -- New string containing terse printable representation + -- of current object + external + "built_in" + ensure + tagged_out_not_void: Result /= Void + end + + print (o: detachable ANY) + -- Write terse external representation of `o' + -- on standard output. + do + if o /= Void then + io.put_string (o.out) + end + end + +feature -- Platform + + Operating_environment: OPERATING_ENVIRONMENT + -- Objects available from the operating system + once + create Result + ensure + operating_environment_not_void: Result /= Void + end + +feature {NONE} -- Initialization + + default_create + -- Process instances of classes with no creation clause. + -- (Default: do nothing.) + do + end + +feature -- Basic operations + + default_rescue + -- Process exception for routines with no Rescue clause. + -- (Default: do nothing.) + do + end + + frozen do_nothing + -- Execute a null action. + do + end + + frozen default: detachable like Current + -- Default value of object's type + do + end + + frozen default_pointer: POINTER + -- Default value of type `POINTER' + -- (Avoid the need to write `p'.`default' for + -- some `p' of type `POINTER'.) + do + ensure + -- Result = Result.default + end + + frozen as_attached: attached like Current + -- Attached version of Current + -- (Can be used during transitional period to convert + -- non-void-safe classes to void-safe ones.) + do + Result := Current + end + +invariant + reflexive_equality: standard_is_equal (Current) + reflexive_conformance: conforms_to (Current) + +note + copyright: "Copyright (c) 1984-2012, Eiffel Software and others" + license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" + source: "[ + Eiffel Software + 5949 Hollister Ave., Goleta, CA 93117 USA + Telephone 805-685-1006, Fax 805-685-6869 + Website http://www.eiffel.com + Customer support http://support.eiffel.com + ]" + +end + +</textarea></form> + <script> + var editor = CodeMirror.fromTextArea(document.getElementById("code"), { + mode: "text/x-eiffel", + indentUnit: 4, + lineNumbers: true, + theme: "neat" + }); + </script> + + <p><strong>MIME types defined:</strong> <code>text/x-eiffel</code>.</p> + + <p> Created by <a href="https://github.com/ynh">YNH</a>.</p> + </article> |