|
|
|
function ErrorAnnotation(editor, location, content)
|
|
|
|
{
|
|
|
|
this.location = location;
|
|
|
|
this.opened = false;
|
|
|
|
this.rawContent = content;
|
|
|
|
this.content = content.replace("Contract Error:", "");
|
|
|
|
this.editor = editor;
|
|
|
|
this.errorMark = null;
|
|
|
|
this.lineWidget = null;
|
|
|
|
this.init();
|
|
|
|
if (this.content)
|
|
|
|
this.open();
|
|
|
|
}
|
|
|
|
|
|
|
|
ErrorAnnotation.prototype.init = function()
|
|
|
|
{
|
|
|
|
this.errorMark = editor.markText({ line: this.location.start.line, ch: this.location.start.column }, { line: this.location.end.line, ch: this.location.end.column }, { className: "CodeMirror-errorannotation", inclusiveRight: true });
|
|
|
|
}
|
|
|
|
|
|
|
|
ErrorAnnotation.prototype.open = function()
|
|
|
|
{
|
|
|
|
if (this.location.start.line)
|
|
|
|
{
|
|
|
|
var node = document.createElement("div");
|
|
|
|
node.id = "annotation"
|
|
|
|
node.innerHTML = this.content;
|
|
|
|
node.className = "CodeMirror-errorannotation-context";
|
|
|
|
this.lineWidget = this.editor.addLineWidget(this.location.start.line, node, { coverGutter: false });
|
|
|
|
this.opened = true;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
ErrorAnnotation.prototype.close = function()
|
|
|
|
{
|
|
|
|
if (this.lineWidget)
|
|
|
|
this.lineWidget.clear();
|
|
|
|
this.opened = false;
|
|
|
|
}
|
|
|
|
|
|
|
|
ErrorAnnotation.prototype.destroy = function()
|
|
|
|
{
|
|
|
|
if (this.opened)
|
|
|
|
this.close();
|
|
|
|
if (this.errorMark)
|
|
|
|
this.errorMark.clear();
|
|
|
|
}
|