MODULE XmlcoreScanner;
TYPE

   Reader = POINTER TO ABSTRACT RECORD
      <some fields>
   END;

   StdReader = POINTER TO RECORD (Reader)
      <some fields>
      rider : Stores.Reader;
   END;

   Scanner = POINTER TO RECORD
      <some fields>
      rider- : Reader;
   END;
   
   Directory = POINTER TO ABSTRACT RECORD END;   
   
   PROCEDURE (rd : Reader) ConnectTo(source : ANYPTR), NEW, ABSTRACT;
   
   PROCEDURE (rd : StdReader) ConnectTo(source : ANYPTR);
   BEGIN
      ASSERT(source IS Stores.Reader) (* ну, или в зависимости от типа предпринимать действия *)
      rd.rider := source;
      <some actions>
   END ConnectTo;
   
   PROCEDURE (d : Directory) NewScanner(reader : Reader), NEW, ABSTRACT;
   PROCEDURE ((d : Directory) NewReader(source : ANYPTR), NEW, ABSTRACT;
   
   (* При работе нужно будет сделать что-то типа: *)
   
   XmlcoreScanner.dir.NewScanner(XmlcoreScanner.dir.NewReader(source));

MODULE XmlcoreFormatter;

TYPE

   Writer = POINTER TO ABSTRACT RECORD
      <some fields>
   END;
   
   StdWriter = POINTER TO RECORD (Reader)
      <some fields>
      rider : Stores.Writer;
   END;

   Formatter = POINTER TO RECORD
      <some fields>
      rider- : Writer;
   END;
   
   Directory = POINTER TO ABSTRACT RECORD END;   
   
   PROCEDURE (wr : Writer) ConnectTo(source : ANYPTR), NEW, ABSTRACT;
   
   PROCEDURE (wr : StdWriter) ConnectTo(source : ANYPTR);
   BEGIN
      ASSERT(source IS Stores.Writer) (* типы выдуманные, названия могут несовпадать*)
      wr.rider := source;
      <some actions>
   END ConnectTo;
   
   PROCEDURE (d : Directory) NewFormatter(writer : Writer), NEW, ABSTRACT;
   PROCEDURE ((d : Directory) NewWriter(source : ANYPTR), NEW, ABSTRACT;
   
   (* При работе нужно будет сделать что-то типа: *)
   
   XmlcoreFormatter.dir.NewFormatter(XmlcoreFormatter.dir.NewWriter(source));