Skip to content
Snippets Groups Projects
Commit 97475a93 authored by Moritz Bergenthal's avatar Moritz Bergenthal
Browse files

Fix style check issues

parent b88a4974
No related branches found
No related tags found
1 merge request!28Package the native vc_solver binary and extract it upon use if no local version is present
Pipeline #201624 passed
...@@ -4,7 +4,12 @@ import de.uni.bremen.grapa.library.graphs.api.DirectedEdge; ...@@ -4,7 +4,12 @@ import de.uni.bremen.grapa.library.graphs.api.DirectedEdge;
import de.uni.bremen.grapa.library.graphs.api.DirectedGraph; import de.uni.bremen.grapa.library.graphs.api.DirectedGraph;
import de.uni.bremen.grapa.library.graphs.api.Vertex; import de.uni.bremen.grapa.library.graphs.api.Vertex;
import java.io.*; import java.io.BufferedInputStream;
import java.io.File;
import java.io.IOException;
import java.io.InputStream;
import java.io.PrintWriter;
import java.io.OutputStreamWriter;
import java.nio.file.Files; import java.nio.file.Files;
import java.nio.file.StandardCopyOption; import java.nio.file.StandardCopyOption;
import java.util.HashSet; import java.util.HashSet;
...@@ -33,7 +38,7 @@ public class NativeVcSolver { ...@@ -33,7 +38,7 @@ public class NativeVcSolver {
if (!solver.exists()) { if (!solver.exists()) {
// Use packaged vc_solver instead // Use packaged vc_solver instead
try (InputStream solverResource = (getClass().getResourceAsStream("/vc_solver"))){ try (InputStream solverResource = (getClass().getResourceAsStream("/vc_solver"))) {
solver = File.createTempFile("vc_solver", ""); solver = File.createTempFile("vc_solver", "");
assert solverResource != null; assert solverResource != null;
Files.copy(solverResource, solver.toPath(), StandardCopyOption.REPLACE_EXISTING); Files.copy(solverResource, solver.toPath(), StandardCopyOption.REPLACE_EXISTING);
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment