From: Anh Vo <anhvofrcaus@gmail.com>
Subject: Re: My bug or else regarding Visibility Rules
Date: Tue, 2 Apr 2013 11:17:23 -0700 (PDT)
Date: 2013-04-02T11:17:23-07:00 [thread overview]
Message-ID: <e703d782-2e4c-4fe9-bcae-218abcc170f1@googlegroups.com> (raw)
In-Reply-To: <lywqslgwyj.fsf@pushface.org>
On Tuesday, April 2, 2013 1:26:12 AM UTC-7, Simon Wright wrote:
Other recipients:
Anh Vo <anhvo...@gmail.com> writes:
> This is (partly) why we now have expression functions; specify the
> function in the public part, use it in a pre/postcondition, complete it
> with an expression function in the private part when Buffer etc. are
> visible.
It is dangerous make internal data visible in this case. after careful consideration, I decided to take away part of the post-conditions rather than exposing them. Following the philosophy of Ada, I would not leave any possibilities for the clients to accidently mess it up (not allowing clients to shoot themselve in the foot)
next prev parent reply other threads:[~2013-04-02 18:17 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-03-28 19:54 My bug or else regarding Visibility Rules Anh Vo
2013-03-28 20:58 ` Adam Beneschan
2013-03-28 22:03 ` Randy Brukardt
2013-03-30 6:05 ` Anh Vo
2013-04-02 0:56 ` Randy Brukardt
2013-04-02 1:52 ` Anh Vo
2013-04-02 8:26 ` Simon Wright
2013-04-02 18:17 ` Anh Vo [this message]
2013-04-02 20:16 ` Simon Wright
2013-04-03 23:21 ` Anh Vo
2013-04-04 8:19 ` Simon Wright
2013-04-04 19:21 ` Anh Vo
2013-04-04 19:47 ` Simon Wright
2013-04-02 22:04 ` Randy Brukardt
2013-03-28 22:06 ` Anh Vo
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox