/// <summary> /// Reports a <paramref name="warning"/>, optionally specifying its <paramref name="location"/>. /// </summary> protected void ReportWarning(string warning, Location location = null) { Requires.NotNull(warning, nameof(warning)); ReportDiagnostic(Diagnostic.Create(EditorWarning, location ?? Location.None, this, warning)); }
/// <summary> /// Reports a <paramref name="message"/>, optionally specifying its <paramref name="location"/>. /// </summary> protected void ReportInfo(string message, Location location = null) { Requires.NotNull(message, nameof(message)); ReportDiagnostic(Diagnostic.Create(EditorInfo, location ?? Location.None, this, message)); }
/// <summary> /// Reports an <paramref name="error"/>, optionally specifying its <paramref name="location"/>. /// </summary> protected void ReportError(string error, Location location = null) { Requires.NotNull(error, nameof(error)); ReportDiagnostic(Diagnostic.Create(EditorError, location ?? Location.None, this, error)); }