mirror of https://github.com/gogits/gogs.git
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
173 lines
4.6 KiB
173 lines
4.6 KiB
// 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("fcl", function(config) { |
|
var indentUnit = config.indentUnit; |
|
|
|
var keywords = { |
|
"term": true, |
|
"method": true, "accu": true, |
|
"rule": true, "then": true, "is": true, "and": true, "or": true, |
|
"if": true, "default": true |
|
}; |
|
|
|
var start_blocks = { |
|
"var_input": true, |
|
"var_output": true, |
|
"fuzzify": true, |
|
"defuzzify": true, |
|
"function_block": true, |
|
"ruleblock": true |
|
}; |
|
|
|
var end_blocks = { |
|
"end_ruleblock": true, |
|
"end_defuzzify": true, |
|
"end_function_block": true, |
|
"end_fuzzify": true, |
|
"end_var": true |
|
}; |
|
|
|
var atoms = { |
|
"true": true, "false": true, "nan": true, |
|
"real": true, "min": true, "max": true, "cog": true, "cogs": true |
|
}; |
|
|
|
var isOperatorChar = /[+\-*&^%:=<>!|\/]/; |
|
|
|
function tokenBase(stream, state) { |
|
var ch = stream.next(); |
|
|
|
if (/[\d\.]/.test(ch)) { |
|
if (ch == ".") { |
|
stream.match(/^[0-9]+([eE][\-+]?[0-9]+)?/); |
|
} else if (ch == "0") { |
|
stream.match(/^[xX][0-9a-fA-F]+/) || stream.match(/^0[0-7]+/); |
|
} else { |
|
stream.match(/^[0-9]*\.?[0-9]*([eE][\-+]?[0-9]+)?/); |
|
} |
|
return "number"; |
|
} |
|
|
|
if (ch == "/" || ch == "(") { |
|
if (stream.eat("*")) { |
|
state.tokenize = tokenComment; |
|
return tokenComment(stream, state); |
|
} |
|
if (stream.eat("/")) { |
|
stream.skipToEnd(); |
|
return "comment"; |
|
} |
|
} |
|
if (isOperatorChar.test(ch)) { |
|
stream.eatWhile(isOperatorChar); |
|
return "operator"; |
|
} |
|
stream.eatWhile(/[\w\$_\xa1-\uffff]/); |
|
|
|
var cur = stream.current().toLowerCase(); |
|
if (keywords.propertyIsEnumerable(cur) || |
|
start_blocks.propertyIsEnumerable(cur) || |
|
end_blocks.propertyIsEnumerable(cur)) { |
|
return "keyword"; |
|
} |
|
if (atoms.propertyIsEnumerable(cur)) return "atom"; |
|
return "variable"; |
|
} |
|
|
|
|
|
function tokenComment(stream, state) { |
|
var maybeEnd = false, ch; |
|
while (ch = stream.next()) { |
|
if ((ch == "/" || ch == ")") && maybeEnd) { |
|
state.tokenize = tokenBase; |
|
break; |
|
} |
|
maybeEnd = (ch == "*"); |
|
} |
|
return "comment"; |
|
} |
|
|
|
function Context(indented, column, type, align, prev) { |
|
this.indented = indented; |
|
this.column = column; |
|
this.type = type; |
|
this.align = align; |
|
this.prev = prev; |
|
} |
|
|
|
function pushContext(state, col, type) { |
|
return state.context = new Context(state.indented, col, type, null, state.context); |
|
} |
|
|
|
function popContext(state) { |
|
if (!state.context.prev) return; |
|
var t = state.context.type; |
|
if (t == "end_block") |
|
state.indented = state.context.indented; |
|
return state.context = state.context.prev; |
|
} |
|
|
|
// Interface |
|
|
|
return { |
|
startState: function(basecolumn) { |
|
return { |
|
tokenize: null, |
|
context: new Context((basecolumn || 0) - indentUnit, 0, "top", false), |
|
indented: 0, |
|
startOfLine: true |
|
}; |
|
}, |
|
|
|
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()) return null; |
|
|
|
var style = (state.tokenize || tokenBase)(stream, state); |
|
if (style == "comment") return style; |
|
if (ctx.align == null) ctx.align = true; |
|
|
|
var cur = stream.current().toLowerCase(); |
|
|
|
if (start_blocks.propertyIsEnumerable(cur)) pushContext(state, stream.column(), "end_block"); |
|
else if (end_blocks.propertyIsEnumerable(cur)) popContext(state); |
|
|
|
state.startOfLine = false; |
|
return style; |
|
}, |
|
|
|
indent: function(state, textAfter) { |
|
if (state.tokenize != tokenBase && state.tokenize != null) return 0; |
|
var ctx = state.context; |
|
|
|
var closing = end_blocks.propertyIsEnumerable(textAfter); |
|
if (ctx.align) return ctx.column + (closing ? 0 : 1); |
|
else return ctx.indented + (closing ? 0 : indentUnit); |
|
}, |
|
|
|
electricChars: "ryk", |
|
fold: "brace", |
|
blockCommentStart: "(*", |
|
blockCommentEnd: "*)", |
|
lineComment: "//" |
|
}; |
|
}); |
|
|
|
CodeMirror.defineMIME("text/x-fcl", "fcl"); |
|
});
|
|
|