## Код:
```
PROCEDURE show*;
      VAR v, subv: Views.View; m: Models.Model; rd: FormModels.Reader; 
   BEGIN
      v := MtBrowser.FrontFocus();
      ASSERT(v # NIL, 20);
      m := v.ThisModel();
      ASSERT(m # NIL, 21);
      WITH m: FormModels.Model DO 
            rd := m.NewReader(NIL); 
            rd.ReadView(subv);
            WHILE (subv # NIL) & ~(subv IS TextViews.View) DO 
               rd.ReadView(subv) 
            END; 
            IF subv # NIL THEN
               log.String('text view'); log.Ln;
            END;
      END;
   END show;
```

## Код:
```
TRAP 21  (precondition violated)

 TestCont.show   [0000003AH] 
   .m   Models.Model   NIL
   .rd   FormModels.Reader   NIL
   .subv   Views.View   NIL
   .v   Views.View   [011FAED0H]
```
