class IDENTIFIED_ROUTINES Ancestors ANY Descendants IDENTIFIED Clients IDENTIFIED_ROUTINES Suppliers IDENTIFIED_ROUTINES INTEGER_32
Generated by ISE EiffelStudio