ANY NONE WINDOW
class interface COLOR

creation
   like_rgb (r, g, b: REAL)
      require
         r.in_range(0.0,1.0);
         g.in_range(0.0,1.0);
         b.in_range(0.0,1.0)

   like_rgb_8 (r, g, b: INTEGER)
      require
         r.in_range(0,255);
         g.in_range(0,255);
         b.in_range(0,255)

   like_rgb_16 (r, g, b: INTEGER)
      require
         r.in_range(0,65535);
         g.in_range(0,65535);
         b.in_range(0,65535)

feature(s) from COLOR
   red: INTEGER

   green: INTEGER

   blue: INTEGER

feature(s) from COLOR
   storage: POINTER


invariant

    red.in_range(0,65535);

    green.in_range(0,65535);

    blue.in_range(0,65535);

end of COLOR