Searched refs:SLEEPTIME (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/jdotview/
H A DFileWatcher.java36 long SLEEPTIME; field in class:FileWatcher
38 public FileWatcher(String filename, long SLEEPTIME) { argument
42 this.SLEEPTIME=SLEEPTIME;
65 sleep(SLEEPTIME);
H A DJDotView.java38 public static final int SLEEPTIME=500; field in class:JDotView
60 final GraphVizPanel panel = new GraphVizPanel(filename, SLEEPTIME);
H A DGraphVizPanel.java50 public GraphVizPanel(final String filename, long SLEEPTIME) { argument
53 fw = new FileWatcher(filename, SLEEPTIME);

Completed in 78 milliseconds