(* ------------------- VERSION 14 06.03.86 ------------------- *)
PACKET archive DEFINES
archive ,
clear ,
release ,
format ,
check ,
reserve :
LET clear code = 18 ,
reserve code = 19 ,
free code = 20 ,
check read code = 22 ,
format code = 23 ;
TASK PROC archive :
task ("ARCHIVE")
ENDPROC archive ;
PROC archive (TEXT CONST archive name, TASK CONST task) :
call (reserve code, archive name, task)
ENDPROC archive ;
PROC reserve (TEXT CONST message, TASK CONST task) :
call (reserve code, message, task)
END PROC reserve;
PROC reserve (TASK CONST task) :
call(reserve code, "", task)
END PROC reserve;
PROC archive (TEXT CONST archive name, INT CONST station) :
call (reserve code, archive name, station/ "ARCHIVE")
ENDPROC archive ;
PROC archive (TEXT CONST archive name):
call (reserve code, archive name, archive)
ENDPROC archive ;
PROC release (TASK CONST task) :
call (free code, "", task)
ENDPROC release ;
PROC clear (TASK CONST task) :
call (clear code, "", task)
ENDPROC clear ;
PROC format (TASK CONST task) :
format (0, task)
ENDPROC format ;
PROC format (INT CONST code, TASK CONST task) :
call (format code , text (code), task)
ENDPROC format ;
PROC check (TEXT CONST file name, TASK CONST task) :
call (check read code, file name, task)
ENDPROC check ;
PROC check (THESAURUS CONST nameset, TASK CONST task) :
do (PROC (TEXT CONST, TASK CONST) check, nameset, task)
ENDPROC check ;
ENDPACKET archive ;