public static void locations_default(this System.IO.TextWriter trapFile, SourceLocation label, Entities.File file, int startLine, int startCol, int endLine, int endCol) { trapFile.WriteTuple("locations_default", label, file, startLine, startCol, endLine, endCol); }
public static void files(this System.IO.TextWriter trapFile, File file, string fullName, string name, string extension) { trapFile.WriteTuple("files", file, fullName, name, extension, 0); }
internal static void folders(this System.IO.TextWriter trapFile, Folder folder, string path, string name) { trapFile.WriteTuple("folders", folder, path, name); }
public static void containerparent(this System.IO.TextWriter trapFile, Folder parent, IEntity child) { trapFile.WriteTuple("containerparent", parent, child); }
internal static void extractor_messages(this System.IO.TextWriter trapFile, ExtractionMessage error, Semmle.Util.Logging.Severity severity, string origin, string errorMessage, string entityText, Location location, string stackTrace) { trapFile.WriteTuple("extractor_messages", error, (int)severity, origin, errorMessage, entityText, location, stackTrace); }
public static void numlines(this System.IO.TextWriter trapFile, IEntity label, LineCounts lineCounts) { trapFile.WriteTuple("numlines", label, lineCounts.Total, lineCounts.Code, lineCounts.Comment); }
internal static void file_extraction_mode(this System.IO.TextWriter trapFile, Entities.File file, int mode) { trapFile.WriteTuple("file_extraction_mode", file, mode); }
public static void assemblies(this System.IO.TextWriter trapFile, Assembly assembly, File file, string identifier, string name, string version) { trapFile.WriteTuple("assemblies", assembly, file, identifier, name, version); }
public static void locations_mapped(this System.IO.TextWriter trapFile, SourceLocation l1, Location l2) { trapFile.WriteTuple("locations_mapped", l1, l2); }
public static void files(this System.IO.TextWriter trapFile, File file, string fullName) { trapFile.WriteTuple("files", file, fullName); }