192193194195196197198199200201202203
{ Enumeration result=EmptyEnum.empty; if ( _session!=null) { final IndexIterator ii=_session.greaterThanOrEqualEntries( index_name, key); if ( ii.isExactMatch()) { result=new ExactMatchIndexEnumeration( ii); } }