Section Header
  
  
    + name    := Expanded PIXEL_15;
  
  
    - comment := "Pixel on 15 bits";
    
Section Insert
  
  
    + parent_pixel:Expanded PIXEL;
  
Section Mapping  
  
  
    + real_color:UINTEGER_16;
  
Section Public
  
  
    - red:UINTEGER_8 <- 
    
  
    - green:UINTEGER_8 <- 
  
  
    - blue: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_15:PIXEL_15 <-