Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!tut.cis.ohio-state.edu!ucsd!hub!eiffel!bertrand
From: bertrand@eiffel.UUCP (Bertrand Meyer)
Newsgroups: comp.lang.eiffel
Subject: Re: Invariant rule
Message-ID: <247@eiffel.UUCP>
Date: 16 Feb 90 20:55:56 GMT
References: <240@eiffel.UUCP> <120013@gore.com>
Organization: Interactive Software Engineering, Santa Barbara CA
Lines: 7

The question asked in <120013@gore.com> by jacob@gore.com (Jacob Gore)
suggests its own answer: if a routine appears in both the creation clause
and the export clause, it should satisfy both of the corresponding formal
constraints.
-- 
-- Bertrand Meyer
bertrand@eiffel.com