Re: Ada Interfaces and the Liskov Substitution Principle

[Robert A Duff <bobduff@shell01.TheWorld.com>]

Maciej Sobczak <see.my.homepage@gmail.com> writes:

> You can do this either with access variables or with initialization of
> class wide type (which is *not* an assignment).

Well, actually, in Ada terminology, an initialization is an assignment.
There are two kinds of assignment: initialization, and
assignment_statement.  I don't particularly like that terminology, but
it's what the RM says.

> I was talking about real assignment ...

You're talking about an assignment_statement.  Best to stick to the
terms "initialization" and "assignment_statement" to avoid confusion.
And avoid the term "assignment" entirely.  ;-)

I'm just nitpicking your terminology -- I agree with your point that
there's a big difference between initialization (which creates a new
object out of whole cloth) and assign_stm (which overwrites the
left-hand side).

- Bob