<> <> <> <> <> <> <> <> <> <> <> <> <> <> <> <> DIRECTORY CD USING [Design, Instance, InstanceList], Rope USING [ROPE]; CDSatellites: CEDAR DEFINITIONS = BEGIN ROPE: TYPE = Rope.ROPE; InstanceList: TYPE = CD.InstanceList; satellitesProp: ATOM; <> maxGroupIdProp: ATOM; <> groupIdProp: ATOM; <> commentProp: ATOM; <> GetSatellites: PROC [from: REF, filterComments: BOOL _ TRUE] RETURNS [sats: InstanceList]; <> <<>> GetSatelliteRopes: PROC [from: REF, filterComments: BOOL _ TRUE] RETURNS [ropes: LIST OF ROPE _ NIL]; <> EnforceInvariants: PRIVATE PROC [design: CD.Design, world: InstanceList] RETURNS [oSats: InstanceList]; <> <<>> EnforceDesignInvariants: PROC [design: CD.Design]; <> <<>> MakeInstanceSatellite: PROC [design: CD.Design, master: CD.Instance, text: CD.Instance]; <> <<>> END.