public void ReportError(DomRegion region, string message) { diagnostics.Add(new Error(ErrorType.Error, message, region)); }