Re: Invariant rule

Article View: comp.lang.eiffel

Article #1571

#1571

From: Bertrand Meyer
Date: Fri, 16 Feb 1990 20:55

7 lines
678 bytes

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

Technical Details

Message-ID: <247@eiffel.UUCP>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!tut.cis.ohio-state.edu!ucsd!hub!eiffel!bertrand

References: <240@eiffel.UUCP> <120013@gore.com>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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

Reply to Parent Message