class F_WIPE Ancestors ANY Clients D_DISPLAY D_MAIN F_WIPE I_MAIN Suppliers ARRAY [G] BOOLEAN DOOMDEF_H F_WIPE INTEGER_32 I_MAIN I_VIDEO MANAGED_POINTER M_RANDOM NATURAL_8 NOT_IMPLEMENTED PIXEL_T_BUFFER PREDICATE [OPEN_ARGS -> detachable TUPLE create default_create end] V_VIDEO
Generated by ISE EiffelStudio