Lines Matching refs:Timer
7 import java.util.Timer;
143 * The timer is used to dispatch all outgoing messages of JmDNS. It is also used to dispatch maintenance tasks for the DNS cache.
145 private final Timer _timer;
148 * The timer is used to dispatch maintenance tasks for the DNS cache.
150 private final Timer _stateTimer;
152 public static class StarterTimer extends Timer {
192 * @see java.util.Timer#cancel()
203 * @see java.util.Timer#schedule(java.util.TimerTask, long)
213 * @see java.util.Timer#schedule(java.util.TimerTask, java.util.Date)
223 * @see java.util.Timer#schedule(java.util.TimerTask, long, long)
233 * @see java.util.Timer#schedule(java.util.TimerTask, java.util.Date, long)
243 * @see java.util.Timer#scheduleAtFixedRate(java.util.TimerTask, long, long)
253 * @see java.util.Timer#scheduleAtFixedRate(java.util.TimerTask, java.util.Date, long)
266 _timer = new StarterTimer("JmDNS(" + _jmDNSImpl.getName() + ").Timer", true);
267 _stateTimer = new StarterTimer("JmDNS(" + _jmDNSImpl.getName() + ").State.Timer", false);
389 * Purge the general task timer
394 * Purge the state task timer
399 * Cancel the generals task timer
404 * Cancel the state task timer
