Remove unused methods

goblint · Apr 3, 2024 · b0adc75 · b0adc75
1 parent e01c27b
commit b0adc75
Show file tree

Hide file tree

Showing 6 changed files with 0 additions and 87 deletions.
diff --git a/src/main/java/analysis/GoblintAnalysis.java b/src/main/java/analysis/GoblintAnalysis.java
@@ -191,23 +191,4 @@ private Collection<AnalysisResult> convertFunctionsFromJson(List<GoblintFunction
         return response.stream().map(GoblintFunctionsResult::convert).flatMap(List::stream).toList();
     }
 
-
-    /**
-     * Method for running a command.
-     *
-     * @param dirPath The directory in which the command will run.
-     * @param command The command to run.
-     * @return Exit value and output of a finished process.
-     */
-
-    public ProcessResult runCommand(File dirPath, String[] command) throws IOException, InvalidExitValueException, InterruptedException, TimeoutException {
-        log.debug("Waiting for command: " + Arrays.toString(command) + " to run...");
-        return new ProcessExecutor()
-                .directory(dirPath)
-                .command(command)
-                .redirectOutput(System.err)
-                .redirectError(System.err)
-                .execute();
-    }
-
 }
diff --git a/src/main/java/analysis/GoblintCFGAnalysisResult.java b/src/main/java/analysis/GoblintCFGAnalysisResult.java
@@ -83,18 +83,4 @@ public boolean equals(Object o) {
         return Objects.equals(pos, that.pos) && Objects.equals(title, that.title) && Objects.equals(funName, that.funName) && Objects.equals(related, that.related);
     }
 
-    @Override
-    public int hashCode() {
-        return Objects.hash(pos, title, funName, related);
-    }
-
-    @Override
-    public String toString() {
-        return "GoblintCFGAnalysisResult{" +
-                "pos=" + pos +
-                ", title='" + title + '\'' +
-                ", funName='" + funName + '\'' +
-                ", related=" + related +
-                '}';
-    }
 }
diff --git a/src/main/java/analysis/GoblintMessagesAnalysisResult.java b/src/main/java/analysis/GoblintMessagesAnalysisResult.java
@@ -117,19 +117,4 @@ public boolean equals(Object o) {
         return Objects.equals(group_text, that.group_text) && Objects.equals(text, that.text) && Objects.equals(pos, that.pos) && Objects.equals(severity, that.severity) && Objects.equals(related, that.related);
     }
 
-    @Override
-    public int hashCode() {
-        return Objects.hash(group_text, text, pos, severity, related);
-    }
-
-    @Override
-    public String toString() {
-        return "GoblintMessagesAnalysisResult{" +
-                "group_text='" + group_text + '\'' +
-                ", text='" + text + '\'' +
-                ", pos=" + pos.toString() +
-                ", severity='" + severity + '\'' +
-                ", related=" + related +
-                '}';
-    }
 }
diff --git a/src/main/java/api/messages/GoblintPosition.java b/src/main/java/api/messages/GoblintPosition.java
@@ -91,19 +91,4 @@ public boolean equals(Object o) {
         return columnStart == that.columnStart && columnEnd == that.columnEnd && lineStart == that.lineStart && lineEnd == that.lineEnd && Objects.equals(sourcefileURL, that.sourcefileURL);
     }
 
-    @Override
-    public int hashCode() {
-        return Objects.hash(columnStart, columnEnd, lineStart, lineEnd, sourcefileURL);
-    }
-
-    @Override
-    public String toString() {
-        return "GoblintPosition{" +
-                "columnStart=" + columnStart +
-                ", columnEnd=" + columnEnd +
-                ", lineStart=" + lineStart +
-                ", lineEnd=" + lineEnd +
-                ", sourcefileURL=" + sourcefileURL +
-                '}';
-    }
 }
diff --git a/src/main/java/api/messages/params/AnalyzeParams.java b/src/main/java/api/messages/params/AnalyzeParams.java
@@ -18,8 +18,4 @@ public boolean equals(Object o) {
         return reset == that.reset;
     }
 
-    @Override
-    public int hashCode() {
-        return Objects.hash(reset);
-    }
 }
diff --git a/src/main/java/gobpie/GobPieConfiguration.java b/src/main/java/gobpie/GobPieConfiguration.java
@@ -75,26 +75,6 @@ public boolean equals(Object o) {
         return abstractDebugging == that.abstractDebugging && showCfg == that.showCfg && explodeGroupWarnings == that.explodeGroupWarnings && incrementalAnalysis == that.incrementalAnalysis && Objects.equals(goblintExecutable, that.goblintExecutable) && Objects.equals(goblintConf, that.goblintConf) && Arrays.equals(preAnalyzeCommand, that.preAnalyzeCommand);
     }
 
-    @Override
-    public int hashCode() {
-        int result = Objects.hash(goblintExecutable, goblintConf, abstractDebugging, showCfg, explodeGroupWarnings, incrementalAnalysis);
-        result = 31 * result + Arrays.hashCode(preAnalyzeCommand);
-        return result;
-    }
-
-    @Override
-    public String toString() {
-        return "GobPieConfiguration{" +
-                "goblintExecutable='" + goblintExecutable + '\'' +
-                ", goblintConf='" + goblintConf + '\'' +
-                ", preAnalyzeCommand=" + Arrays.toString(preAnalyzeCommand) +
-                ", abstractDebugging=" + abstractDebugging +
-                ", showCfg=" + showCfg +
-                ", explodeGroupWarnings=" + explodeGroupWarnings +
-                ", incrementalAnalysis=" + incrementalAnalysis +
-                '}';
-    }
-
     public static class Builder {
         private String goblintExecutable;
         private String goblintConf;