Differential D3878 Diff 13691 java/src/main/java/org/softwareheritage/graph/benchmark/Benchmark.java
Changeset View
Changeset View
Standalone View
Standalone View
java/src/main/java/org/softwareheritage/graph/benchmark/Benchmark.java
Show First 20 Lines • Show All 155 Lines • ▼ Show 20 Lines | throws IOException { | ||||
statsNormalized.printAll(); | statsNormalized.printAll(); | ||||
System.out.println("nb edges accessed:"); | System.out.println("nb edges accessed:"); | ||||
Statistics statsNbEdgesAccessed = new Statistics(nbEdgesAccessed); | Statistics statsNbEdgesAccessed = new Statistics(nbEdgesAccessed); | ||||
statsNbEdgesAccessed.printAll(); | statsNbEdgesAccessed.printAll(); | ||||
} | } | ||||
/** | /** | ||||
* Same as {@link timeEndpoint} but without destination or algorithm specified to endpoint call. | * Same as {@link #timeEndpoint} but without destination or algorithm specified to endpoint call. | ||||
*/ | */ | ||||
public void timeEndpoint(String useCaseName, Graph graph, long[] nodeIds, | public void timeEndpoint(String useCaseName, Graph graph, long[] nodeIds, | ||||
Function<Endpoint.Input, Endpoint.Output> operation) throws IOException { | Function<Endpoint.Input, Endpoint.Output> operation) throws IOException { | ||||
timeEndpoint(useCaseName, graph, nodeIds, operation, null, null); | timeEndpoint(useCaseName, graph, nodeIds, operation, null, null); | ||||
} | } | ||||
} | } |