indexing description: "[ Predefined often used colors, for convenience. ]" date: "$Date$" revision: "$Revision$" class EM_SHARED_COLORS feature -- Access black: EM_COLOR is -- Black color once create Result.make_with_rgb (0, 0, 0) end red: EM_COLOR is -- Red color once create Result.make_with_rgb (255, 0, 0) end green: EM_COLOR is -- Green color once create Result.make_with_rgb (0, 255, 0) end blue: EM_COLOR is -- Blue color once create Result.make_with_rgb (0, 0, 255) end yellow: EM_COLOR is -- Yellow color once create Result.make_with_rgb (255, 255, 0) end white: EM_COLOR is -- White color once create Result.make_with_rgb (255, 255, 255) end end