示例#1
0
 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);
 }
示例#2
0
 internal static void file_extraction_mode(this System.IO.TextWriter trapFile, Entities.File file, int mode)
 {
     trapFile.WriteTuple("file_extraction_mode", file, mode);
 }