123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322 |
- (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";
- function Context(indented, column, type, info, align, prev) {
- this.indented = indented;
- this.column = column;
- this.type = type;
- this.info = info;
- this.align = align;
- this.prev = prev;
- }
- function pushContext(state, col, type, info) {
- var indent = state.indented;
- if (state.context && state.context.type == "statement" && type != "statement")
- indent = state.context.indented;
- return state.context = new Context(indent, col, type, info, null, state.context);
- }
- function popContext(state) {
- var t = state.context.type;
- if (t == ")" || t == "]" || t == "}")
- state.indented = state.context.indented;
- return state.context = state.context.prev;
- }
- function typeBefore(stream, state, pos) {
- if (state.prevToken == "variable" || state.prevToken == "type") return true;
- if (/\S(?:[^- ]>|[*\]])\s*$|\*$/.test(stream.string.slice(0, pos))) return true;
- if (state.typeAtEndOfLine && stream.column() == stream.indentation()) return true;
- }
- function isTopScope(context) {
- for (; ;) {
- if (!context || context.type == "top") return true;
- if (context.type == "}" && context.prev.info != "namespace") return false;
- context = context.prev;
- }
- }
- CodeMirror.defineMode("ivprog", function (config, parserConfig) {
- var indentUnit = config.indentUnit,
- statementIndentUnit = parserConfig.statementIndentUnit || indentUnit,
- dontAlignCalls = parserConfig.dontAlignCalls,
- keywords = parserConfig.keywords || {},
- switchKeyword = parserConfig.switchKeyword,
- caseKeyword = parserConfig.caseKeyword,
- defaultKeyword = parserConfig.defaultKeyword,
- caseRegex = new RegExp(`^\s*(?:${caseKeyword} .*?:|${defaultKeyword}:|\{\}?|\})$`),////,
- types = parserConfig.types || {},
- builtin = parserConfig.builtin || {},
- blockKeywords = parserConfig.blockKeywords || {},
- defKeywords = parserConfig.defKeywords || {},
- atoms = parserConfig.atoms || {},
- hooks = parserConfig.hooks || {},
- multiLineStrings = parserConfig.multiLineStrings,
- indentStatements = false,
- namespaceSeparator = /\./,
- isPunctuationChar = /[\[\]{}\(\),;\:\n]/,
- numberStart = /[\d\.]/,
- number = /^(?:0x[a-f\d]+|0b[01]+|(?:\d+\.?\d*|\.\d+)(?:e[-+]?\d+)?)/i,
- isOperatorChar = /[+\-*%=<>!\/]/,
- isIdentifierChar = /[a-zA-Z_][a-zA-Z0-9_]*/,
- // An optional function that takes a {string} token and returns true if it
- // should be treated as a builtin.
- isReservedIdentifier = parserConfig.isReservedIdentifier || false;
- var curPunc, isDefKeyword;
- function tokenBase(stream, state) {
- var ch = stream.next();
- if (hooks[ch]) {
- var result = hooks[ch](stream, state);
- if (result !== false) return result;
- }
- if (ch == '"') {
- state.tokenize = tokenString(ch);
- return state.tokenize(stream, state);
- }
- if (isPunctuationChar.test(ch)) {
- curPunc = ch;
- return null;
- }
- if (numberStart.test(ch)) {
- stream.backUp(1)
- if (stream.match(number)) return "number"
- stream.next()
- }
- if (ch == "/") {
- if (stream.eat("*")) {
- state.tokenize = tokenComment;
- return tokenComment(stream, state);
- }
- if (stream.eat("/")) {
- stream.skipToEnd();
- return "comment";
- }
- }
- if (isOperatorChar.test(ch)) {
- while (!stream.match(/^\/[\/*]/, false) && stream.eat(isOperatorChar)) { }
- return "operator";
- }
- stream.eatWhile(isIdentifierChar);
- if (namespaceSeparator) while (stream.match(namespaceSeparator))
- stream.eatWhile(isIdentifierChar);
- var cur = stream.current();
- if (contains(keywords, cur)) {
- if (contains(blockKeywords, cur)) curPunc = "newstatement";
- if (contains(defKeywords, cur)) isDefKeyword = true;
- return "keyword";
- }
- if (contains(types, cur)) return "type";
- if (contains(builtin, cur)
- || (isReservedIdentifier && isReservedIdentifier(cur))) {
- if (contains(blockKeywords, cur)) curPunc = "newstatement";
- return "builtin";
- }
- if (contains(atoms, 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 || multiLineStrings))
- 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";
- }
- function maybeEOL(stream, state) {
- if (parserConfig.typeFirstDefinitions && stream.eol() && isTopScope(state.context))
- state.typeAtEndOfLine = typeBefore(stream, state, stream.pos)
- }
- // Interface
- return {
- startState: function (basecolumn) {
- return {
- tokenize: null,
- context: new Context((basecolumn || 0) - indentUnit, 0, "top", null, false),
- indented: 0,
- startOfLine: true,
- prevToken: null
- };
- },
- token: function (stream, state) {
- var ctx = state.context;
- if (stream.sol()) {
- if (ctx.align == null) ctx.align = false;
- state.indented = stream.indentation();
- state.startOfLine = true;
- }
- if (stream.eatSpace()) { maybeEOL(stream, state); return null; }
- curPunc = isDefKeyword = null;
- var style = (state.tokenize || tokenBase)(stream, state);
- if (style == "comment" || style == "meta") return style;
- if (ctx.align == null) ctx.align = true;
- if (curPunc == ";" || curPunc == ":" || (curPunc == "," && stream.match(/^\s*(?:\/\/.*)?$/, false)))
- while (state.context.type == "statement") popContext(state);
- else if (curPunc == "{") pushContext(state, stream.column(), "}");
- else if (curPunc == "[") pushContext(state, stream.column(), "]");
- else if (curPunc == "(") pushContext(state, stream.column(), ")");
- else if (curPunc == "}") {
- while (ctx.type == "statement") ctx = popContext(state);
- if (ctx.type == "}") ctx = popContext(state);
- while (ctx.type == "statement") ctx = popContext(state);
- }
- else if (curPunc == ctx.type) popContext(state);
- else if (indentStatements &&
- (((ctx.type == "}" || ctx.type == "top") && curPunc != ";") ||
- (ctx.type == "statement" && curPunc == "newstatement"))) {
- pushContext(state, stream.column(), "statement", stream.current());
- }
- if (style == "variable" &&
- ((state.prevToken == "def" ||
- (parserConfig.typeFirstDefinitions && typeBefore(stream, state, stream.start) &&
- isTopScope(state.context) && stream.match(/^\s*\(/, false)))))
- style = "def";
- if (hooks.token) {
- var result = hooks.token(stream, state, style);
- if (result !== undefined) style = result;
- }
- if (style == "def" && parserConfig.styleDefs === false) style = "variable";
- state.startOfLine = false;
- state.prevToken = isDefKeyword ? "def" : style || curPunc;
- maybeEOL(stream, state);
- return style;
- },
- indent: function (state, textAfter) {
- if (state.tokenize != tokenBase && state.tokenize != null || state.typeAtEndOfLine) return CodeMirror.Pass;
- var ctx = state.context, firstChar = textAfter && textAfter.charAt(0);
- var closing = firstChar == ctx.type;
- if (ctx.type == "statement" && firstChar == "}") ctx = ctx.prev;
- if (parserConfig.dontIndentStatements)
- while (ctx.type == "statement" && parserConfig.dontIndentStatements.test(ctx.info))
- ctx = ctx.prev
- if (hooks.indent) {
- var hook = hooks.indent(state, ctx, textAfter, indentUnit);
- if (typeof hook == "number") return hook
- }
- var switchBlock = ctx.prev && ctx.prev.info == switchKeyword;
- if (parserConfig.allmanIndentation && /[{(]/.test(firstChar)) {
- while (ctx.type != "top" && ctx.type != "}") ctx = ctx.prev
- return ctx.indented
- }
- if (ctx.type == "statement")
- return ctx.indented + (firstChar == "{" ? 0 : statementIndentUnit);
- if (ctx.align && (!dontAlignCalls || ctx.type != ")"))
- return ctx.column + (closing ? 0 : 1);
- if (ctx.type == ")" && !closing)
- return ctx.indented + statementIndentUnit;
- var caseTestRegex = new RegExp(`^(?:${caseKeyword}|${defaultKeyword})\b`)
- return ctx.indented + (closing ? 0 : indentUnit) +
- (!closing && switchBlock && !caseTestRegex.test(textAfter) ? indentUnit : 0);
- },
- electricInput: caseRegex,
- blockCommentStart: "/*",
- blockCommentEnd: "*/",
- blockCommentContinue: " * ",
- lineComment: "//",
- fold: "brace"
- };
- });
- function words(str) {
- var obj = {}, words = str.split(" ");
- for (var i = 0; i < words.length; ++i) obj[words[i]] = true;
- return obj;
- }
- function contains(words, word) {
- if (typeof words === "function") {
- return words(word);
- } else {
- return words.propertyIsEnumerable(word);
- }
- }
- var ivprogKeywords = "programa E OU nao senao se " +
- "enquanto faca pare para retorne funcao const " +
- "contrario caso escolha";
- // Do not use this. Use the cTypes function below. This is global just to avoid
- // excessive calls when cTypes is being called multiple times during a parse.
- var basicTypes = words("inteiro logico cadeia real vazio");
- // Returns true if identifier is a "C" type.
- // C type is defined as those that are reserved by the compiler (basicTypes),
- // and those that end in _t (Reserved by POSIX for types)
- // http://www.gnu.org/software/libc/manual/html_node/Reserved-Names.html
- function ivprogTypes(identifier) {
- return contains(basicTypes, identifier);
- }
- var ivprogBlockKeywords = "programa caso escolha contrario faca enquanto para se senao";
- var ivprogDefKeywords = "funcao const";
- function def(mimes, mode) {
- if (typeof mimes == "string") mimes = [mimes];
- var words = [];
- function add(obj) {
- if (obj) for (var prop in obj) if (obj.hasOwnProperty(prop))
- words.push(prop);
- }
- add(mode.keywords);
- add(mode.types);
- add(mode.builtin);
- add(mode.atoms);
- if (words.length) {
- mode.helperType = mimes[0];
- CodeMirror.registerHelper("hintWords", mimes[0], words);
- }
- for (var i = 0; i < mimes.length; ++i)
- CodeMirror.defineMIME(mimes[i], mode);
- }
- def(["text/x-ivprog"], {
- name: "ivprog",
- keywords: words(ivprogKeywords),
- types: ivprogTypes,
- blockKeywords: words(ivprogBlockKeywords),
- defKeywords: words(ivprogDefKeywords),
- typeFirstDefinitions: true,
- atoms: words("verdadeiro falso"),
- switchKeyword: "escolha",
- caseKeyword: "caso",
- defaultKeyword: "contrario",
- modeProps: { fold: ["brace"] }
- });
- });
|