-Oz mode
-
-MIME type defined: text/x-oz.
-
-
-
diff --git a/public/vendor/codemirror/mode/oz/oz.js b/public/vendor/codemirror/mode/oz/oz.js
deleted file mode 100644
index ee8cb0ad..00000000
--- a/public/vendor/codemirror/mode/oz/oz.js
+++ /dev/null
@@ -1,252 +0,0 @@
-// 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("oz", function (conf) {
-
- function wordRegexp(words) {
- return new RegExp("^((" + words.join(")|(") + "))\\b");
- }
-
- var singleOperators = /[\^@!\|<>#~\.\*\-\+\\/,=]/;
- var doubleOperators = /(<-)|(:=)|(=<)|(>=)|(<=)|(<:)|(>:)|(=:)|(\\=)|(\\=:)|(!!)|(==)|(::)/;
- var tripleOperators = /(:::)|(\.\.\.)|(=<:)|(>=:)/;
-
- var middle = ["in", "then", "else", "of", "elseof", "elsecase", "elseif", "catch",
- "finally", "with", "require", "prepare", "import", "export", "define", "do"];
- var end = ["end"];
-
- var atoms = wordRegexp(["true", "false", "nil", "unit"]);
- var commonKeywords = wordRegexp(["andthen", "at", "attr", "declare", "feat", "from", "lex",
- "mod", "mode", "orelse", "parser", "prod", "prop", "scanner", "self", "syn", "token"]);
- var openingKeywords = wordRegexp(["local", "proc", "fun", "case", "class", "if", "cond", "or", "dis",
- "choice", "not", "thread", "try", "raise", "lock", "for", "suchthat", "meth", "functor"]);
- var middleKeywords = wordRegexp(middle);
- var endKeywords = wordRegexp(end);
-
- // Tokenizers
- function tokenBase(stream, state) {
- if (stream.eatSpace()) {
- return null;
- }
-
- // Brackets
- if(stream.match(/[{}]/)) {
- return "bracket";
- }
-
- // Special [] keyword
- if (stream.match(/(\[])/)) {
- return "keyword"
- }
-
- // Operators
- if (stream.match(tripleOperators) || stream.match(doubleOperators)) {
- return "operator";
- }
-
- // Atoms
- if(stream.match(atoms)) {
- return 'atom';
- }
-
- // Opening keywords
- var matched = stream.match(openingKeywords);
- if (matched) {
- if (!state.doInCurrentLine)
- state.currentIndent++;
- else
- state.doInCurrentLine = false;
-
- // Special matching for signatures
- if(matched[0] == "proc" || matched[0] == "fun")
- state.tokenize = tokenFunProc;
- else if(matched[0] == "class")
- state.tokenize = tokenClass;
- else if(matched[0] == "meth")
- state.tokenize = tokenMeth;
-
- return 'keyword';
- }
-
- // Middle and other keywords
- if (stream.match(middleKeywords) || stream.match(commonKeywords)) {
- return "keyword"
- }
-
- // End keywords
- if (stream.match(endKeywords)) {
- state.currentIndent--;
- return 'keyword';
- }
-
- // Eat the next char for next comparisons
- var ch = stream.next();
-
- // Strings
- if (ch == '"' || ch == "'") {
- state.tokenize = tokenString(ch);
- return state.tokenize(stream, state);
- }
-
- // Numbers
- if (/[~\d]/.test(ch)) {
- if (ch == "~") {
- if(! /^[0-9]/.test(stream.peek()))
- return null;
- else if (( stream.next() == "0" && stream.match(/^[xX][0-9a-fA-F]+/)) || stream.match(/^[0-9]*(\.[0-9]+)?([eE][~+]?[0-9]+)?/))
- return "number";
- }
-
- if ((ch == "0" && stream.match(/^[xX][0-9a-fA-F]+/)) || stream.match(/^[0-9]*(\.[0-9]+)?([eE][~+]?[0-9]+)?/))
- return "number";
-
- return null;
- }
-
- // Comments
- if (ch == "%") {
- stream.skipToEnd();
- return 'comment';
- }
- else if (ch == "/") {
- if (stream.eat("*")) {
- state.tokenize = tokenComment;
- return tokenComment(stream, state);
- }
- }
-
- // Single operators
- if(singleOperators.test(ch)) {
- return "operator";
- }
-
- // If nothing match, we skip the entire alphanumerical block
- stream.eatWhile(/\w/);
-
- return "variable";
- }
-
- function tokenClass(stream, state) {
- if (stream.eatSpace()) {
- return null;
- }
- stream.match(/([A-Z][A-Za-z0-9_]*)|(`.+`)/);
- state.tokenize = tokenBase;
- return "variable-3"
- }
-
- function tokenMeth(stream, state) {
- if (stream.eatSpace()) {
- return null;
- }
- stream.match(/([a-zA-Z][A-Za-z0-9_]*)|(`.+`)/);
- state.tokenize = tokenBase;
- return "def"
- }
-
- function tokenFunProc(stream, state) {
- if (stream.eatSpace()) {
- return null;
- }
-
- if(!state.hasPassedFirstStage && stream.eat("{")) {
- state.hasPassedFirstStage = true;
- return "bracket";
- }
- else if(state.hasPassedFirstStage) {
- stream.match(/([A-Z][A-Za-z0-9_]*)|(`.+`)|\$/);
- state.hasPassedFirstStage = false;
- state.tokenize = tokenBase;
- return "def"
- }
- else {
- state.tokenize = tokenBase;
- return null;
- }
- }
-
- function tokenComment(stream, state) {
- var maybeEnd = false, ch;
- while (ch = stream.next()) {
- if (ch == "/" && maybeEnd) {
- state.tokenize = tokenBase;
- break;
- }
- maybeEnd = (ch == "*");
- }
- return "comment";
- }
-
- 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 = tokenBase;
- return "string";
- };
- }
-
- function buildElectricInputRegEx() {
- // Reindentation should occur on [] or on a match of any of
- // the block closing keywords, at the end of a line.
- var allClosings = middle.concat(end);
- return new RegExp("[\\[\\]]|(" + allClosings.join("|") + ")$");
- }
-
- return {
-
- startState: function () {
- return {
- tokenize: tokenBase,
- currentIndent: 0,
- doInCurrentLine: false,
- hasPassedFirstStage: false
- };
- },
-
- token: function (stream, state) {
- if (stream.sol())
- state.doInCurrentLine = 0;
-
- return state.tokenize(stream, state);
- },
-
- indent: function (state, textAfter) {
- var trueText = textAfter.replace(/^\s+|\s+$/g, '');
-
- if (trueText.match(endKeywords) || trueText.match(middleKeywords) || trueText.match(/(\[])/))
- return conf.indentUnit * (state.currentIndent - 1);
-
- if (state.currentIndent < 0)
- return 0;
-
- return state.currentIndent * conf.indentUnit;
- },
- fold: "indent",
- electricInput: buildElectricInputRegEx(),
- lineComment: "%",
- blockCommentStart: "/*",
- blockCommentEnd: "*/"
- };
-});
-
-CodeMirror.defineMIME("text/x-oz", "oz");
-
-});
--
cgit v1.2.3
-
-