-- RandomCodeRandomProcedures.mesa  last edited by Sturgis: October 8, 1984 10:41:44 am PDT

DIRECTORY
    IO USING[STREAM],
    RandomCodeRandom USING[RandomState],
    RandomCodeTypes USING[SeqType, TypeSet],
    
    Rope USING[ROPE];

RandomCodeRandomProcedures: CEDAR DEFINITIONS =
BEGIN OPEN RandomCodeRandom, RandomCodeTypes;

ProcedureBody: TYPE = REF ProcedureBodyData;
ProcedureBodyData: TYPE;

GenerateRandomProcedure: PROCEDURE[allowedArgs, possibleResults: SeqType, typeSet: TypeSet, randomState: RandomState] 
RETURNS[ProcedureBody, INT];


TypeCheckProcedure: PROCEDURE[ProcedureBody];
    -- type checks all arcs of all nodes reachable from the entry node of the procedure

AssignRelativeProcedureNodeAddresses: PROCEDURE[procedure: ProcedureBody] RETURNS[size: INT]; -- may have to install some extra 
jumps, or modify some conditional jumps

TearDownProcedure: PROCEDURE[ProcedureBody];

PrintProcedureGraph: PROCEDURE[title: Rope.ROPE, procedure: ProcedureBody, on: IO.STREAM];

GenProcedureBytes: PUBLIC PROCEDURE[procedure: ProcedureBody, oneByte: PROCEDURE[[0..255]]];

END.
MODULE HISTORY

Initial by: Sturgis,   October 8, 1984 10:42:30 am PDT, from RandomCodeInternal