<> <> <> DIRECTORY AMModel USING[Context, Section], AMTypes USING[TV], PrincOps USING[BytePC]; AMModelBridge: DEFINITIONS = BEGIN OPEN AMModel, PrincOps, AMTypes; LoadedSection: TYPE = RECORD[section: Section, context: --prog--Context, pc: BytePC]; <> <> <> <> LoadedSectionForProc: PROC[tv: TV--proc--] RETURNS[LoadedSection]; ProcFromLoadedSection: PROC[proc: LoadedSection] RETURNS[TV--proc--]; <<>> <> LoadedSectionForProgPC: PROC[prog: Context, pc: BytePC] RETURNS[LoadedSection]; <> ContextForIR: PROC[tv: TV--interface record--] RETURNS[Context] = INLINE {RETURN[tv]}; IRFromContext: PROC[context: Context--interface--] RETURNS[TV--interface record--] = INLINE {RETURN[context]}; ContextForFrame: PROC[tv: TV--globalFrame or localFrame--] RETURNS[Context] = INLINE {RETURN[tv]}; FrameFromContext: PROC[context: Context--prog, proc--] RETURNS[TV--globalFrame, localFrame--] = INLINE {RETURN[context]}; END.