[comp.lang.eiffel] repeating assertions ?

pw@tnoibbc.UUCP (Peter Willems) (11/30/90)

Consider the next example consisting of two classes A and B.
B inherits from A and uses A's Create feature:

class A
feature
	identifier: STRING;

	Create (s: STRING) is
		require
			s_exists: not s.Void
		do
			identifier := s
		ensure
			identifier = s
		end; -- Create
end -- class A

class B
inherit
	A
		rename Create as a_Create
feature
	Create (s: STRING) is
		do
			a_Create (s)
		end; -- Create
end -- class B

Question: should class B repeat the assertions specified with the
Create feature in class A ?
If not than essential class interface information will be omitted
in the documentation provided by flat and short.
However, repeating this information seems contradictory with the
object-oriented rule of reusability.

Any suggestions ?
-- 
Peter Willems : TNO - IBBC                    INTERNET : pw@tnoibbc
              : PO-box 49                     DOMAIN   : pw@ibbc.tno.nl
              : 2600 AA  Delft                FAX      : +31 15 843990
              : the Netherlands               VOICE    : +31 15 842032