Automatic generation produced by ISE Eiffel
class EV_SCALED_PIXEL_BUFFER_FACTORY General cluster: interface description: "Objects that is a factory for scaled pixel_buffers. Reduces memory usage and speed up systems with only a few different pixel_buffers and a lot of EV_MODEL_PICTURE objects which uses this pixel_buffers and get uniformly scaled." Ancestors ANY Queries registered_pixel_buffer (a_pixel_buffer: EV_PIXEL_BUFFER): EV_IDENTIFIED_PIXEL_BUFFER scaled_pixel_buffer (an_id_pixel_buffer: EV_IDENTIFIED_PIXEL_BUFFER; a_width, a_height: INTEGER_32): EV_PIXEL_BUFFER Commands register_pixel_buffer (an_id_pixel_buffer: EV_IDENTIFIED_PIXEL_BUFFER) Constraints scaled pixel buffers not void orginal pixel buffers not void -- Generated by Eiffel Studio --
For more details: eiffel.org