Section Header
  
  
    + name    := Expanded PIXEL_32;
  
  
    - comment := "Pixel on 32 bits.";
  
Section Insert
  
  
    + parent_pixel:Expanded PIXEL;
  
Section Mapping
  
  
    + map_blue:UINTEGER_8;
  
    + map_green:UINTEGER_8;
  
    + map_red:UINTEGER_8;
    
  
    + map_alpha:UINTEGER_8;
  
Section Public
  
  
    - blue:UINTEGER_8 <- 
  
  
    - green:UINTEGER_8 <- 
  
    - red:UINTEGER_8 <- 
  
  
    - get_raw col:UINTEGER_32 :UINTEGER_32 <-
    
  
    - make col:UINTEGER_32 <-
    
  
    - make_rgb (r,g,b:UINTEGER_8) <-
    
  
    - size:UINTEGER_8       :=  
  
    - red_size:UINTEGER_8   := 
  
    - red_pos:UINTEGER_8    := 
  
    - green_size:UINTEGER_8 := 
  
    - green_pos:UINTEGER_8  := 
  
    - blue_size:UINTEGER_8  := 
  
    - blue_pos:UINTEGER_8   := 
  
    - reserved_size:UINTEGER_8 :=
  
    - reserved_pos:UINTEGER_8  :=
    
  
    - to_pixel_32:PIXEL_32 <-