INTERFACE MxRep;

IMPORT Mx, MxMap, MxVSSet, MxVS;

REVEAL
  Mx.LinkSet = BRANDED "Mx.LinkSet 1.0" REF LinkRec;

TYPE
  LinkRec = RECORD
    interfaces    : MxMap.T   := NIL; (* name -> Unit *)
    modules       : MxMap.T   := NIL; (* name -> Unit *)
    virtuals      : MxMap.T   := NIL; (* name -> Unit *)
    clients       : MxMap.T   := NIL; (* name -> SET OF Unit *)
    vs_exports    : MxVSSet.T := NIL; (* vs -> vs *)
    vs_impls      : MxVSSet.T := NIL; (* vs -> vs *)
    exported_types: MxMap.T   := NIL; (* type name -> BOOLEAN *)
  END;

PROCEDURE UnitName (u: Mx.Unit): TEXT;

PROCEDURE GetVirtualUnit (x: Mx.LinkSet;  nm: Mx.Name;
                          client: Mx.Unit): Mx.Unit;

PROCEDURE GetStamp  (x     : Mx.LinkSet;
                     set   : MxVSSet.T;
                     vs    : MxVS.T;
          VAR(*OUT*) unit  : Mx.Unit;
          VAR(*OUT*) stamp : MxVS.T);

PROCEDURE GetExportedObject (x       : Mx.LinkSet;
                             o       : Mx.ObjectType;
                  VAR(*OUT*) unit    : Mx.Unit;
                  VAR(*OUT*) object  : Mx.ObjectType);

PROCEDURE GetExportedRevelation (x    : Mx.LinkSet;
                                 r    : Mx.Revelation;
                      VAR(*OUT*) unit : Mx.Unit;
                      VAR(*OUT*) rev  : Mx.Revelation);

END MxRep.