# HG changeset patch # User Tom Rodriguez # Date 1430524307 25200 # Node ID 12a32123be43183fb94957a78c61c0c3527dce8a # Parent 8c04132815510bafdae9b19092deb68a8e324277 Add info message about time spent parsing files diff -r 8c0413281551 -r 12a32123be43 src/share/tools/IdealGraphVisualizer/Coordinator/src/com/sun/hotspot/igv/coordinator/actions/ImportAction.java --- a/src/share/tools/IdealGraphVisualizer/Coordinator/src/com/sun/hotspot/igv/coordinator/actions/ImportAction.java Fri May 01 15:58:57 2015 -0700 +++ b/src/share/tools/IdealGraphVisualizer/Coordinator/src/com/sun/hotspot/igv/coordinator/actions/ImportAction.java Fri May 01 16:51:47 2015 -0700 @@ -37,6 +37,8 @@ import java.io.IOException; import java.nio.channels.FileChannel; import java.nio.file.StandardOpenOption; +import java.util.logging.Level; +import java.util.logging.Logger; import javax.swing.JFileChooser; import javax.swing.SwingUtilities; import javax.swing.filechooser.FileFilter; @@ -94,7 +96,7 @@ fc.setCurrentDirectory(new File(Settings.get().get(Settings.DIRECTORY, Settings.DIRECTORY_DEFAULT))); if (fc.showOpenDialog(null) == JFileChooser.APPROVE_OPTION) { - File file = fc.getSelectedFile(); + final File file = fc.getSelectedFile(); File dir = file; if (!dir.isDirectory()) { @@ -106,6 +108,7 @@ final FileChannel channel = FileChannel.open(file.toPath(), StandardOpenOption.READ); final ProgressHandle handle = ProgressHandleFactory.createHandle("Opening file " + file.getName()); handle.start(WORKUNITS); + final long startTime = System.currentTimeMillis(); final long start = channel.size(); ParseMonitor monitor = new ParseMonitor() { @Override @@ -149,6 +152,8 @@ Exceptions.printStackTrace(ex); } handle.finish(); + long stop = System.currentTimeMillis(); + Logger.getLogger(getClass().getName()).log(Level.INFO, "Loaded in " + file + " in " + ((stop - startTime) / 1000.0) + " seconds"); } }); } catch (FileNotFoundException ex) {