websphinx
Class CrawlTimer

java.lang.Object
  |
  +--websphinx.util.Timer
        |
        +--websphinx.CrawlTimer

class CrawlTimer

extends Timer

Field Summary

(package private) Crawler

crawler

Fields inherited from class websphinx.util.Timer

deadline, interval, isExpired, manager, next, periodic, prev

Constructor Summary

CrawlTimer(Crawler crawler)

Method Summary

protected void

alarm()

Methods inherited from class websphinx.util.Timer

cancel, expired, getInterval, getPeriodic, set

Methods inherited from class java.lang.Object

, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait

Field Detail

crawler

Crawler crawler

Constructor Detail

CrawlTimer

public CrawlTimer(Crawler crawler)

Method Detail

alarm

protected void alarm()

Overrides:

alarm in class Timer