<> <> <> <> <> <> <> <> <> <> <> <> <> <> <> <> <> <> 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; <> GetSatellites: PROC [from: REF, filterComments: BOOL _ TRUE] RETURNS [sats: InstanceList]; <> <<>> GetSatelliteRopes: PROC [from: REF, filterComments: BOOL _ TRUE] RETURNS [ropes: LIST OF ROPE _ NIL]; <> EnforceInvariants: PROC [design: CD.Design, world: InstanceList] RETURNS [oSats: InstanceList]; <> END.