class TEST1 [G -> A create default_create end] create make feature make do create {MY_ARRAYED_LIST [G]} arrayed_list.make (10) end feature -- Access item: G list: MY_LIST [G] arrayed_list: MY_LIST [G] feature -- Settings set_lists (a_list1, a_list2: MY_LIST [G]) do create {MY_ARRAYED_LIST [G]} list.make (1) list.append (a_list1) list.append (a_list2) end set_item (v: G) do item := v end operate do print ("Operating on a list of type " + list.generating_type.out + "%N") list.extend (create {G}) list.extend (item) from list.start until list.after loop if list.item /= Void then if not attached {G} list.item then print ("Catcall with ") end list.item.operate end list.forth end print ("%N") end end