internal Scanner(Document document, ErrorNodeList errors)
{
this.document = document;
this.sourceText = document.Text;
this.maxPos = document.Text.Length;
this.errors = errors;
}
public ErrorHandler(ErrorNodeList errors)
{
this.errors = errors;
}
