-- Compiler GriffinFileDefs
-- Stone, April 16, 1980  10:15 PM
-- Tiberi October 28, 1979  4:49 PM
-- interface module for griffin file creation


GriffinFileDefs:  DEFINITIONS =

BEGIN

FigureNumber: TYPE = CARDINAL [1 .. 100];

GriffinFileError:  SIGNAL;

OpenPortfolio: PROCEDURE [filename: STRING, createok: BOOLEAN ← FALSE] RETURNS [BOOLEAN];

ClosePortfolio: PROCEDURE;

DeletePortfolio: PROCEDURE;

ReadFigure: PROCEDURE [fignum: FigureNumber];

ReplaceFigure: PROCEDURE [fignum: FigureNumber] RETURNS [BOOLEAN];

DeleteFigure: PROCEDURE [fignum: FigureNumber];

AddFigure: PROCEDURE [fignum: FigureNumber] RETURNS [BOOLEAN];

IsTail: PROCEDURE [s1, s2: STRING] RETURNS [CARDINAL];

END .