|
0
|
1 // CodeMirror, copyright (c) by Marijn Haverbeke and others
|
|
|
2 // Distributed under an MIT license: https://codemirror.net/5/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
|
|
|
14 CodeMirror.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
|
|
|
160 CodeMirror.defineMIME("text/turtle", "turtle");
|
|
|
161
|
|
|
162 });
|
