Lines Matching refs:filename
40 String filename;
50 public GraphVizPanel(final String filename, long SLEEPTIME) {
51 this.filename = filename;
53 fw = new FileWatcher(filename, SLEEPTIME);
132 setGraph(loadGraph(filename));
140 public Graph loadGraph(String filename) throws FileNotFoundException {
142 input = new FileInputStream(filename);
186 if (JOptionPane.YES_OPTION == JOptionPane.showConfirmDialog(null,"Delete temporary file \""+ filename +"\"")) {
187 new File(filename).delete();