private static void Warning(String message, String fileName, int line, int column, int warningNumber) { String warningFormat = "{0}({1},{2}): warning RG{3:0000}: {4}"; Console.Error.WriteLine(warningFormat, fileName, line, column, warningNumber, message); warnings++; }