internal static void locations_mapped(this System.IO.TextWriter trapFile, NonGeneratedSourceLocation l1, Location l2) { trapFile.WriteTuple("locations_mapped", l1, l2); }
internal static void file_extraction_mode(this System.IO.TextWriter trapFile, Entities.File file, int mode) { trapFile.WriteTuple("file_extraction_mode", file, mode); }
internal static void assemblies(this System.IO.TextWriter trapFile, Assembly assembly, Extraction.Entities.File file, string identifier, string name, string version) { trapFile.WriteTuple("assemblies", assembly, file, identifier, name, version); }