DIRECTORY AMTypes USING[TV, Type], BcdDefs USING[VersionStamp, NullVersion], Rope USING[ROPE], WorldVM USING [World]; AMMiniModel: CEDAR DEFINITIONS = BEGIN OPEN AMTypes, Rope; GetInterfaceRecord: PROC[defsName: ROPE, world: WorldVM.World] RETURNS[TV]; GetInterfaceRecordFromType: PROC[type: Type, world: WorldVM.World] RETURNS[TV]; ImplementorName: PROC[defsName, itemName: ROPE, world: WorldVM.World] RETURNS[ROPE]; GetInterfaceRecordNames: PROC[world: WorldVM.World] RETURNS[LIST OF ROPE]; AcquireIRType: PROC[defsName: ROPE, version: BcdDefs.VersionStamp _ BcdDefs.NullVersion] RETURNS[type: Type]; END. êAMMiniModel.Mesa last modified on July 23, 1983 3:36 pm by Paul Rovner If version = BcdDefs.NullVersion then the local file defsName.bcd will be used (whether or not it corresponds to any interface record in the local world). ÊO˜J˜Jšœ™Jšœ5™5J˜šÏk ˜ Jšœœœ˜Jšœœ˜)Jšœœœ˜Jšœœ ˜J˜—šœ œ ˜Jšœœœ˜J˜šÏnœœ œ˜>Jšœœ˜ —J˜šžœœ"˜BJšœœ˜ J˜—šžœœœ˜EJšœœ˜J˜—šžœœ˜3Jšœœœœ˜J˜Jšœ›™›—šž œœ œ6˜XJšœ ˜J˜—J˜—Jšœ˜J˜J˜—…—n§