internal static void pragma_warning_error_codes(this TextWriter trapFile, PragmaWarningDirective pragma, string errorCode, int child) { trapFile.WriteTuple("pragma_warning_error_codes", pragma, errorCode, child); }
internal static void pragma_warnings(this TextWriter trapFile, PragmaWarningDirective pragma, int kind) { trapFile.WriteTuple("pragma_warnings", pragma, kind); }