hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-21 11:16:30 +01:00
Code Issues Packages Projects Releases Wiki Activity

Remove trap file compression for now

Browse Source
This commit is contained in:
Chris Smowton
2021-09-30 12:34:09 +01:00
committed by Ian Lynagh
parent 2cc003ff0e
commit a0671cafb1
1 changed files with 10 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
java/kotlin-extractor/src/main/java/com/semmle/extractor/java/OdasaOutput.java
View File

@@ -177,18 +177,18 @@ public class OdasaOutput {
return null;
return FileUtil.appendAbsolutePath(
currentSpecFileEntry.getTrapFolder(),
JARS_DIR + "/" + PathTransformer.std().fileAsDatabaseString(jarFile) + ".trap.gz");
JARS_DIR + "/" + PathTransformer.std().fileAsDatabaseString(jarFile) + ".trap");
}
private File getTrapFileForModule(String moduleName) {
return FileUtil.appendAbsolutePath(
currentSpecFileEntry.getTrapFolder(),
MODULES_DIR + "/" + moduleName + ".trap.gz");
MODULES_DIR + "/" + moduleName + ".trap");
}
private File trapFileFor(File file) {
return FileUtil.appendAbsolutePath(currentSpecFileEntry.getTrapFolder(),
PathTransformer.std().fileAsDatabaseString(file) + ".trap.gz");
PathTransformer.std().fileAsDatabaseString(file) + ".trap");
}
private File getTrapFileForClassFile(IrClass sym) {
@@ -214,7 +214,7 @@ public class OdasaOutput {
result = CLASSES_DIR + "/" +
dots.matcher(classId).replaceAll("/") +
".members" +
".trap.gz";
".trap";
memberTrapPaths.put(classId, result);
}
return result;
@@ -228,10 +228,10 @@ public class OdasaOutput {
File trap = trapFileForClass(sym);
if (trap.exists()) {
trap.delete();
File depFile = new File(trap.getParentFile(), trap.getName().replace(".trap.gz", ".dep"));
File depFile = new File(trap.getParentFile(), trap.getName().replace(".trap", ".dep"));
if (depFile.exists())
depFile.delete();
File metadataFile = new File(trap.getParentFile(), trap.getName().replace(".trap.gz", ".metadata"));
File metadataFile = new File(trap.getParentFile(), trap.getName().replace(".trap", ".metadata"));
if (metadataFile.exists())
metadataFile.delete();
}
@@ -283,7 +283,7 @@ public class OdasaOutput {
}
private TrapFileManager trapWriter(File trapFile, IrClass sym) {
if (!trapFile.getName().endsWith(".trap.gz"))
if (!trapFile.getName().endsWith(".trap"))
throw new CatastrophicError("OdasaOutput only supports writing to compressed trap files");
String relative = FileUtil.relativePath(trapFile, currentSpecFileEntry.getTrapFolder());
trapFile.getParentFile().mkdirs();
@@ -320,7 +320,7 @@ public class OdasaOutput {
writeTrapDependencies(trapDependenciesForClass);
// Record major/minor version information for extracted class files.
// This is subsequently used to determine whether to re-extract (a newer version of) the same class.
File metadataFile = new File(trapFile.getAbsolutePath().replace(".trap.gz", ".metadata"));
File metadataFile = new File(trapFile.getAbsolutePath().replace(".trap", ".metadata"));
try {
Map<String, String> versionMap = new LinkedHashMap<>();
TrapClassVersion tcv = TrapClassVersion.fromSymbol(sym);
@@ -333,7 +333,7 @@ public class OdasaOutput {
}
}
private void writeTrapDependencies(TrapDependencies trapDependencies) {
String dep = trapDependencies.trapFile().replace(".trap.gz", ".dep");
String dep = trapDependencies.trapFile().replace(".trap", ".dep");
trapDependencies.save(
currentSpecFileEntry.getTrapFolder().toPath().resolve(dep));
}
@@ -515,7 +515,7 @@ public class OdasaOutput {
int majorVersion = 0;
int minorVersion = 0;
long lastModified = 0;
File metadataFile = new File(trap.getAbsolutePath().replace(".trap.gz", ".metadata"));
File metadataFile = new File(trap.getAbsolutePath().replace(".trap", ".metadata"));
if (metadataFile.exists()) {
Map<String,String> metadataMap = FileUtil.readPropertiesCSV(metadataFile);
try {