> -- Kemet писал(а):
> EXTENSIBLE означает, что по отношению к процедуре базового типа у данной процедуры используются "расширенные" типы формальных параметров/результата, что позволяет не использовать громоздкие приведения типов. В данном конкретном случае EXTENSIBLE относится к результату, имеющему тип HostWindows.Window* = POINTER TO EXTENSIBLE RECORD (Windows.Window), тогда как тип результат метода базового типа - Windows.Window = POINTER TO ABSTRACT RECORDДругими словами, раз заложена возможность наследования HostWindows.Window, то и директория HostWindows.Directory должна иметь возможность создавать экземпляр потомка HostWindows.Window, так ведь?