all repos — NoPaste @ 3e3c433f026c49e04d0efa0f0f39fc688ed32bb1

Resurrected - The PussTheCat.org fork of NoPaste

scripts/CodeMirror/mode/turtle/turtle.js (view raw)

  1// CodeMirror, copyright (c) by Marijn Haverbeke and others
  2// Distributed under an MIT license: https://codemirror.net/LICENSE
  3
  4(function(mod) {
  5  if (typeof exports == "object" && typeof module == "object") // CommonJS
  6    mod(require("../../lib/codemirror"));
  7  else if (typeof define == "function" && define.amd) // AMD
  8    define(["../../lib/codemirror"], mod);
  9  else // Plain browser env
 10    mod(CodeMirror);
 11})(function(CodeMirror) {
 12"use strict";
 13
 14CodeMirror.defineMode("turtle", function(config) {
 15  var indentUnit = config.indentUnit;
 16  var curPunc;
 17
 18  function wordRegexp(words) {
 19    return new RegExp("^(?:" + words.join("|") + ")$", "i");
 20  }
 21  var ops = wordRegexp([]);
 22  var keywords = wordRegexp(["@prefix", "@base", "a"]);
 23  var operatorChars = /[*+\-<>=&|]/;
 24
 25  function tokenBase(stream, state) {
 26    var ch = stream.next();
 27    curPunc = null;
 28    if (ch == "<" && !stream.match(/^[\s\u00a0=]/, false)) {
 29      stream.match(/^[^\s\u00a0>]*>?/);
 30      return "atom";
 31    }
 32    else if (ch == "\"" || ch == "'") {
 33      state.tokenize = tokenLiteral(ch);
 34      return state.tokenize(stream, state);
 35    }
 36    else if (/[{}\(\),\.;\[\]]/.test(ch)) {
 37      curPunc = ch;
 38      return null;
 39    }
 40    else if (ch == "#") {
 41      stream.skipToEnd();
 42      return "comment";
 43    }
 44    else if (operatorChars.test(ch)) {
 45      stream.eatWhile(operatorChars);
 46      return null;
 47    }
 48    else if (ch == ":") {
 49          return "operator";
 50        } else {
 51      stream.eatWhile(/[_\w\d]/);
 52      if(stream.peek() == ":") {
 53        return "variable-3";
 54      } else {
 55             var word = stream.current();
 56
 57             if(keywords.test(word)) {
 58                        return "meta";
 59             }
 60
 61             if(ch >= "A" && ch <= "Z") {
 62                    return "comment";
 63                 } else {
 64                        return "keyword";
 65                 }
 66      }
 67      var word = stream.current();
 68      if (ops.test(word))
 69        return null;
 70      else if (keywords.test(word))
 71        return "meta";
 72      else
 73        return "variable";
 74    }
 75  }
 76
 77  function tokenLiteral(quote) {
 78    return function(stream, state) {
 79      var escaped = false, ch;
 80      while ((ch = stream.next()) != null) {
 81        if (ch == quote && !escaped) {
 82          state.tokenize = tokenBase;
 83          break;
 84        }
 85        escaped = !escaped && ch == "\\";
 86      }
 87      return "string";
 88    };
 89  }
 90
 91  function pushContext(state, type, col) {
 92    state.context = {prev: state.context, indent: state.indent, col: col, type: type};
 93  }
 94  function popContext(state) {
 95    state.indent = state.context.indent;
 96    state.context = state.context.prev;
 97  }
 98
 99  return {
100    startState: function() {
101      return {tokenize: tokenBase,
102              context: null,
103              indent: 0,
104              col: 0};
105    },
106
107    token: function(stream, state) {
108      if (stream.sol()) {
109        if (state.context && state.context.align == null) state.context.align = false;
110        state.indent = stream.indentation();
111      }
112      if (stream.eatSpace()) return null;
113      var style = state.tokenize(stream, state);
114
115      if (style != "comment" && state.context && state.context.align == null && state.context.type != "pattern") {
116        state.context.align = true;
117      }
118
119      if (curPunc == "(") pushContext(state, ")", stream.column());
120      else if (curPunc == "[") pushContext(state, "]", stream.column());
121      else if (curPunc == "{") pushContext(state, "}", stream.column());
122      else if (/[\]\}\)]/.test(curPunc)) {
123        while (state.context && state.context.type == "pattern") popContext(state);
124        if (state.context && curPunc == state.context.type) popContext(state);
125      }
126      else if (curPunc == "." && state.context && state.context.type == "pattern") popContext(state);
127      else if (/atom|string|variable/.test(style) && state.context) {
128        if (/[\}\]]/.test(state.context.type))
129          pushContext(state, "pattern", stream.column());
130        else if (state.context.type == "pattern" && !state.context.align) {
131          state.context.align = true;
132          state.context.col = stream.column();
133        }
134      }
135
136      return style;
137    },
138
139    indent: function(state, textAfter) {
140      var firstChar = textAfter && textAfter.charAt(0);
141      var context = state.context;
142      if (/[\]\}]/.test(firstChar))
143        while (context && context.type == "pattern") context = context.prev;
144
145      var closing = context && firstChar == context.type;
146      if (!context)
147        return 0;
148      else if (context.type == "pattern")
149        return context.col;
150      else if (context.align)
151        return context.col + (closing ? 0 : 1);
152      else
153        return context.indent + (closing ? 0 : indentUnit);
154    },
155
156    lineComment: "#"
157  };
158});
159
160CodeMirror.defineMIME("text/turtle", "turtle");
161
162});