Java GraphStorage.toDetailsString Examples

Example #1

File: GraphHopper.java Project: rchampa/graphhopper

 private void flush() {
   logger.info(
       "flushing graph "
           + graph.toString()
           + ", details:"
           + graph.toDetailsString()
           + ", "
           + Helper.getMemInfo()
           + ")");
   graph.flush();
 }

Example #2

File: GraphHopper.java Project: rchampa/graphhopper

 private void printInfo() {
   logger.info(
       "version "
           + Constants.VERSION
           + "|"
           + Constants.BUILD_DATE
           + " ("
           + Constants.getVersions()
           + ")");
   logger.info("graph " + graph.toString() + ", details:" + graph.toDetailsString());
 }