Lines Matching refs:compressed
998 private File checkFile(File dir, String name, boolean compressed) {
1000 if (compressed) {
1015 private File checkFileResolve(File dir, String name, boolean compressed) {
1021 if (compressed) {
1039 * tried to find the compressed file first by appending the file extension
1041 * file is younger than its compressed version, the uncompressed file gets
1058 boolean compressed = getEnv().isCompressXref();
1060 res[i] = checkFileResolve(dir, filenames.get(i), compressed);
1068 * the opengrok data directory. It is tried to find the compressed file
1071 * compressed version, the uncompressed file gets used.
1177 sh.compressed = env.isCompressXref();