Section Header
  
  
    + name    := EVENT_TIMER;
  
  
    - comment     :="Timer event.";
  
Section Inherit
  
    + parent_event:Expanded EVENT;
  
Section Public
  
  
    - source:INBOX := 
  
  
    + count:UINTEGER_32;
  
  
    + prev:EVENT_TIMER;
  
  
    - set_prev new_prev:EVENT_TIMER <-
    
  
    - make new_count:UINTEGER_32 <-
    
  
    - delay:UINTEGER_32 <- 
  
  
  
 Display.
  
  
  
    - display <-