<> <> <> <> DIRECTORY AMModel USING[Section], PrincOps USING[FrameCodeBase, BytePC], WorldVM USING[World]; AMModelLocation: DEFINITIONS = BEGIN OPEN AMModel, PrincOps, WorldVM; CodeLocation: TYPE = RECORD[codeBase: FrameCodeBase, pc: BytePC]; <> EntryLocations: PROC[section: Section] RETURNS[world: World, list: LIST OF CodeLocation]; <> ExitLocations: PROC[procedure: Section] RETURNS[world: World, list: LIST OF CodeLocation]; <> END.