[Group Index|Full Index]
ECLiPSe Kernel: Recorded Database
- abolish_record(+Key)
-
Remove the local record Key and all its recorded values.
- current_record(?Key)
-
Succeeds if Key is the key of a recorded item.
- erase(+DBRef)
-
Succeeds if the database reference DBRef designates a term recorded in the
indexed database and this term is successfully erased.
- erase(+Key, ?Value)
-
Succeeds if the term Value associated with key Key is removed as an entry
in the indexed database.
- erase_all(+Key)
-
All the the values associated with key Key are removed from the indexed
database.
- is_record(+Key)
-
Succeeds if Key is a key of a recorded item.
- local_record(+Key)
-
Declare the record with key Key to be local to the caller module
- record(+Key, ?Value)
-
Records the term Value at the end of key Key in the indexed database.
- recorda(+Key, ?Value)
-
Records the term Value at the beginning of key Key in the indexed database.
- recorda(+Key, ?Value, -DBRef)
-
Records the term Value at the beginning of key Key in the indexed database.
- recorded(+Key, ?Value)
-
Succeeds if the term Value has been recorded in the indexed database under
the key Key.
- recorded(+Key, ?Value, -DBRef)
-
Succeeds if the term Value has been recorded in the indexed database under
the key Key and DBRef is its unique reference.
- recorded_list(+Key, ?List)
-
Succeeds if the List is the list of all terms that are currently recorded
in the indexed database under the key Key.
- recordz(+Key, ?Value)
-
Records the term Value at the end of key Key in the indexed database.
- recordz(+Key, ?Value, -DBRef)
-
Records the term Value at the end of key Key in the indexed database.
- referenced_record(+DBRef, ?Value)
-
Succeeds if DBRef is the database reference of a currently recorded term
and this term unifies with Value
- rerecord(+Key, ?Value)
-
Erases all entries recorded under the key Key and replaces them with the
given value Value.