(*******************************************************************) (** Release history: **) (** 17th January 1985 version 1.0.0 First port to new world **) (*******************************************************************) DEFINITION MODULE GenDict; (* Title : GenDict LastEdit : Wed Jan 9 16:50:46 1985 Author : Graham Toal Acorn Computers VLSI Design Aids Group This is called internally from 'Defaults', but is sufficiently general as to be used from other programs. *) FROM Streams IMPORT Stream; FROM Dict IMPORT DICT; EXPORT QUALIFIED ReadDict; PROCEDURE ReadDict (InputStream :Stream; MasterDict :DICT); (*------------------------------------------------------------------------*) (* This procedure reads a file containing a correspondence between *) (* a set of key-strings, and a set of values which may be either *) (* integers or quoted strings. The Dictionary hierarchy created *) (* is two-level: the file may contain entries for several dictionaries; *) (* each dictionary itself is first looked for in "MasterDict". The *) (* dictionaries must already exist else a warning will be issued on *) (* the system error stream. *) (*------------------------------------------------------------------------*) END GenDict.