TYPE
      View = POINTER TO RECORD (Views.View)
         showBorder: BOOLEAN
      END;
      
   PROCEDURE (v: View) Restore (f: Views.Frame; l, t, r, b: INTEGER);
      VAR w, h: INTEGER;
   BEGIN
      v.context.GetSize(w, h);
      IF v.showBorder THEN
         f.DrawRect(0, 0, w, h, 0, 0FF0000H)
      END
   END Restore;
   
   PROCEDURE (v: View) HandleCtrlMsg (f: Views.Frame; VAR msg: Controllers.Message; VAR focus: Views.View);
   BEGIN
      WITH msg: Controllers.MarkMsg DO
         v.showBorder := msg.show;
         Views.Update(v, Views.keepFrames)
      ELSE
      END   
   END HandleCtrlMsg;

| msg: Controllers.TrackMsg: v.select := ~v.select

 MODULE TestModels;
    TYPE
       StdModel = POINTER TO RECORD (Model)
          textModel-: TextModels.Model
       END;
       ....
       PROCEDURE (m: StdModel) SomeProc;
          VAR f: TextMappers.Formatter;
       BEGIN
          f.ConnectTo(m.textModel);
          f.WriteString('SomeProc'); f.WriteLn;
          m.text.RestoreDomain(m.text.Domain())
       END SomeProc;
       ....
       PROCEDURE New* (): Model;
          VAR m: StdModel;
       BEGIN
          NEW(m);
          m.textModel := TextModels.dir.New();
          RETURN m
       END New;
 END TestModels.
 
  MODULE TestViews;
     TYPE
         StdView = POINTER TO RECORD (View)
            textView: TextViews.View
         END
     ....
     PROCEDURE New* (): View;
        VAR v: StdView;
     BEGIN
        NEW(v);
        ...
        Stores.Join(v, m);
        v.textView := TextViews.dir.New(m.textModel);
        RETURN v
     END New;
  END TestViews.

PROCEDURE (v: StdView) Restore (...);
BEGIN
   (* а здесь textView и textModel в РАЗНЫХ ДОМЕНАХ *)
   ...
   Views.InstallFrame(f, v.textView, x, y, 0, TRUE);
   ...
END Restore;

PROCEDURE New* (m: TestModels.Model): View;
  VAR v: StdView;
BEGIN
  NEW(v); v.model := m; Stores.Join(v, m)
  v.textView := TextViews.dir.New(m.textModel);
  (* здесь textView и textModel в одном домене *)
END New;