Section Header

    + name := G_ELEVATOR;

    - author := "Sonntag Benoit (bsonntag@loria.fr)";

    - comment := "Output text for GUI.";

Section Inherit

    + parent_area:Expanded AREA;

    + parent_g_expr:Expanded G_EXPR;

Section Public

    + win_in:G_WIN_IN_INTERN;

    + position:INTEGER;

    + stat:INTEGER_8;

Section G_ELEVATOR

    - win_size:INTEGER <-

    - elevator_size:INTEGER <-

    - cursor_begin:INTEGER <-

    - cursor_size:INTEGER <-

Section Public

Width / Height


    - width_min:INTEGER :=

    - height_min:INTEGER :=

    - width_max:INTEGER <-

    - height_max:INTEGER <-

Creation.


    - create_horizontal w:G_WIN_IN_INTERN :SELF <-

    - create_vertical w:G_WIN_IN_INTERN :SELF <-

    - make w:G_WIN_IN_INTERN attribute a:UINTEGER_8 <-

Update position.


    - set_position rac:AREA at (x,y:INTEGER) size (w,h:INTEGER) <-

Action.


    - set_min <-

    - set_max <-

    - receive msg:EVENT <-
        0000 : Nothing.
        0001 : In.
        0010 : Up page.
        0100 : Down pages.
        1000 : Cursor move.

Display.


    - draw (x0,y0:INTEGER) to (x1,y1:INTEGER) <-

Area.


    - delete <-