Основы объектно-ориентированного проектирования


Наследование c ограничением


Определение: Наследование c Ограничением

Наследование c ограничением применимо, если экземпляры B являются экземплярами A, удовлетворяющими некоторому ограничению, выраженному, если это возможно, как часть инварианта B, не включенного в инвариант A. Любой компонент, введенный в B, должен быть логическим следствием добавленного ограничения. A и B должны быть оба отложенными или оба эффективными.

<


Начало  Назад  Вперед