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");
- });
|