private void HandleError(Node errorNode, Error error, params string[] messageParameters) { ErrorNode enode = new ZingErrorNode(error, messageParameters); enode.SourceContext = errorNode.SourceContext; this.ErrorHandler.Errors.Add(enode); }
private void HandleError(Error error, params string[] messageParameters) { if (this.errors == null) return; if (this.endPos <= this.lastReportedErrorPos) return; this.lastReportedErrorPos = this.endPos; ErrorNode enode = new ZingErrorNode(error, messageParameters); enode.SourceContext = new SourceContext(this.document, this.startPos, this.endPos); this.errors.Add(enode); }