note description: "Define a type of possible index type that occur in the tables we are interested in." date: "$Date$" revision: "$Revision$" class PE_METHOD_DEF inherit PE_INDEX_BASE redefine has_index_overflow end create make_with_index feature -- Operations has_index_overflow (a_sizes: ARRAY [NATURAL_32]): BOOLEAN do Result := large(a_sizes[{PE_TABLES}.tMethodDef.to_integer_32 + 1]) end end