5859606162636465
return true; } else { return false; } } catch ( ObjectInvalid e ){ throw new KeyInvalid(); } };
145146147148149150151152153154155156
} pos = ((KeyNode)keys.elementAt( pos )).start_position; element_remove( pos ); return true; } catch ( ObjectInvalid e ){ throw new KeyInvalid(); } catch ( EmptyCollection e ){ throw new KeyInvalid(); } catch ( PositionInvalid e ){ throw new KeyInvalid(); } };
168169170171172173174175176177178179
for( int i=node.count; i>0; i-- ){ element_remove( pos+i-1 ); }; return node.count; } catch ( ObjectInvalid e ){ throw new KeyInvalid(); } catch ( EmptyCollection e ){ throw new KeyInvalid(); } catch ( PositionInvalid e ){ throw new KeyInvalid(); } };
230231232233234235236237238239
KeyNode node = (KeyNode)keys.elementAt( pos ); pos = node.start_position; element.value = element_retrieve( pos ); return true; } catch ( ObjectInvalid e ){ throw new KeyInvalid(); } catch ( PositionInvalid e ){ throw new KeyInvalid(); } };
266267268269270271272273
KeyNode node = (KeyNode)keys.elementAt( pos ); i.set_pos( node.start_position ); i.set_in_between( false ); return true; } catch ( ObjectInvalid e ){ throw new KeyInvalid(); } };
328329330331332333334335
return 0; }; KeyNode node = (KeyNode)keys.elementAt( pos ); return node.count; } catch ( ObjectInvalid e ){ throw new KeyInvalid(); } };
350351352353354355356357
} else { i.invalidate(); return false; } } catch ( ObjectInvalid e ){ throw new KeyInvalid(); } };
370371372373374375376377
440441442443444445446447
} }; /* ------------------------------------------------------------------------- */ protected void check_key( Any key ) throws KeyInvalid { if( !ops.check_key_type( key ) ){ throw new KeyInvalid(); } };