.. java:import:: se.sics.kompics PortType Timer ===== .. java:package:: se.sics.kompics.timer :noindex: .. java:type:: public final class Timer extends PortType The \ ``Timer``\ class. :author: Cosmin Arad , Jim Dowling