Section Header

    + name := EVENT_KEYBOARD;

    - comment :="Keyboard event.";

Section Inherit

    + parent_event:Expanded EVENT;

Section Public

    - source:INBOX :=

    + key:UINTEGER_16;

    + prev:EVENT_KEYBOARD;

    - set_prev new_prev:EVENT_KEYBOARD <-

    - make c:UINTEGER_16 <-

Display.


    - display <-

    - copy_from evt:EVENT_KEYBOARD <-