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