%PDF- %PDF-
| Direktori : /data/old/home/stash/stash/atlassian-stash/static/bower/CodeMirror/mode/eiffel/ |
| Current File : //data/old/home/stash/stash/atlassian-stash/static/bower/CodeMirror/mode/eiffel/eiffel-min.js |
CodeMirror.defineMode("eiffel",function(){function G(K){var J={};for(var H=0,I=K.length;H<I;++H){J[K[H]]=true}return J}var C=G(["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 A=G([":=","and then","and","or","<<",">>"]);var D;function B(H,J,I){I.tokenize.push(H);return H(J,I)}function F(J,I){D=null;if(J.eatSpace()){return null}var H=J.next();if(H=='"'||H=="'"){return B(E(H,"string"),J,I)}else{if(H=="-"&&J.eat("-")){J.skipToEnd();return"comment"}else{if(H==":"&&J.eat("=")){return"operator"}else{if(/[0-9]/.test(H)){J.eatWhile(/[xXbBCc0-9\.]/);J.eat(/[\?\!]/);return"ident"}else{if(/[a-zA-Z_0-9]/.test(H)){J.eatWhile(/[a-zA-Z_0-9]/);J.eat(/[\?\!]/);return"ident"}else{if(/[=+\-\/*^%<>~]/.test(H)){J.eatWhile(/[=+\-\/*^%<>~]/);return"operator"}else{return null}}}}}}}function E(H,I,J){return function(N,L){var M=false,K;while((K=N.next())!=null){if(K==H&&(J||!M)){L.tokenize.pop();break}M=!M&&K=="%"}return I}}return{startState:function(){return{tokenize:[F]}},token:function(K,I){var H=I.tokenize[I.tokenize.length-1](K,I);if(H=="ident"){var J=K.current();H=C.propertyIsEnumerable(K.current())?"keyword":A.propertyIsEnumerable(K.current())?"operator":/^[A-Z][A-Z_0-9]*$/g.test(J)?"tag":/^0[bB][0-1]+$/g.test(J)?"number":/^0[cC][0-7]+$/g.test(J)?"number":/^0[xX][a-fA-F0-9]+$/g.test(J)?"number":/^([0-9]+\.[0-9]*)|([0-9]*\.[0-9]+)$/g.test(J)?"number":/^[0-9]+$/g.test(J)?"number":"variable"}return H},lineComment:"--"}});CodeMirror.defineMIME("text/x-eiffel","eiffel");