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