Gav Wood
10 years ago
10 changed files with 862 additions and 29 deletions
@ -0,0 +1,62 @@ |
|||
(function() { |
|||
"use strict"; |
|||
|
|||
var WORD = /[\w$]+/, RANGE = 500; |
|||
|
|||
CodeMirror.registerHelper("hint", "anyword", function(editor, options) { |
|||
var word = options && options.word || WORD; |
|||
var range = options && options.range || RANGE; |
|||
var cur = editor.getCursor(), curLine = editor.getLine(cur.line); |
|||
var start = cur.ch, end = start; |
|||
while (end < curLine.length && word.test(curLine.charAt(end))) ++end; |
|||
while (start && word.test(curLine.charAt(start - 1))) --start; |
|||
var curWord = start != end && curLine.slice(start, end); |
|||
|
|||
var list = [], seen = {}; |
|||
var re = new RegExp(word.source, "g"); |
|||
for (var dir = -1; dir <= 1; dir += 2) { |
|||
var line = cur.line, endLine = Math.min(Math.max(line + dir * range, editor.firstLine()), editor.lastLine()) + dir; |
|||
for (; line != endLine; line += dir) { |
|||
var text = editor.getLine(line), m; |
|||
while (m = re.exec(text)) { |
|||
if (line == cur.line && m[0] === curWord) continue; |
|||
if ((!curWord || m[0].lastIndexOf(curWord, 0) === 0) && !Object.prototype.hasOwnProperty.call(seen, m[0])) { |
|||
seen[m[0]] = true; |
|||
list.push({ text: m[0] }); |
|||
} |
|||
} |
|||
} |
|||
} |
|||
|
|||
if (editor.getMode().name === "solidity") |
|||
{ |
|||
list = addSolToken(curWord, list, solCurrency(), solCurrency); |
|||
list = addSolToken(curWord, list, solKeywords(), solKeywords); |
|||
list = addSolToken(curWord, list, solStdContract(), solStdContract); |
|||
list = addSolToken(curWord, list, solTime(), solTime); |
|||
list = addSolToken(curWord, list, solTypes(), solTypes); |
|||
list = addSolToken(curWord, list, solMisc(), solMisc); |
|||
} |
|||
|
|||
return {list: list, from: CodeMirror.Pos(cur.line, start), to: CodeMirror.Pos(cur.line, end)}; |
|||
}); |
|||
})(); |
|||
|
|||
|
|||
function addSolToken(curWord, list, tokens, type) |
|||
{ |
|||
for (var key in tokens) |
|||
{ |
|||
if (curWord === false || key.indexOf(curWord, 0) === 0) |
|||
{ |
|||
var token = { text: key }; |
|||
token.render = function(elt, data, cur) |
|||
{ |
|||
elt.className = elt.className + " " + type.name.toLowerCase(); |
|||
elt.appendChild(document.createTextNode(cur.displayText || cur.text)); |
|||
} |
|||
list.push(token); |
|||
} |
|||
} |
|||
return list; |
|||
} |
|||
@ -0,0 +1,184 @@ |
|||
// 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) { |
|||
var defaults = { |
|||
pairs: "()[]{}''\"\"", |
|||
triples: "", |
|||
explode: "[]{}" |
|||
}; |
|||
|
|||
var Pos = CodeMirror.Pos; |
|||
|
|||
CodeMirror.defineOption("autoCloseBrackets", false, function(cm, val, old) { |
|||
if (old && old != CodeMirror.Init) { |
|||
cm.removeKeyMap(keyMap); |
|||
cm.state.closeBrackets = null; |
|||
} |
|||
if (val) { |
|||
cm.state.closeBrackets = val; |
|||
cm.addKeyMap(keyMap); |
|||
} |
|||
}); |
|||
|
|||
function getOption(conf, name) { |
|||
if (name == "pairs" && typeof conf == "string") return conf; |
|||
if (typeof conf == "object" && conf[name] != null) return conf[name]; |
|||
return defaults[name]; |
|||
} |
|||
|
|||
var bind = defaults.pairs + "`"; |
|||
var keyMap = {Backspace: handleBackspace, Enter: handleEnter}; |
|||
for (var i = 0; i < bind.length; i++) |
|||
keyMap["'" + bind.charAt(i) + "'"] = handler(bind.charAt(i)); |
|||
|
|||
function handler(ch) { |
|||
return function(cm) { return handleChar(cm, ch); }; |
|||
} |
|||
|
|||
function getConfig(cm) { |
|||
var deflt = cm.state.closeBrackets; |
|||
if (!deflt) return null; |
|||
var mode = cm.getModeAt(cm.getCursor()); |
|||
return mode.closeBrackets || deflt; |
|||
} |
|||
|
|||
function handleBackspace(cm) { |
|||
var conf = getConfig(cm); |
|||
if (!conf || cm.getOption("disableInput")) return CodeMirror.Pass; |
|||
|
|||
var pairs = getOption(conf, "pairs"); |
|||
var ranges = cm.listSelections(); |
|||
for (var i = 0; i < ranges.length; i++) { |
|||
if (!ranges[i].empty()) return CodeMirror.Pass; |
|||
var around = charsAround(cm, ranges[i].head); |
|||
if (!around || pairs.indexOf(around) % 2 != 0) return CodeMirror.Pass; |
|||
} |
|||
for (var i = ranges.length - 1; i >= 0; i--) { |
|||
var cur = ranges[i].head; |
|||
cm.replaceRange("", Pos(cur.line, cur.ch - 1), Pos(cur.line, cur.ch + 1)); |
|||
} |
|||
} |
|||
|
|||
function handleEnter(cm) { |
|||
var conf = getConfig(cm); |
|||
var explode = conf && getOption(conf, "explode"); |
|||
if (!explode || cm.getOption("disableInput")) return CodeMirror.Pass; |
|||
|
|||
var ranges = cm.listSelections(); |
|||
for (var i = 0; i < ranges.length; i++) { |
|||
if (!ranges[i].empty()) return CodeMirror.Pass; |
|||
var around = charsAround(cm, ranges[i].head); |
|||
if (!around || explode.indexOf(around) % 2 != 0) return CodeMirror.Pass; |
|||
} |
|||
cm.operation(function() { |
|||
cm.replaceSelection("\n\n", null); |
|||
cm.execCommand("goCharLeft"); |
|||
ranges = cm.listSelections(); |
|||
for (var i = 0; i < ranges.length; i++) { |
|||
var line = ranges[i].head.line; |
|||
cm.indentLine(line, null, true); |
|||
cm.indentLine(line + 1, null, true); |
|||
} |
|||
}); |
|||
} |
|||
|
|||
function handleChar(cm, ch) { |
|||
var conf = getConfig(cm); |
|||
if (!conf || cm.getOption("disableInput")) return CodeMirror.Pass; |
|||
|
|||
var pairs = getOption(conf, "pairs"); |
|||
var pos = pairs.indexOf(ch); |
|||
if (pos == -1) return CodeMirror.Pass; |
|||
var triples = getOption(conf, "triples"); |
|||
|
|||
var identical = pairs.charAt(pos + 1) == ch; |
|||
var ranges = cm.listSelections(); |
|||
var opening = pos % 2 == 0; |
|||
|
|||
var type, next; |
|||
for (var i = 0; i < ranges.length; i++) { |
|||
var range = ranges[i], cur = range.head, curType; |
|||
var next = cm.getRange(cur, Pos(cur.line, cur.ch + 1)); |
|||
if (opening && !range.empty()) { |
|||
curType = "surround"; |
|||
} else if ((identical || !opening) && next == ch) { |
|||
if (triples.indexOf(ch) >= 0 && cm.getRange(cur, Pos(cur.line, cur.ch + 3)) == ch + ch + ch) |
|||
curType = "skipThree"; |
|||
else |
|||
curType = "skip"; |
|||
} else if (identical && cur.ch > 1 && triples.indexOf(ch) >= 0 && |
|||
cm.getRange(Pos(cur.line, cur.ch - 2), cur) == ch + ch && |
|||
(cur.ch <= 2 || cm.getRange(Pos(cur.line, cur.ch - 3), Pos(cur.line, cur.ch - 2)) != ch)) { |
|||
curType = "addFour"; |
|||
} else if (identical) { |
|||
if (!CodeMirror.isWordChar(next) && enteringString(cm, cur, ch)) curType = "both"; |
|||
else return CodeMirror.Pass; |
|||
} else if (opening && (cm.getLine(cur.line).length == cur.ch || |
|||
isClosingBracket(next, pairs) || |
|||
/\s/.test(next))) { |
|||
curType = "both"; |
|||
} else { |
|||
return CodeMirror.Pass; |
|||
} |
|||
if (!type) type = curType; |
|||
else if (type != curType) return CodeMirror.Pass; |
|||
} |
|||
|
|||
var left = pos % 2 ? pairs.charAt(pos - 1) : ch; |
|||
var right = pos % 2 ? ch : pairs.charAt(pos + 1); |
|||
cm.operation(function() { |
|||
if (type == "skip") { |
|||
cm.execCommand("goCharRight"); |
|||
} else if (type == "skipThree") { |
|||
for (var i = 0; i < 3; i++) |
|||
cm.execCommand("goCharRight"); |
|||
} else if (type == "surround") { |
|||
var sels = cm.getSelections(); |
|||
for (var i = 0; i < sels.length; i++) |
|||
sels[i] = left + sels[i] + right; |
|||
cm.replaceSelections(sels, "around"); |
|||
} else if (type == "both") { |
|||
cm.replaceSelection(left + right, null); |
|||
cm.execCommand("goCharLeft"); |
|||
} else if (type == "addFour") { |
|||
cm.replaceSelection(left + left + left + left, "before"); |
|||
cm.execCommand("goCharRight"); |
|||
} |
|||
}); |
|||
} |
|||
|
|||
function isClosingBracket(ch, pairs) { |
|||
var pos = pairs.lastIndexOf(ch); |
|||
return pos > -1 && pos % 2 == 1; |
|||
} |
|||
|
|||
function charsAround(cm, pos) { |
|||
var str = cm.getRange(Pos(pos.line, pos.ch - 1), |
|||
Pos(pos.line, pos.ch + 1)); |
|||
return str.length == 2 ? str : null; |
|||
} |
|||
|
|||
// Project the token type that will exists after the given char is
|
|||
// typed, and use it to determine whether it would cause the start
|
|||
// of a string token.
|
|||
function enteringString(cm, pos, ch) { |
|||
var line = cm.getLine(pos.line); |
|||
var token = cm.getTokenAt(pos); |
|||
if (/\bstring2?\b/.test(token.type)) return false; |
|||
var stream = new CodeMirror.StringStream(line.slice(0, pos.ch) + ch + line.slice(pos.ch), 4); |
|||
stream.pos = stream.start = token.start; |
|||
for (;;) { |
|||
var type1 = cm.getMode().token(stream, token.state); |
|||
if (stream.pos >= pos.ch + 1) return /\bstring2?\b/.test(type1); |
|||
stream.start = stream.pos; |
|||
} |
|||
} |
|||
}); |
|||
@ -0,0 +1,146 @@ |
|||
// 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) { |
|||
var Pos = CodeMirror.Pos; |
|||
|
|||
function forEach(arr, f) { |
|||
for (var i = 0, e = arr.length; i < e; ++i) f(arr[i]); |
|||
} |
|||
|
|||
function arrayContains(arr, item) { |
|||
if (!Array.prototype.indexOf) { |
|||
var i = arr.length; |
|||
while (i--) { |
|||
if (arr[i] === item) { |
|||
return true; |
|||
} |
|||
} |
|||
return false; |
|||
} |
|||
return arr.indexOf(item) != -1; |
|||
} |
|||
|
|||
function scriptHint(editor, keywords, getToken, options) { |
|||
// Find the token at the cursor
|
|||
var cur = editor.getCursor(), token = getToken(editor, cur); |
|||
if (/\b(?:string|comment)\b/.test(token.type)) return; |
|||
token.state = CodeMirror.innerMode(editor.getMode(), token.state).state; |
|||
|
|||
// If it's not a 'word-style' token, ignore the token.
|
|||
if (!/^[\w$_]*$/.test(token.string)) { |
|||
token = {start: cur.ch, end: cur.ch, string: "", state: token.state, |
|||
type: token.string == "." ? "property" : null}; |
|||
} else if (token.end > cur.ch) { |
|||
token.end = cur.ch; |
|||
token.string = token.string.slice(0, cur.ch - token.start); |
|||
} |
|||
|
|||
var tprop = token; |
|||
// If it is a property, find out what it is a property of.
|
|||
while (tprop.type == "property") { |
|||
tprop = getToken(editor, Pos(cur.line, tprop.start)); |
|||
if (tprop.string != ".") return; |
|||
tprop = getToken(editor, Pos(cur.line, tprop.start)); |
|||
if (!context) var context = []; |
|||
context.push(tprop); |
|||
} |
|||
return {list: getCompletions(token, context, keywords, options), |
|||
from: Pos(cur.line, token.start), |
|||
to: Pos(cur.line, token.end)}; |
|||
} |
|||
|
|||
function javascriptHint(editor, options) { |
|||
return scriptHint(editor, javascriptKeywords, |
|||
function (e, cur) {return e.getTokenAt(cur);}, |
|||
options); |
|||
}; |
|||
CodeMirror.registerHelper("hint", "javascript", javascriptHint); |
|||
|
|||
function getCoffeeScriptToken(editor, cur) { |
|||
// This getToken, it is for coffeescript, imitates the behavior of
|
|||
// getTokenAt method in javascript.js, that is, returning "property"
|
|||
// type and treat "." as indepenent token.
|
|||
var token = editor.getTokenAt(cur); |
|||
if (cur.ch == token.start + 1 && token.string.charAt(0) == '.') { |
|||
token.end = token.start; |
|||
token.string = '.'; |
|||
token.type = "property"; |
|||
} |
|||
else if (/^\.[\w$_]*$/.test(token.string)) { |
|||
token.type = "property"; |
|||
token.start++; |
|||
token.string = token.string.replace(/\./, ''); |
|||
} |
|||
return token; |
|||
} |
|||
|
|||
function coffeescriptHint(editor, options) { |
|||
return scriptHint(editor, coffeescriptKeywords, getCoffeeScriptToken, options); |
|||
} |
|||
CodeMirror.registerHelper("hint", "coffeescript", coffeescriptHint); |
|||
|
|||
var stringProps = ("charAt charCodeAt indexOf lastIndexOf substring substr slice trim trimLeft trimRight " + |
|||
"toUpperCase toLowerCase split concat match replace search").split(" "); |
|||
var arrayProps = ("length concat join splice push pop shift unshift slice reverse sort indexOf " + |
|||
"lastIndexOf every some filter forEach map reduce reduceRight ").split(" "); |
|||
var funcProps = "prototype apply call bind".split(" "); |
|||
var javascriptKeywords = ("break case catch continue debugger default delete do else false finally for function " + |
|||
"if in instanceof new null return switch throw true try typeof var void while with").split(" "); |
|||
var coffeescriptKeywords = ("and break catch class continue delete do else extends false finally for " + |
|||
"if in instanceof isnt new no not null of off on or return switch then throw true try typeof until void while with yes").split(" "); |
|||
|
|||
function getCompletions(token, context, keywords, options) { |
|||
var found = [], start = token.string, global = options && options.globalScope || window; |
|||
function maybeAdd(str) { |
|||
if (str.lastIndexOf(start, 0) == 0 && !arrayContains(found, str)) found.push(str); |
|||
} |
|||
function gatherCompletions(obj) { |
|||
if (typeof obj == "string") forEach(stringProps, maybeAdd); |
|||
else if (obj instanceof Array) forEach(arrayProps, maybeAdd); |
|||
else if (obj instanceof Function) forEach(funcProps, maybeAdd); |
|||
for (var name in obj) maybeAdd(name); |
|||
} |
|||
|
|||
if (context && context.length) { |
|||
// If this is a property, see if it belongs to some object we can
|
|||
// find in the current environment.
|
|||
var obj = context.pop(), base; |
|||
if (obj.type && obj.type.indexOf("variable") === 0) { |
|||
if (options && options.additionalContext) |
|||
base = options.additionalContext[obj.string]; |
|||
if (!options || options.useGlobalScope !== false) |
|||
base = base || global[obj.string]; |
|||
} else if (obj.type == "string") { |
|||
base = ""; |
|||
} else if (obj.type == "atom") { |
|||
base = 1; |
|||
} else if (obj.type == "function") { |
|||
if (global.jQuery != null && (obj.string == '$' || obj.string == 'jQuery') && |
|||
(typeof global.jQuery == 'function')) |
|||
base = global.jQuery(); |
|||
else if (global._ != null && (obj.string == '_') && (typeof global._ == 'function')) |
|||
base = global._(); |
|||
} |
|||
while (base != null && context.length) |
|||
base = base[context.pop().string]; |
|||
if (base != null) gatherCompletions(base); |
|||
} else { |
|||
// If not, just look in the global object and any local scope
|
|||
// (reading into JS mode internals to get at the local and global variables)
|
|||
for (var v = token.state.localVars; v; v = v.next) maybeAdd(v.name); |
|||
for (var v = token.state.globalVars; v; v = v.next) maybeAdd(v.name); |
|||
if (!options || options.useGlobalScope !== false) |
|||
gatherCompletions(global); |
|||
forEach(keywords, maybeAdd); |
|||
} |
|||
return found; |
|||
} |
|||
}); |
|||
@ -0,0 +1,63 @@ |
|||
.CodeMirror-hints { |
|||
position: absolute; |
|||
z-index: 10; |
|||
overflow: hidden; |
|||
list-style: none; |
|||
|
|||
margin: 0; |
|||
padding: 2px; |
|||
|
|||
-webkit-box-shadow: 2px 3px 5px rgba(0,0,0,.2); |
|||
-moz-box-shadow: 2px 3px 5px rgba(0,0,0,.2); |
|||
box-shadow: 2px 3px 5px rgba(0,0,0,.2); |
|||
border-radius: 3px; |
|||
border: 1px solid silver; |
|||
|
|||
background: white; |
|||
font-size: 90%; |
|||
font-family: monospace; |
|||
|
|||
max-height: 20em; |
|||
overflow-y: auto; |
|||
width: 22em; |
|||
} |
|||
|
|||
.CodeMirror-hint { |
|||
margin: 0; |
|||
padding: 0 4px; |
|||
border-radius: 2px; |
|||
max-width: 30em; |
|||
overflow: hidden; |
|||
white-space: pre; |
|||
color: black; |
|||
cursor: pointer; |
|||
} |
|||
|
|||
.CodeMirror-hint-active { |
|||
background: #4a90e2; |
|||
color: white; |
|||
} |
|||
|
|||
.solcurrency { |
|||
color: red; |
|||
} |
|||
|
|||
.solkeywords { |
|||
color: brown; |
|||
} |
|||
|
|||
.solstdcontract { |
|||
color: blue; |
|||
} |
|||
|
|||
.soltime { |
|||
color: green; |
|||
} |
|||
|
|||
.soltypes { |
|||
color: orange; |
|||
} |
|||
|
|||
.solMisc { |
|||
color: grey; |
|||
} |
|||
@ -0,0 +1,343 @@ |
|||
(function() { |
|||
"use strict"; |
|||
|
|||
var HINT_ELEMENT_CLASS = "CodeMirror-hint"; |
|||
var ACTIVE_HINT_ELEMENT_CLASS = "CodeMirror-hint-active"; |
|||
|
|||
CodeMirror.showHint = function(cm, getHints, options) { |
|||
// We want a single cursor position.
|
|||
if (cm.somethingSelected()) return; |
|||
if (getHints == null) { |
|||
if (options && options.async) return; |
|||
else getHints = CodeMirror.hint.auto; |
|||
} |
|||
|
|||
if (cm.state.completionActive) cm.state.completionActive.close(); |
|||
|
|||
var completion = cm.state.completionActive = new Completion(cm, getHints, options || {}); |
|||
CodeMirror.signal(cm, "startCompletion", cm); |
|||
if (completion.options.async) |
|||
getHints(cm, function(hints) { completion.showHints(hints); }, completion.options); |
|||
else |
|||
return completion.showHints(getHints(cm, completion.options)); |
|||
}; |
|||
|
|||
function Completion(cm, getHints, options) { |
|||
this.cm = cm; |
|||
this.getHints = getHints; |
|||
this.options = options; |
|||
this.widget = this.onClose = null; |
|||
} |
|||
|
|||
Completion.prototype = { |
|||
close: function() { |
|||
if (!this.active()) return; |
|||
this.cm.state.completionActive = null; |
|||
|
|||
if (this.widget) this.widget.close(); |
|||
if (this.onClose) this.onClose(); |
|||
CodeMirror.signal(this.cm, "endCompletion", this.cm); |
|||
}, |
|||
|
|||
active: function() { |
|||
return this.cm.state.completionActive == this; |
|||
}, |
|||
|
|||
pick: function(data, i) { |
|||
var completion = data.list[i]; |
|||
if (completion.hint) completion.hint(this.cm, data, completion); |
|||
else this.cm.replaceRange(getText(completion), completion.from||data.from, completion.to||data.to); |
|||
CodeMirror.signal(data, "pick", completion); |
|||
this.close(); |
|||
}, |
|||
|
|||
showHints: function(data) { |
|||
if (!data || !data.list.length || !this.active()) return this.close(); |
|||
|
|||
if (this.options.completeSingle != false && data.list.length == 1) |
|||
this.pick(data, 0); |
|||
else |
|||
this.showWidget(data); |
|||
}, |
|||
|
|||
showWidget: function(data) { |
|||
this.widget = new Widget(this, data); |
|||
CodeMirror.signal(data, "shown"); |
|||
|
|||
var debounce = 0, completion = this, finished; |
|||
var closeOn = this.options.closeCharacters || /[\s()\[\]{};:>,]/; |
|||
var startPos = this.cm.getCursor(), startLen = this.cm.getLine(startPos.line).length; |
|||
|
|||
var requestAnimationFrame = window.requestAnimationFrame || function(fn) { |
|||
return setTimeout(fn, 1000/60); |
|||
}; |
|||
var cancelAnimationFrame = window.cancelAnimationFrame || clearTimeout; |
|||
|
|||
function done() { |
|||
if (finished) return; |
|||
finished = true; |
|||
completion.close(); |
|||
completion.cm.off("cursorActivity", activity); |
|||
if (data) CodeMirror.signal(data, "close"); |
|||
} |
|||
|
|||
function update() { |
|||
if (finished) return; |
|||
CodeMirror.signal(data, "update"); |
|||
if (completion.options.async) |
|||
completion.getHints(completion.cm, finishUpdate, completion.options); |
|||
else |
|||
finishUpdate(completion.getHints(completion.cm, completion.options)); |
|||
} |
|||
function finishUpdate(data_) { |
|||
data = data_; |
|||
if (finished) return; |
|||
if (!data || !data.list.length) return done(); |
|||
if (completion.widget) completion.widget.close(); |
|||
completion.widget = new Widget(completion, data); |
|||
} |
|||
|
|||
function clearDebounce() { |
|||
if (debounce) { |
|||
cancelAnimationFrame(debounce); |
|||
debounce = 0; |
|||
} |
|||
} |
|||
|
|||
function activity() { |
|||
clearDebounce(); |
|||
var pos = completion.cm.getCursor(), line = completion.cm.getLine(pos.line); |
|||
if (pos.line != startPos.line || line.length - pos.ch != startLen - startPos.ch || |
|||
pos.ch < startPos.ch || completion.cm.somethingSelected() || |
|||
(pos.ch && closeOn.test(line.charAt(pos.ch - 1)))) { |
|||
completion.close(); |
|||
} else { |
|||
debounce = requestAnimationFrame(update); |
|||
if (completion.widget) completion.widget.close(); |
|||
} |
|||
} |
|||
this.cm.on("cursorActivity", activity); |
|||
this.onClose = done; |
|||
} |
|||
}; |
|||
|
|||
function getText(completion) { |
|||
if (typeof completion == "string") return completion; |
|||
else return completion.text; |
|||
} |
|||
|
|||
function buildKeyMap(options, handle) { |
|||
var baseMap = { |
|||
Up: function() {handle.moveFocus(-1);}, |
|||
Down: function() {handle.moveFocus(1);}, |
|||
PageUp: function() {handle.moveFocus(-handle.menuSize() + 1, true);}, |
|||
PageDown: function() {handle.moveFocus(handle.menuSize() - 1, true);}, |
|||
Home: function() {handle.setFocus(0);}, |
|||
End: function() {handle.setFocus(handle.length - 1);}, |
|||
Enter: handle.pick, |
|||
Tab: handle.pick, |
|||
Esc: handle.close |
|||
}; |
|||
var ourMap = options.customKeys ? {} : baseMap; |
|||
function addBinding(key, val) { |
|||
var bound; |
|||
if (typeof val != "string") |
|||
bound = function(cm) { return val(cm, handle); }; |
|||
// This mechanism is deprecated
|
|||
else if (baseMap.hasOwnProperty(val)) |
|||
bound = baseMap[val]; |
|||
else |
|||
bound = val; |
|||
ourMap[key] = bound; |
|||
} |
|||
if (options.customKeys) |
|||
for (var key in options.customKeys) if (options.customKeys.hasOwnProperty(key)) |
|||
addBinding(key, options.customKeys[key]); |
|||
if (options.extraKeys) |
|||
for (var key in options.extraKeys) if (options.extraKeys.hasOwnProperty(key)) |
|||
addBinding(key, options.extraKeys[key]); |
|||
return ourMap; |
|||
} |
|||
|
|||
function getHintElement(hintsElement, el) { |
|||
while (el && el != hintsElement) { |
|||
if (el.nodeName.toUpperCase() === "LI" && el.parentNode == hintsElement) return el; |
|||
el = el.parentNode; |
|||
} |
|||
} |
|||
|
|||
function Widget(completion, data) { |
|||
this.completion = completion; |
|||
this.data = data; |
|||
var widget = this, cm = completion.cm, options = completion.options; |
|||
|
|||
var hints = this.hints = document.createElement("ul"); |
|||
hints.className = "CodeMirror-hints"; |
|||
this.selectedHint = options.getDefaultSelection ? options.getDefaultSelection(cm,options,data) : 0; |
|||
|
|||
var completions = data.list; |
|||
for (var i = 0; i < completions.length; ++i) { |
|||
var elt = hints.appendChild(document.createElement("li")), cur = completions[i]; |
|||
var className = HINT_ELEMENT_CLASS + (i != this.selectedHint ? "" : " " + ACTIVE_HINT_ELEMENT_CLASS); |
|||
if (cur.className != null) className = cur.className + " " + className; |
|||
elt.className = className; |
|||
if (cur.render) cur.render(elt, data, cur); |
|||
else elt.appendChild(document.createTextNode(cur.displayText || getText(cur))); |
|||
elt.hintId = i; |
|||
} |
|||
|
|||
var pos = cm.cursorCoords(options.alignWithWord !== false ? data.from : null); |
|||
var left = pos.left, top = pos.bottom, below = true; |
|||
hints.style.left = left + "px"; |
|||
hints.style.top = top + "px"; |
|||
// If we're at the edge of the screen, then we want the menu to appear on the left of the cursor.
|
|||
var winW = window.innerWidth || Math.max(document.body.offsetWidth, document.documentElement.offsetWidth); |
|||
var winH = window.innerHeight || Math.max(document.body.offsetHeight, document.documentElement.offsetHeight); |
|||
(options.container || document.body).appendChild(hints); |
|||
var box = hints.getBoundingClientRect(), overlapY = box.bottom - winH; |
|||
if (overlapY > 0) { |
|||
var height = box.bottom - box.top, curTop = box.top - (pos.bottom - pos.top); |
|||
if (curTop - height > 0) { // Fits above cursor
|
|||
hints.style.top = (top = curTop - height) + "px"; |
|||
below = false; |
|||
} else if (height > winH) { |
|||
hints.style.height = (winH - 5) + "px"; |
|||
hints.style.top = (top = pos.bottom - box.top) + "px"; |
|||
var cursor = cm.getCursor(); |
|||
if (data.from.ch != cursor.ch) { |
|||
pos = cm.cursorCoords(cursor); |
|||
hints.style.left = (left = pos.left) + "px"; |
|||
box = hints.getBoundingClientRect(); |
|||
} |
|||
} |
|||
} |
|||
var overlapX = box.left - winW; |
|||
if (overlapX > 0) { |
|||
if (box.right - box.left > winW) { |
|||
hints.style.width = (winW - 5) + "px"; |
|||
overlapX -= (box.right - box.left) - winW; |
|||
} |
|||
hints.style.left = (left = pos.left - overlapX) + "px"; |
|||
} |
|||
|
|||
cm.addKeyMap(this.keyMap = buildKeyMap(options, { |
|||
moveFocus: function(n, avoidWrap) { widget.changeActive(widget.selectedHint + n, avoidWrap); }, |
|||
setFocus: function(n) { widget.changeActive(n); }, |
|||
menuSize: function() { return widget.screenAmount(); }, |
|||
length: completions.length, |
|||
close: function() { completion.close(); }, |
|||
pick: function() { widget.pick(); }, |
|||
data: data |
|||
})); |
|||
|
|||
if (options.closeOnUnfocus !== false) { |
|||
var closingOnBlur; |
|||
cm.on("blur", this.onBlur = function() { closingOnBlur = setTimeout(function() { completion.close(); }, 100); }); |
|||
cm.on("focus", this.onFocus = function() { clearTimeout(closingOnBlur); }); |
|||
} |
|||
|
|||
var startScroll = cm.getScrollInfo(); |
|||
cm.on("scroll", this.onScroll = function() { |
|||
var curScroll = cm.getScrollInfo(), editor = cm.getWrapperElement().getBoundingClientRect(); |
|||
var newTop = top + startScroll.top - curScroll.top; |
|||
var point = newTop - (window.pageYOffset || (document.documentElement || document.body).scrollTop); |
|||
if (!below) point += hints.offsetHeight; |
|||
if (point <= editor.top || point >= editor.bottom) return completion.close(); |
|||
hints.style.top = newTop + "px"; |
|||
hints.style.left = (left + startScroll.left - curScroll.left) + "px"; |
|||
}); |
|||
|
|||
CodeMirror.on(hints, "dblclick", function(e) { |
|||
var t = getHintElement(hints, e.target || e.srcElement); |
|||
if (t && t.hintId != null) {widget.changeActive(t.hintId); widget.pick();} |
|||
}); |
|||
|
|||
CodeMirror.on(hints, "click", function(e) { |
|||
var t = getHintElement(hints, e.target || e.srcElement); |
|||
if (t && t.hintId != null) { |
|||
widget.changeActive(t.hintId); |
|||
if (options.completeOnSingleClick) widget.pick(); |
|||
} |
|||
}); |
|||
|
|||
CodeMirror.on(hints, "mousedown", function() { |
|||
setTimeout(function(){cm.focus();}, 20); |
|||
}); |
|||
|
|||
CodeMirror.signal(data, "select", completions[0], hints.firstChild); |
|||
return true; |
|||
} |
|||
|
|||
Widget.prototype = { |
|||
close: function() { |
|||
if (this.completion.widget != this) return; |
|||
this.completion.widget = null; |
|||
this.hints.parentNode.removeChild(this.hints); |
|||
this.completion.cm.removeKeyMap(this.keyMap); |
|||
|
|||
var cm = this.completion.cm; |
|||
if (this.completion.options.closeOnUnfocus !== false) { |
|||
cm.off("blur", this.onBlur); |
|||
cm.off("focus", this.onFocus); |
|||
} |
|||
cm.off("scroll", this.onScroll); |
|||
}, |
|||
|
|||
pick: function() { |
|||
this.completion.pick(this.data, this.selectedHint); |
|||
}, |
|||
|
|||
changeActive: function(i, avoidWrap) { |
|||
if (i >= this.data.list.length) |
|||
i = avoidWrap ? this.data.list.length - 1 : 0; |
|||
else if (i < 0) |
|||
i = avoidWrap ? 0 : this.data.list.length - 1; |
|||
if (this.selectedHint == i) return; |
|||
var node = this.hints.childNodes[this.selectedHint]; |
|||
node.className = node.className.replace(" " + ACTIVE_HINT_ELEMENT_CLASS, ""); |
|||
node = this.hints.childNodes[this.selectedHint = i]; |
|||
node.className += " " + ACTIVE_HINT_ELEMENT_CLASS; |
|||
if (node.offsetTop < this.hints.scrollTop) |
|||
this.hints.scrollTop = node.offsetTop - 3; |
|||
else if (node.offsetTop + node.offsetHeight > this.hints.scrollTop + this.hints.clientHeight) |
|||
this.hints.scrollTop = node.offsetTop + node.offsetHeight - this.hints.clientHeight + 3; |
|||
CodeMirror.signal(this.data, "select", this.data.list[this.selectedHint], node); |
|||
}, |
|||
|
|||
screenAmount: function() { |
|||
return Math.floor(this.hints.clientHeight / this.hints.firstChild.offsetHeight) || 1; |
|||
} |
|||
}; |
|||
|
|||
CodeMirror.registerHelper("hint", "auto", function(cm, options) { |
|||
var helpers = cm.getHelpers(cm.getCursor(), "hint"), words; |
|||
if (helpers.length) { |
|||
for (var i = 0; i < helpers.length; i++) { |
|||
var cur = helpers[i](cm, options); |
|||
if (cur && cur.list.length) return cur; |
|||
} |
|||
} else if (words = cm.getHelper(cm.getCursor(), "hintWords")) { |
|||
if (words) return CodeMirror.hint.fromList(cm, {words: words}); |
|||
} else if (CodeMirror.hint.anyword) { |
|||
return CodeMirror.hint.anyword(cm, options); |
|||
} |
|||
}); |
|||
|
|||
CodeMirror.registerHelper("hint", "fromList", function(cm, options) { |
|||
var cur = cm.getCursor(), token = cm.getTokenAt(cur); |
|||
var found = []; |
|||
for (var i = 0; i < options.words.length; i++) { |
|||
var word = options.words[i]; |
|||
if (word.slice(0, token.string.length) == token.string) |
|||
found.push(word); |
|||
} |
|||
|
|||
if (found.length) return { |
|||
list: found, |
|||
from: CodeMirror.Pos(cur.line, token.start), |
|||
to: CodeMirror.Pos(cur.line, token.end) |
|||
}; |
|||
}); |
|||
|
|||
CodeMirror.commands.autocomplete = CodeMirror.showHint; |
|||
})(); |
|||
@ -0,0 +1,29 @@ |
|||
function solCurrency() |
|||
{ |
|||
return { "wei": true, "szabo": true, "finney": true, "ether": true }; |
|||
} |
|||
|
|||
function solKeywords() |
|||
{ |
|||
return { "break": true, "case": true, "constant": true, "continue": true, "contract": true, "default": true, "do": true, "else": true, "event": true, "external": true, "is": true, "indexed": true, "for": true, "function": true, "if": true, "import": true, "mapping": true, "modifier": true, "new": true, "public": true, "private": true, "internal": true, "return": true, "returns": true, "struct": true, "switch": true, "var": true, "while": true, "enum": true }; |
|||
} |
|||
|
|||
function solStdContract() |
|||
{ |
|||
return { "Config": true, "NameReg": true, "CoinReg": true, "owned": true, "onlyowner": true, "named": true, "mortal": true, "coin": true }; |
|||
} |
|||
|
|||
function solTime() |
|||
{ |
|||
return { "seconds": true, "minutes": true, "hours": true, "days": true, "weeks": true, "years": true, "after": true }; |
|||
} |
|||
|
|||
function solTypes() |
|||
{ |
|||
return { "int": true, "int8": true, "int16": true, "int24": true, "int32": true, "int40": true, "int48": true, "int56": true, "int64": true, "int72": true, "int80": true, "int88": true, "int96": true, "int104": true, "int112": true, "int120": true, "int128": true, "int136": true, "int144": true, "int152": true, "int160": true, "int168": true, "int178": true, "int184": true, "int192": true, "int200": true, "int208": true, "int216": true, "int224": true, "int232": true, "int240": true, "int248": true, "int256": true, "uint": true, "uint8": true, "uint16": true, "uint24": true, "uint32": true, "uint40": true, "uint48": true, "uint56": true, "uint64": true, "uint72": true, "uint80": true, "uint88": true, "uint96": true, "uint104": true, "uint112": true, "uint120": true, "uint128": true, "uint136": true, "uint144": true, "uint152": true, "uint160": true, "uint168": true, "uint178": true, "uint184": true, "uint192": true, "uint200": true, "uint208": true, "uint216": true, "uint224": true, "uint232": true, "uint240": true, "uint248": true, "uint256": true, "bytes0": true, "bytes1": true, "bytes2": true, "bytes3": true, "bytes4": true, "bytes5": true, "bytes6": true, "bytes7": true, "bytes8": true, "bytes9": true, "bytes10": true, "bytes11": true, "bytes12": true, "bytes13": true, "bytes14": true, "bytes15": true, "bytes16": true, "bytes17": true, "bytes18": true, "bytes19": true, "bytes20": true, "bytes21": true, "bytes22": true, "bytes23": true, "bytes24": true, "bytes25": true, "bytes26": true, "bytes27": true, "bytes28": true, "bytes29": true, "bytes30": true, "bytes31": true, "bytes32": true, "bytes": true, "byte": true, "address": true, "bool": true, "string": true, "real": true, "ureal": true }; |
|||
} |
|||
|
|||
function solMisc() |
|||
{ |
|||
return { "true": true, "false": true, "null": true }; |
|||
} |
|||
Loading…
Reference in new issue