Edit File by line

// CodeMirror, copyright (c) by Marijn Haverbeke and others

[0] Fix | Delete

// Distributed under an MIT license: http://codemirror.net/LICENSE

[1] Fix | Delete

[2] Fix | Delete

(function(mod) {

[3] Fix | Delete

if (typeof exports == "object" && typeof module == "object") // CommonJS

[4] Fix | Delete

mod(require("../../lib/codemirror"));

[5] Fix | Delete

else if (typeof define == "function" && define.amd) // AMD

[6] Fix | Delete

define(["../../lib/codemirror"], mod);

[7] Fix | Delete

else // Plain browser env

[8] Fix | Delete

mod(CodeMirror);

[9] Fix | Delete

})(function(CodeMirror) {

[10] Fix | Delete

"use strict";

[11] Fix | Delete

[12] Fix | Delete

CodeMirror.defineMode("sparql", function(config) {

[13] Fix | Delete

var indentUnit = config.indentUnit;

[14] Fix | Delete

var curPunc;

[15] Fix | Delete

[16] Fix | Delete

function wordRegexp(words) {

[17] Fix | Delete

return new RegExp("^(?:" + words.join("|") + ")$", "i");

[18] Fix | Delete

}

[19] Fix | Delete

var ops = wordRegexp(["str", "lang", "langmatches", "datatype", "bound", "sameterm", "isiri", "isuri",

[20] Fix | Delete

"iri", "uri", "bnode", "count", "sum", "min", "max", "avg", "sample",

[21] Fix | Delete

"group_concat", "rand", "abs", "ceil", "floor", "round", "concat", "substr", "strlen",

[22] Fix | Delete

"replace", "ucase", "lcase", "encode_for_uri", "contains", "strstarts", "strends",

[23] Fix | Delete

"strbefore", "strafter", "year", "month", "day", "hours", "minutes", "seconds",

[24] Fix | Delete

"timezone", "tz", "now", "uuid", "struuid", "md5", "sha1", "sha256", "sha384",

[25] Fix | Delete

"sha512", "coalesce", "if", "strlang", "strdt", "isnumeric", "regex", "exists",

[26] Fix | Delete

"isblank", "isliteral", "a", "bind"]);

[27] Fix | Delete

var keywords = wordRegexp(["base", "prefix", "select", "distinct", "reduced", "construct", "describe",

[28] Fix | Delete

"ask", "from", "named", "where", "order", "limit", "offset", "filter", "optional",

[29] Fix | Delete

"graph", "by", "asc", "desc", "as", "having", "undef", "values", "group",

[30] Fix | Delete

"minus", "in", "not", "service", "silent", "using", "insert", "delete", "union",

[31] Fix | Delete

"true", "false", "with",

[32] Fix | Delete

"data", "copy", "to", "move", "add", "create", "drop", "clear", "load"]);

[33] Fix | Delete

var operatorChars = /[*+\-<>=&|\^\/!\?]/;

[34] Fix | Delete

[35] Fix | Delete

function tokenBase(stream, state) {

[36] Fix | Delete

var ch = stream.next();

[37] Fix | Delete

curPunc = null;

[38] Fix | Delete

if (ch == "$" || ch == "?") {

[39] Fix | Delete

if(ch == "?" && stream.match(/\s/, false)){

[40] Fix | Delete

return "operator";

[41] Fix | Delete

}

[42] Fix | Delete

stream.match(/^[\w\d]*/);

[43] Fix | Delete

return "variable-2";

[44] Fix | Delete

}

[45] Fix | Delete

else if (ch == "<" && !stream.match(/^[\s\u00a0=]/, false)) {

[46] Fix | Delete

stream.match(/^[^\s\u00a0>]*>?/);

[47] Fix | Delete

return "atom";

[48] Fix | Delete

}

[49] Fix | Delete

else if (ch == "\"" || ch == "'") {

[50] Fix | Delete

state.tokenize = tokenLiteral(ch);

[51] Fix | Delete

return state.tokenize(stream, state);

[52] Fix | Delete

}

[53] Fix | Delete

else if (/[{},\.;\[\]]/.test(ch)) {

[54] Fix | Delete

curPunc = ch;

[55] Fix | Delete

return "bracket";

[56] Fix | Delete

}

[57] Fix | Delete

else if (ch == "#") {

[58] Fix | Delete

stream.skipToEnd();

[59] Fix | Delete

return "comment";

[60] Fix | Delete

}

[61] Fix | Delete

else if (operatorChars.test(ch)) {

[62] Fix | Delete

stream.eatWhile(operatorChars);

[63] Fix | Delete

return "operator";

[64] Fix | Delete

}

[65] Fix | Delete

else if (ch == ":") {

[66] Fix | Delete

stream.eatWhile(/[\w\d\._\-]/);

[67] Fix | Delete

return "atom";

[68] Fix | Delete

}

[69] Fix | Delete

else if (ch == "@") {

[70] Fix | Delete

stream.eatWhile(/[a-z\d\-]/i);

[71] Fix | Delete

return "meta";

[72] Fix | Delete

}

[73] Fix | Delete

else {

[74] Fix | Delete

stream.eatWhile(/[_\w\d]/);

[75] Fix | Delete

if (stream.eat(":")) {

[76] Fix | Delete

stream.eatWhile(/[\w\d_\-]/);

[77] Fix | Delete

return "atom";

[78] Fix | Delete

}

[79] Fix | Delete

var word = stream.current();

[80] Fix | Delete

if (ops.test(word))

[81] Fix | Delete

return "builtin";

[82] Fix | Delete

else if (keywords.test(word))

[83] Fix | Delete

return "keyword";

[84] Fix | Delete

else

[85] Fix | Delete

return "variable";

[86] Fix | Delete

}

[87] Fix | Delete

}

[88] Fix | Delete

[89] Fix | Delete

function tokenLiteral(quote) {

[90] Fix | Delete

return function(stream, state) {

[91] Fix | Delete

var escaped = false, ch;

[92] Fix | Delete

while ((ch = stream.next()) != null) {

[93] Fix | Delete

if (ch == quote && !escaped) {

[94] Fix | Delete

state.tokenize = tokenBase;

[95] Fix | Delete

break;

[96] Fix | Delete

}

[97] Fix | Delete

escaped = !escaped && ch == "\\";

[98] Fix | Delete

}

[99] Fix | Delete

return "string";

[100] Fix | Delete

};

[101] Fix | Delete

}

[102] Fix | Delete

[103] Fix | Delete

function pushContext(state, type, col) {

[104] Fix | Delete

state.context = {prev: state.context, indent: state.indent, col: col, type: type};

[105] Fix | Delete

}

[106] Fix | Delete

function popContext(state) {

[107] Fix | Delete

state.indent = state.context.indent;

[108] Fix | Delete

state.context = state.context.prev;

[109] Fix | Delete

}

[110] Fix | Delete

[111] Fix | Delete

return {

[112] Fix | Delete

startState: function() {

[113] Fix | Delete

return {tokenize: tokenBase,

[114] Fix | Delete

context: null,

[115] Fix | Delete

indent: 0,

[116] Fix | Delete

col: 0};

[117] Fix | Delete

[118] Fix | Delete

[119] Fix | Delete

token: function(stream, state) {

[120] Fix | Delete

if (stream.sol()) {

[121] Fix | Delete

if (state.context && state.context.align == null) state.context.align = false;

[122] Fix | Delete

state.indent = stream.indentation();

[123] Fix | Delete

}

[124] Fix | Delete

if (stream.eatSpace()) return null;

[125] Fix | Delete

var style = state.tokenize(stream, state);

[126] Fix | Delete

[127] Fix | Delete

if (style != "comment" && state.context && state.context.align == null && state.context.type != "pattern") {

[128] Fix | Delete

state.context.align = true;

[129] Fix | Delete

}

[130] Fix | Delete

[131] Fix | Delete

if (curPunc == "(") pushContext(state, ")", stream.column());

[132] Fix | Delete

else if (curPunc == "[") pushContext(state, "]", stream.column());

[133] Fix | Delete

else if (curPunc == "{") pushContext(state, "}", stream.column());

[134] Fix | Delete

else if (/[\]\}\)]/.test(curPunc)) {

[135] Fix | Delete

while (state.context && state.context.type == "pattern") popContext(state);

[136] Fix | Delete

if (state.context && curPunc == state.context.type) {

[137] Fix | Delete

popContext(state);

[138] Fix | Delete

if (curPunc == "}" && state.context && state.context.type == "pattern")

[139] Fix | Delete

popContext(state);

[140] Fix | Delete

}

[141] Fix | Delete

}

[142] Fix | Delete

else if (curPunc == "." && state.context && state.context.type == "pattern") popContext(state);

[143] Fix | Delete

else if (/atom|string|variable/.test(style) && state.context) {

[144] Fix | Delete

if (/[\}\]]/.test(state.context.type))

[145] Fix | Delete

pushContext(state, "pattern", stream.column());

[146] Fix | Delete

else if (state.context.type == "pattern" && !state.context.align) {

[147] Fix | Delete

state.context.align = true;

[148] Fix | Delete

state.context.col = stream.column();

[149] Fix | Delete

}

[150] Fix | Delete

}

[151] Fix | Delete

[152] Fix | Delete

return style;

[153] Fix | Delete

[154] Fix | Delete

[155] Fix | Delete

indent: function(state, textAfter) {

[156] Fix | Delete

var firstChar = textAfter && textAfter.charAt(0);

[157] Fix | Delete

var context = state.context;

[158] Fix | Delete

if (/[\]\}]/.test(firstChar))

[159] Fix | Delete

while (context && context.type == "pattern") context = context.prev;

[160] Fix | Delete

[161] Fix | Delete

var closing = context && firstChar == context.type;

[162] Fix | Delete

if (!context)

[163] Fix | Delete

return 0;

[164] Fix | Delete

else if (context.type == "pattern")

[165] Fix | Delete

return context.col;

[166] Fix | Delete

else if (context.align)

[167] Fix | Delete

return context.col + (closing ? 0 : 1);

[168] Fix | Delete

else

[169] Fix | Delete

return context.indent + (closing ? 0 : indentUnit);

[170] Fix | Delete

[171] Fix | Delete

[172] Fix | Delete

lineComment: "#"

[173] Fix | Delete

};

[174] Fix | Delete

});

[175] Fix | Delete

[176] Fix | Delete

CodeMirror.defineMIME("application/sparql-query", "sparql");

[177] Fix | Delete

[178] Fix | Delete

});

[179] Fix | Delete

[180] Fix | Delete