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