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