note description: "Summary description for {CIL_SEH}." date: "$Date$" revision: "$Revision$" once class CIL_SEH create seh_try, seh_catch, seh_finally, seh_fault, seh_filter, seh_filter_handler feature {NONE} -- Creation seh_try once end seh_catch once end seh_finally once end seh_fault once end seh_filter once end seh_filter_handler once end feature -- Access instances: ITERABLE [CIL_SEH] -- All known cil sehs do Result := <<{CIL_SEH}.seh_try, {CIL_SEH}.seh_catch, {CIL_SEH}.seh_finally, {CIL_SEH}.seh_fault, {CIL_SEH}.seh_filter, {CIL_SEH}.seh_filter_handler>> ensure instance_free: class end index_of (a_value: CIL_SEH): INTEGER -- Index of first occurrence of item identical to `a_value'. -- -1 if none. local l_area: SPECIAL [CIL_SEH] do l_area := (create {ARRAYED_LIST [CIL_SEH]}.make_from_iterable (instances)).area Result := l_area.index_of(a_value, l_area.lower) ensure instance_free: class end end