Lines Matching defs:filename
49 private String filename = UNKNOWN;
63 // try to figure this out from the filename extension
78 // get filename from the "begin" line
79 if (filename == UNKNOWN)
81 return filename;
89 * Process the "begin" line to extract the filename,
97 // format is "begin 666 filename.txt"
101 filename = begin.substring(i + 1);
103 type = map.getContentType(filename);
116 if (filename == UNKNOWN)
117 filename = null;