DEFINITION MODULE Commands;  (* COMMANDS.DEF *)

EXPORT QUALIFIED insert, delete, change, print, directory;

PROCEDURE insert(ident:ARRAY OF CHAR; termch:CHAR);
(* This inserts a new entry into the list, if one does not
   already exist. termch is the character that terminated the
   entry of the ident. *)

PROCEDURE delete(ident:ARRAY OF CHAR);
(* This deletes the entry, if it exists. *)

PROCEDURE print(ident:ARRAY OF CHAR);
(* This prints out the entry, if it exists. *)

PROCEDURE directory;
(* This gives a list of the idents of all the entries in the list. *)

PROCEDURE change(ident:ARRAY OF CHAR;termch:CHAR);
(* This will change an existing entry, if it exists. termch is needed as in
   the insert routine. *)

END Commands.
