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.