Quote: if redeclare an inherited routine, can weaken its precondition or strengthen its postcondition

Quotation Skeleton

A redeclaration [of a routine in a sub-class] may weaken the original's precondition … [By default, a routine inherits the original assertions. The programmer can modify them by 'require else' and 'ensure then' clauses.]   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: type inheritance as reuse (27 items)
Topic: requirement specification by assertion (28 items)