private HandleError ( System.Error error ) : void | ||
error | System.Error | |
Résultat | void |
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);
}