<> <> <> <> <> <> <> <> <> <> <> <> <> <> <> <> <> <> DIRECTORY CD USING [Design, Instance, InstanceList, PropList], Rope USING [ROPE]; CDSatellites: CEDAR DEFINITIONS = BEGIN ROPE: TYPE = Rope.ROPE; InstanceList: TYPE = CD.InstanceList; satellitesProp: ATOM; <> maxGroupIdProp: ATOM; <> groupIdProp: ATOM; <> AddSatellite: PROC [design: CD.Design, master: CD.Instance, satellite: CD.Instance]; <> <<>> RemoveSatellite: PROC [world: InstanceList, satellite: CD.Instance]; <> <<>> GetSatellites: PROC [master: CD.Instance] RETURNS [satellites: InstanceList _ NIL]; <> <<>> GetSatelliteRopes: PROC [masterProps: CD.PropList] RETURNS [ropes: LIST OF ROPE _ NIL]; <> EnforceInvariants: PROC [design: CD.Design, world: InstanceList]; <> END.