Definition des Moduls Shards

  DEFINITION Shards;

     IMPORT Objects, PersistentDisciplines;

     TYPE
        Pot = POINTER TO PotRec;
        PotRec = RECORD (PersistentDisciplines.ObjectRec) END;

        Lid = POINTER TO LidRec;
        LidRec = RECORD (PersistentDisciplines.ObjectRec) END;

        FitsProc = PROCEDURE (pot: Pot; lid: Lid): BOOLEAN;
        SupplyProc = PROCEDURE (pot: Pot; VAR lid: Lid): BOOLEAN;

        Interface = POINTER TO InterfaceRec;
        InterfaceRec =
           RECORD
              (Objects.ObjectRec)
              fits: FitsProc;
              supply: SupplyProc;                 (* may be NIL *)
           END;

     PROCEDURE Fits(pot: Pot; lid: Lid): BOOLEAN;

     PROCEDURE Supply(pot: Pot; VAR lid: Lid): BOOLEAN;

     PROCEDURE Init(pot: Pot; if: Interface);

     PROCEDURE CombineLids(VAR lid: Lid; lid1, lid2: Lid);

     PROCEDURE CreateSimplePot(VAR pot: Pot; permissive: BOOLEAN);

     PROCEDURE CreateSomeLid(VAR lid: Lid);

  END Shards.