class P_SPEC Ancestors ANY Clients I_MAIN P_DOORS P_MAP P_SETUP P_SPEC P_SWITCH P_TICK P_USER Suppliers ARRAYED_LIST [G] DOOMDATA_H DOOMTYPE_H FIXED_T INTEGER_16 INTEGER_32 LINE_T M_FIXED NOT_IMPLEMENTED P_SPEC SECTOR_T
Generated by ISE EiffelStudio