internal static void directive_line_value(this TextWriter trapFile, LineDirective directive, int line) { trapFile.WriteTuple("directive_line_value", directive, line); }
internal static void directive_line_file(this TextWriter trapFile, LineDirective directive, Extraction.Entities.File file) { trapFile.WriteTuple("directive_line_file", directive, file); }
internal static void directive_lines(this TextWriter trapFile, LineDirective directive, int kind) { trapFile.WriteTuple("directive_lines", directive, kind); }