<> <> <> <> 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.