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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,57c80c1c1b1f8820
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
Path: 
 g2news1.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!newsfeed.straub-nv.de!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Comparison : Ada and UML =?utf-8?Q?=28comparison=E2=80=A6?=
 indeed)
Date: Sun, 31 Oct 2010 07:11:35 +0000
Organization: A noiseless patient Spider
Message-ID: <m2hbg225w8.fsf@pushface.org>
References: <op.vlffz7vwule2fv@garhos>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Info: mx01.eternal-september.org;
 posting-host="dFCm8HWntFqmDIilBLqEJQ";
	logging-data="15221"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18oET0tcybWNW+A+4g6YXnJZNR8zf2glBw="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (darwin)
Cancel-Lock: sha1:giETW9/aQvBy3jBZMiA+SkotYxA=
	sha1:qAMeL9mratPz1tBa7skkm1vGFvw=
Xref: g2news1.google.com comp.lang.ada:15011
Date: 2010-10-31T07:11:35+00:00
List-Id: <comp.lang.ada>

"Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr> writes:

> Back to a famous topic of OO with Ada vs OO with other languages; just
> that here, let's replace “other languages” by UML.

I've just looked at the UML 2.0 Superstructure Specification 05-07-04,
and in section 7.3.6, Operation, under Semantics (on page 117 of 709!)
it says

  "An operation may be redefined in a specialization of the featured
  classifier. This redefinition may specialize the types of the owned
  parameters, add new preconditions or postconditions, add new raised
  exceptions, or otherwise refine the specification of the operation."

So now you know (well, in my case, now I _don't_ know!)