comp.lang.ada
 help / color / mirror / Atom feed
From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Ada95 OOP Questions
Date: 1996/08/02
Date: 1996-08-02T00:00:00+00:00	[thread overview]
Message-ID: <dewar.838959126@schonberg> (raw)
In-Reply-To: 4tibbb$lrn@mailsrv2.erno.de


Thomas said

"No, it doesn't look better, at least to me.
(OK, this is a 5-liner; consider a 'real' program.)

Having been working on large-scale Ada projects for years, I have learned
to avoid the use of use as much as possible."

This seems an inappropriate knee-jerk reaction to use. Thomas did you
read the thread on the issue of use and dispatching calls. Remember that
your experience on "large scale Ada projects" has been based on a  totaly
different environment than we are talking about now, namely one in which
no dynamic dispatching occurs.

Generally in Ada 83, people like to avoid use so that when they see
Pkg.xyz they know that they can find the routine that will be called
in Pkg (the spec in the spec of Pkg and the code in the body).

The trouble is that with a dispatching call, you write Pkg.xyz and it
does NOT mean that the code is in Pkg -- as Laurent noted, it does
mean the relevant spec is in the spec of Pkg, but the whole point of
dispatching is to make sure that at compile time you have no idea
where the code that will actually be called resides, indeed the code
may be in a unit that has not been written yet.

A number of people find that confusing, and so are willing to onsider
using "use" for the dispatching case.

You may or may not agree, but it is certain that your previous Ada 83
experience is not a useful guide here.





  reply	other threads:[~1996-08-02  0:00 UTC|newest]

Thread overview: 46+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1996-07-28  0:00 Ada95 OOP Questions Spasmo
1996-07-28  0:00 ` David C. Hoos, Sr.
1996-07-28  0:00   ` Spasmo
1996-07-28  0:00 ` Andre Spiegel
1996-07-28  0:00   ` Spasmo
1996-07-29  0:00     ` Thomas Kendelbacher
1996-07-31  0:00       ` Spasmo
1996-08-01  0:00         ` Thomas Kendelbacher
1996-08-02  0:00         ` Gene Ouye
1996-08-01  0:00       ` Jon S Anthony
1996-07-30  0:00     ` David Wheeler
1996-07-31  0:00       ` Spasmo
1996-07-30  0:00     ` Ken Garlington
1996-08-04  0:00       ` Spasmo
1996-07-29  0:00 ` Andre Spiegel
1996-07-29  0:00   ` Thomas Kendelbacher
1996-08-02  0:00     ` Robert Dewar [this message]
1996-08-05  0:00       ` Thomas Kendelbacher
1996-08-06  0:00         ` Robert Dewar
1996-08-06  0:00           ` Thomas Kendelbacher
1996-08-06  0:00             ` Robert A Duff
1996-08-07  0:00               ` Robert Dewar
1996-08-08  0:00                 ` Robert A Duff
1996-08-09  0:00                   ` Robert Dewar
1996-08-12  0:00             ` Robert I. Eachus
1996-08-08  0:00           ` Theodore E. Dennison
1996-08-09  0:00             ` Robert Dewar
1996-08-12  0:00             ` Joel VanLaven
1996-08-06  0:00         ` Robert I. Eachus
1996-08-10  0:00         ` Chris Morgan
1996-07-29  0:00   ` David Wheeler
1996-07-30  0:00     ` Spasmo
1996-07-30  0:00     ` Spasmo
1996-07-30  0:00 ` Robert I. Eachus
1996-07-30  0:00 ` Andre Spiegel
1996-07-30  0:00 ` Andre Spiegel
1996-08-01  0:00 ` Jon S Anthony
1996-08-13  0:00 ` Eric C. Newton
1996-08-14  0:00 ` Ken Garlington
1996-08-14  0:00 ` Jon S Anthony
1996-08-14  0:00 ` Eric C. Newton
1996-08-21  0:00 ` Jon S Anthony
  -- strict thread matches above, loose matches on Subject: below --
1996-08-08  0:00 W. Wesley Groleau (Wes)
1996-08-20  0:00 Farshad Nayeri
1996-08-21  0:00 ` Jon S Anthony
1996-08-20  0:00 Farshad Nayeri
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox