Re: creation

Article View: comp.lang.eiffel

Article #1077

#1077

From: Charles Lindsey
Date: Fri, 22 Jan 1993 10:22

10 lines
864 bytes

In <memo.879182@cix.compulink.co.uk> wil@cix.compulink.co.uk (William Stuart-smith) writes:

>It seems correct to me. A creation procedure sets up the invariant of its
>class: It returns nothing and affects only its class, therefore the only
>'postcondition' (in the sense of the entire condition which is implied by the
>precondition for correctness) that applies pertains to the state of the class
>as a whole and is therefore the invariant.

Not at all. One might want to specify that a stronger condition that
the invariant should hole when an object was first created.

Technical Details

Message-ID: <C193I6.2Jz@clw.cs.man.ac.uk>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!mucs!clerew!chl

References: <memo.879182@cix.compulink.co.uk>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!mucs!clerew!chl
From: chl@clw.cs.man.ac.uk (Charles Lindsey)
Newsgroups: comp.lang.eiffel
Subject: Re: creation
Message-ID: <C193I6.2Jz@clw.cs.man.ac.uk>
Date: 22 Jan 93 10:22:53 GMT
References: <memo.879182@cix.compulink.co.uk>
Lines: 10

Reply to Parent Message