/// <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));
}
