DIRECTORY
Icons USING [IconFlavor],
IO USING[STREAM],
Rope USING [ROPE]
;

DBIcons: CEDAR DEFINITIONS = BEGIN
EstablishIconDB: PROC [file: Rope.ROPE]; 
IconDB: READONLY Rope.ROPE; 
readOnly: READONLY BOOLEAN; 
RegisterIcon: PROC [iconName: Rope.ROPE, fileName: Rope.ROPE, index: CARDINAL]; 
IsRegistered: PROC[iconName: Rope.ROPE _ NIL, fileName: Rope.ROPE _ NIL, index: CARDINAL _ LAST[CARDINAL]] RETURNS[name: Rope.ROPE, 
file: Rope.ROPE, i: CARDINAL];
GetIcon: PROC [iconName: Rope.ROPE, default: Icons.IconFlavor _ unInit] RETURNS [Icons.IconFlavor];

InvalidateCache: PROC [iconName: Rope.ROPE _ NIL];
WriteCatalogue: PROC[ file: Rope.ROPE ];
ReadCatalogue: PROC[ file: Rope.ROPE, errlog: IO.STREAM _ NIL ];
Failed: ERROR [why: Failure, reason: Rope.ROPE];

Failure: TYPE = {badSegment, noSuchIcon, fileNotFound, invalidIndex};

END.