| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113 | 
							- (function(mod) {
 
-   if (typeof exports == "object" && typeof module == "object") // CommonJS
 
-     mod(require("codemirror/lib/codemirror"));
 
-   else if (typeof define == "function" && define.amd) // AMD
 
-     define(["codemirror/lib/codemirror"], mod);
 
-   else // Plain browser env
 
-     mod(CodeMirror);
 
- })(function(CodeMirror) {
 
- "use strict";
 
- CodeMirror.defineMode("ivprog", function() {
 
-   function words(str) {
 
-     var obj = {}, words = str.split(" ");
 
-     for (var i = 0; i < words.length; ++i) obj[words[i]] = true;
 
-     return obj;
 
-   }
 
-   var keywords = words(
 
-     "programa E OU nao senao se " +
 
-     "enquanto faca pare para retorne funcao const " +
 
-     "contrario caso escolha");
 
-   var atoms = words("verdadeiro falso");
 
-   var types = words("inteiro logico cadeia real vazio")
 
-   var isOperatorChar = /[+\-*%=<>!\/]/;
 
-   function tokenBase(stream, state) {
 
-     var ch = stream.next();
 
-     if (ch == "#" && state.startOfLine) {
 
-       stream.skipToEnd();
 
-       return "meta";
 
-     }
 
-     if (ch == '"') {
 
-       state.tokenize = tokenString(ch);
 
-       return state.tokenize(stream, state);
 
-     }
 
-     if (ch == "/" && stream.eat("*")) {
 
-       state.tokenize = tokenComment;
 
-       return tokenComment(stream, state);
 
-     }
 
-     if (/[\[\]{}\(\),;\:\.]/.test(ch)) {
 
-       return null;
 
-     }
 
-     if (/\d/.test(ch)) {
 
-       stream.eatWhile(/[\w\.]/);
 
-       return "number";
 
-     }
 
-     if (ch == "/") {
 
-       if (stream.eat("/")) {
 
-         stream.skipToEnd();
 
-         return "comment";
 
-       }
 
-     }
 
-     if (isOperatorChar.test(ch)) {
 
-       stream.eatWhile(isOperatorChar);
 
-       return "operator";
 
-     }
 
-     stream.eatWhile(/[\w\$_]/);
 
-     var cur = stream.current();
 
-     if (keywords.propertyIsEnumerable(cur)) return "keyword";
 
-     if (types.propertyIsEnumerable(cur)) return "type";
 
-     if (atoms.propertyIsEnumerable(cur)) return "atom";
 
-     return "variable";
 
-   }
 
-   function tokenString(quote) {
 
-     return function(stream, state) {
 
-       var escaped = false, next, end = false;
 
-       while ((next = stream.next()) != null) {
 
-         if (next == quote && !escaped) {end = true; break;}
 
-         escaped = !escaped && next == "\\";
 
-       }
 
-       if (end || !escaped) state.tokenize = null;
 
-       return "string";
 
-     };
 
-   }
 
-   function tokenComment(stream, state) {
 
-     var maybeEnd = false, ch;
 
-     while (ch = stream.next()) {
 
-       if (ch == "/" && maybeEnd) {
 
-         state.tokenize = null;
 
-         break;
 
-       }
 
-       maybeEnd = (ch == "*");
 
-     }
 
-     return "comment";
 
-   }
 
-   // Interface
 
-   return {
 
-     startState: function() {
 
-       return {tokenize: null};
 
-     },
 
-     token: function(stream, state) {
 
-       if (stream.eatSpace()) return null;
 
-       var style = (state.tokenize || tokenBase)(stream, state);
 
-       if (style == "comment" || style == "meta") return style;
 
-       return style;
 
-     },
 
-     electricChars: "{}",
 
-     blockCommentStart: "/*",
 
-     blockCommentEnd: "*/",
 
-     blockCommentContinue: " * ",
 
-     lineComment: "//",
 
-   };
 
- });
 
- CodeMirror.defineMIME("text/x-ivprog", "ivprog");
 
- });
 
 
  |