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 <-