public void Warning(int code, int level, Location loc, string message)
{
if (reporting_disabled > 0)
{
return;
}
if (!IsWarningEnabled(code, level, loc))
{
return;
}
AbstractMessage msg;
if (IsWarningAsError(code))
{
message = "Warning as Error: " + message;
msg = new ErrorMessage(code, loc, message, extra_information);
}
else
{
msg = new WarningMessage(code, loc, message, extra_information);
}
extra_information.Clear();
printer.Print(msg);
}
static public void Warning(int code, int level, Location loc, string format, params object[] args)
{
WarningMessage w = new WarningMessage(code, level, loc, String.Format(format, args), extra_information);
extra_information.Clear();
w.Print();
}
static public void Warning(int code, int level, Location loc, string message)
{
WarningMessage w = new WarningMessage(code, level, loc, message, extra_information);
extra_information.Clear();
w.Print();
}
public void Warning(int code, int level, Location loc, string message)
{
if (reporting_disabled > 0)
{
return;
}
if (!settings.IsWarningEnabled(code, level))
{
return;
}
if (warning_regions_table != null && !loc.IsNull)
{
WarningRegions regions;
if (warning_regions_table.TryGetValue(loc.File, out regions) && !regions.IsWarningEnabled(code, loc.Row))
{
return;
}
}
AbstractMessage msg;
if (settings.IsWarningAsError(code))
{
message = "Warning as Error: " + message;
msg = new ErrorMessage(code, loc, message, extra_information);
}
else
{
msg = new WarningMessage(code, loc, message, extra_information);
}
extra_information.Clear();
printer.Print(msg, settings.ShowFullPaths);
}
public void Warning (int code, int level, Location loc, string message)
{
if (reporting_disabled > 0)
return;
if (!IsWarningEnabled (code, level, loc))
return;
AbstractMessage msg;
if (IsWarningAsError (code))
msg = new ErrorMessage (code, loc, message, extra_information);
else
msg = new WarningMessage (code, loc, message, extra_information);
extra_information.Clear ();
printer.Print (msg);
}
public void Warning (int code, int level, Location loc, string message)
{
if (reporting_disabled > 0)
return;
if (!settings.IsWarningEnabled (code, level))
return;
if (warning_regions_table != null && !loc.IsNull) {
WarningRegions regions;
if (warning_regions_table.TryGetValue (loc.File, out regions) && !regions.IsWarningEnabled (code, loc.Row))
return;
}
AbstractMessage msg;
if (settings.IsWarningAsError (code)) {
message = "Warning as Error: " + message;
msg = new ErrorMessage (code, loc, message, extra_information);
} else {
msg = new WarningMessage (code, loc, message, extra_information);
}
extra_information.Clear ();
printer.Print (msg, settings.ShowFullPaths);
}
static public void Warning (int code, int level, Location loc, string format, params object[] args)
{
WarningMessage w = new WarningMessage (code, level, loc, String.Format (format, args), extra_information);
extra_information.Clear ();
w.Print ();
}
static public void Warning (int code, int level, Location loc, string message)
{
WarningMessage w = new WarningMessage (code, level, loc, message, extra_information);
extra_information.Clear ();
w.Print ();
}