From 8935407ade89af8facc83bfb5dec437df16380f4 Mon Sep 17 00:00:00 2001 From: efischer Date: Sat, 26 Feb 2022 10:38:10 -0600 Subject: [PATCH] Get rid of GraphML reader, those files are larger than serialized files --- src/main/java/GraphMLFileReader.java | 35 ---------------------------- 1 file changed, 35 deletions(-) delete mode 100644 src/main/java/GraphMLFileReader.java diff --git a/src/main/java/GraphMLFileReader.java b/src/main/java/GraphMLFileReader.java deleted file mode 100644 index 151c078..0000000 --- a/src/main/java/GraphMLFileReader.java +++ /dev/null @@ -1,35 +0,0 @@ -import org.jgrapht.graph.SimpleWeightedGraph; -import org.jgrapht.nio.graphml.GraphMLImporter; - -import java.io.BufferedReader; -import java.io.IOException; -import java.nio.file.Files; -import java.nio.file.Path; - -public class GraphMLFileReader { - - private String filename; - private SimpleWeightedGraph graph; - - public GraphMLFileReader(String filename, SimpleWeightedGraph graph) { - if(!filename.matches(".*\\.graphml")){ - filename = filename + ".graphml"; - } - this.filename = filename; - this.graph = graph; - - try(//don't need to close reader bc of try-with-resources auto-closing - BufferedReader reader = Files.newBufferedReader(Path.of(filename)); - ){ - GraphMLImporter importer = new GraphMLImporter<>(); - importer.importGraph(graph, reader); - } - catch (IOException ex) { - System.out.println("Graph file " + filename + " not found."); - System.err.println(ex); - } - } - - public SimpleWeightedGraph getGraph() { return graph; } - -}