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