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