comp.lang.ada
 help / color / mirror / Atom feed
From: rod@praxis-cs.co.uk (Rod Chapman)
Subject: Re: ANNOUNCE: SPARK toolset 6.1 now available
Date: 12 Jul 2002 01:52:43 -0700
Date: 2002-07-12T08:52:43+00:00	[thread overview]
Message-ID: <ba18d5cb.0207120052.10747fd6@posting.google.com> (raw)
In-Reply-To: 4519e058.0207110604.62691233@posting.google.com

dennison@telepath.com (Ted Dennison) wrote in message news:
> By "dispatching" do you mean runtime polymorphisim as opposed to
> compile-time polymorphisim?

Correct. Run-time polymorhpism is not permitted.  Calling an
inherited (or overridden) basic operation with a specific tagged
subtype is OK.
 - Rod



  reply	other threads:[~2002-07-12  8:52 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-07-11  7:57 ANNOUNCE: SPARK toolset 6.1 now available Rod Chapman
2002-07-11 14:04 ` Ted Dennison
2002-07-12  8:52   ` Rod Chapman [this message]
2002-07-12 20:14     ` Randy Brukardt
2002-07-13 13:37       ` Simon Wright
2002-07-13 14:15         ` Robert A Duff
2002-07-13 18:11           ` Simon Wright
2002-07-13 20:15           ` Rod Chapman
2002-07-14  0:27             ` Randy Brukardt
replies disabled

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