Section Header
    + name := EVENT_MOUSE;
    - bibliography:="http://IsaacOS.com";
    - author :="Sonntag Benoit (bsonntag@loria.fr)";
    - comment :="Mouse event.";
Section Inherit
    + parent_event:Expanded EVENT;
Section Public
    - source:INBOX :=
    + x_current:INTEGER;
    + y_current:INTEGER;
    + right:BOOLEAN;
    + left:BOOLEAN;
    + prev:EVENT_MOUSE;
    - set_prev new_prev:EVENT_MOUSE <-
    - make (xn,yn:INTEGER) button (l,r:BOOLEAN) <-
    - copy_from evt:EVENT_MOUSE <-
    - dx:INTEGER <-
    - dy:INTEGER <-
    - left_up:BOOLEAN <-
    - left_down:BOOLEAN <-
    - right_up:BOOLEAN <-
    - right_down:BOOLEAN <-
    - is_pressed:BOOLEAN <-
    - is_moving:BOOLEAN <-
    - is_moving_only:BOOLEAN <-
Window consideration.
    - window:AREA <-
    - x_relative:INTEGER <-
    - y_relative:INTEGER <-
    - is_in:BOOLEAN <-
    - in_up:BOOLEAN <-
    - is_out:BOOLEAN <-
    - out_up:BOOLEAN <-
Display.
    - display <-