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