CLASS LOG Part: 1/1
TYPE OF OBJECT
Manages the storage and retrieval of events that are reported by various parts of the system framework and/or the application built on top of it.
INDEXING
cluster: EVENTS
created: 2000-07-19 Joseph Kiniry
revised: $Id: LOG.html 1954 2001-07-26 07:01:23Z kiniry $
Queries Which events meet a specified criteria?
What is the list of all event sources?
Commands Create event.
Store event.
Delete event.
Clear event log.
Delete events meeting specified criteria.
Export event log to a file.
Import event log from a file.
Constraints No event appears twice in a given event log; each event must be unique.
The event-log must be able to import a log-file exported by any event-log.
The event-log must be able to export a log-file that can be imported by any event-log.