-- RandomCodeDragonMemory.mesa  last edited by Sturgis: October 10, 1984 4:07:44 pm PDT


DIRECTORY
RandomCodeRandom USING[RandomState],
RandomCodeTypes USING[WordType],
IO USING[STREAM];

RandomCodeDragonMemory: CEDAR DEFINITIONS =

BEGIN OPEN RandomCodeRandom, RandomCodeTypes, IO;

MemoryLayout: TYPE = REF MemoryLayoutBody;
MemoryLayoutBody: TYPE;

CreateMemory: PROCEDURE[baseByteAddr: INT, rootRecordType: WordType, randomState: RandomState] RETURNS[MemoryLayout];

TypeCheckMemory: PROCEDURE[layout: MemoryLayout];

GenMemoryBytes: PROCEDURE[layout: MemoryLayout, oneByte: PROC[[0..255]]];

ShowMemory: PROCEDURE[layout: MemoryLayout, on: IO.STREAM];

TearDownProcedures: PROCEDURE[layout: MemoryLayout];

END.
MODULE HISTORY

Initial by: Sturgis,   October 10, 1984 4:09:44 pm PDT.