+
Point of view
All features
deferred class REPOSITORY [O_ -> STORABLE]
Summary
Class invariant
Overview
features
Getting and setting objects in the repository:
  • has (object_name: STRING): BOOLEAN
    Is object_name the name of some stored object.
  • at (object_name: STRING): O_
    Return the object currently associated to object_name.
  • add (object: O_, object_name: STRING)
    Update or add a new object in the Current repository.
  • put (object: O_, object_name: STRING)
    Update or add a new object in the Current repository.
  • remove (object_name: STRING)
    Remove entry object_name from the Current repository.
Counting:
Iterating facilities:
Really storing data:
  • update
    Update the repository objects.
  • commit
    Commit all the repository objects to the physical store.
  • is_connected: BOOLEAN
    True if the repository is connected to a physical store.
  • is_updateable: BOOLEAN
    True if the repository can be updated from data in the physical store.
  • is_commitable: BOOLEAN
    True if the repository can be committed to the underlying physical store.
Implementation
has (object_name: STRING): BOOLEAN
frozen
effective function
Is object_name the name of some stored object.
at (object_name: STRING): O_
frozen
effective function
Return the object currently associated to object_name.
add (object: O_, object_name: STRING)
frozen
effective procedure
Update or add a new object in the Current repository.
put (object: O_, object_name: STRING)
frozen
effective procedure
Update or add a new object in the Current repository.
remove (object_name: STRING)
effective procedure
Remove entry object_name from the Current repository.
count: INTEGER_32
effective function
Actual count of stored elements.
is_empty: BOOLEAN
effective function
Is it empty ?
lower: INTEGER_32
constant attribute
upper: INTEGER_32
effective function
valid_index (index: INTEGER_32): BOOLEAN
effective function
item (index: INTEGER_32): O_
effective function
key (index: INTEGER_32): STRING
effective function
get_new_iterator_on_items: ITERATOR[O_]
effective function
get_new_iterator_on_keys: ITERATOR[STRING]
effective function
key_map_in (buffer: COLLECTION[STRING])
effective procedure
Append in buffer, all available keys (this may be useful to speed up the traversal).
item_map_in (buffer: COLLECTION[O_])
effective procedure
Append in buffer, all available items (this may be useful to speed up the traversal).
update
deferred procedure
Update the repository objects.
commit
deferred procedure
Commit all the repository objects to the physical store.
is_connected: BOOLEAN
deferred function
True if the repository is connected to a physical store.
is_updateable: BOOLEAN
deferred function
True if the repository can be updated from data in the physical store.
is_commitable: BOOLEAN
deferred function
True if the repository can be committed to the underlying physical store.
repository: HASHED_DICTIONARY[O_, STRING]
writable attribute
objects_are_expanded: BOOLEAN
effective function
valid_generating_type_for_internals (type: STRING): BOOLEAN
internals_from_generating_type (type: STRING): INTERNALS
valid_generating_type_for_native_array_internals (type: STRING): BOOLEAN
native_array_internals_from_generating_type (type: STRING, capacity: INTEGER_32): INTERNALS