Path: utzoo!utgpu!jarvis.csri.toronto.edu!rutgers!tut.cis.ohio-state.edu!zaphod.mps.ohio-state.edu!sunybcs!boulder!gore!jacob
From: jacob@gore.com (Jacob Gore)
Newsgroups: comp.lang.eiffel
Subject: Questions on Eiffel inheritance and assertions
Message-ID: <120002@gore.com>
Date: 24 Jan 90 02:31:52 GMT
Reply-To: jacob@gore.com (Jacob Gore)
Organization: Gore Enterprises
Lines: 21

Could someone clarify these details of Eiffel:

1.  Are non-exported ("secret", right?) routines inheritable?

2.  Is there a short way to include the precondition in the postcondition?
For example, is there a shorthand for:

	require
		"a long list of assertions"
	do
		"routine body"
	ensure
		"same list of assertions as in the require clause"
		"some new assertions"
	end

(I don't have an Eiffel compiler to try these; my computer is a NeXT.)

Jacob
--
Jacob Gore		Jacob@Gore.Com			boulder!gore!jacob