From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,57c80c1c1b1f8820,start
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
Path: 
 g2news2.google.com!news3.google.com!feeder.news-service.com!feeder.news-service.com!94.75.214.39.MISMATCH!aioe.org!not-for-mail
From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?=
 =?utf-8?Q?=29?=
 <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: 
 =?utf-8?B?Q29tcGFyaXNvbiA6IEFkYSBhbmQgVU1MIChjb21wYXJpc29u4oCmIGluZGU=?=
 =?utf-8?B?ZWQp?=
Date: Sun, 31 Oct 2010 07:22:45 +0100
Organization: Ada @ Home
Message-ID: <op.vlffz7vwule2fv@garhos>
NNTP-Posting-Host: gHYtk+mhCrTAX6LNXybaBQ.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes
Content-Transfer-Encoding: Quoted-Printable
X-Complaints-To: abuse@aioe.org
X-Notice: Filtered by postfilter v. 0.8.2
User-Agent: Opera Mail/10.63 (Win32)
Xref: g2news2.google.com comp.lang.ada:15980
Date: 2010-10-31T07:22:45+01:00
List-Id: <comp.lang.ada>

Hello all,

Back to a famous topic of OO with Ada vs OO with other languages; just  =

that here, let's replace =E2=80=9Cother languages=E2=80=9D by UML.

Recall of the case (exposed in many places to show how Ada in more clean=
ly  =

OO than so called pure-OO languages) : Let A and B be two classes. A  =

defines a method =E2=80=9Cbool A::compare (A other);=E2=80=9D (is that O=
K for the syntax ?  =

=E2=80=A6 I forget so much about C-plus-plus). Then, B  =

inherits/extends/specializes A, and thus get a method which is =E2=80=9C=
bool  =

B::compare (B other);=E2=80=9D. But the concrete corresponding ones woul=
d be from  =

Ada's point of view : =E2=80=9Cfunction Compare (Left, Righ : A) return =
Boolean;=E2=80=9D  =

in A class, and =E2=80=9Cfunction Compare (Left : B, Right : A) return B=
oolean;=E2=80=9D  =

in B class. Indeed, the receiver of the message in the case of B, is of =
 =

type B, while the parameter is still of type A, as defined in A (Eiffel =
 =

solved this with the =E2=80=9Clike=E2=80=9D keyword if my mind is right)=
.

OK, very nice, this shows how much Ada is superior at OO (and Eiffel two=
)  =

than other pure-OO languages; but that is not the topic : UML seems to d=
o  =

the same! And I just wonder if it can do another way. I wonder about it =
 =

for a personal purpose : I am actually trying to design a personal  =

transformation from UML to Ada. But I am not so much sure UML is good  =

enough for the purpose of modeling, while it has some interesting traits=
  =

(like popularity, availability of editors, and so on).

This use to be a topic here, when we talked about class and package in A=
da  =

vs UML. This one question is another one, which troubles me even a degre=
e  =

above the one of packages and classes.

By the way, if some ones can tell about HOOD here=E2=80=A6 (I am talking=
 about  =

abstract model so far, not method). How HOOD would represent this ? With=
  =

the same flaws or not ? (there are provision with Eclipse's Meta Languag=
e  =

framework, to create something based on HOOD I believe, if ever it prove=
  =

to be better here).

This is a symptomatic question to me.