Changeset View
Changeset View
Standalone View
Standalone View
java/src/main/java/org/softwareheritage/graph/Entry.java
package org.softwareheritage.graph; | package org.softwareheritage.graph; | ||||
import java.io.DataOutputStream; | import java.io.DataOutputStream; | ||||
import java.io.FileOutputStream; | import java.io.FileOutputStream; | ||||
import java.io.IOException; | import java.io.IOException; | ||||
import java.util.ArrayList; | import java.util.ArrayList; | ||||
import com.fasterxml.jackson.databind.ObjectMapper; | import com.fasterxml.jackson.databind.ObjectMapper; | ||||
import com.fasterxml.jackson.databind.PropertyNamingStrategy; | import com.fasterxml.jackson.databind.PropertyNamingStrategy; | ||||
public class Entry { | public class Entry { | ||||
private final long PATH_SEPARATOR_ID = -1; | private final long PATH_SEPARATOR_ID = -1; | ||||
private Graph graph; | private Graph graph; | ||||
public void load_graph(String graphBasename) throws IOException { | public void load_graph(String graphBasename) throws IOException { | ||||
System.err.println("Loading graph " + graphBasename + " ..."); | System.err.println("Loading graph " + graphBasename + " ..."); | ||||
this.graph = Graph.loadMapped(graphBasename); | this.graph = Graph.loadMapped(graphBasename, Graph.LoadDirection.BOTH); | ||||
System.err.println("Graph loaded."); | System.err.println("Graph loaded."); | ||||
} | } | ||||
public Graph get_graph() { | public Graph get_graph() { | ||||
return graph.copy(); | return graph.copy(); | ||||
} | } | ||||
public String stats() { | public String stats() { | ||||
▲ Show 20 Lines • Show All 171 Lines • Show Last 20 Lines |