Automatic generation produced by ISE Eiffel
class EV_IDENTIFIED_FONT General cluster: interface description: "Objects that is an font with an id (for EV_SCALED_FONT_FACTORY)." create: make_with_id Ancestors ANY Queries font: EV_FONT id: INTEGER_32 Constraints font not void id positive -- Generated by Eiffel Studio --
For more details: eiffel.org