Re: Ada Interfaces and the Liskov Substitution Principle

Dmitry A. Kazakov a écrit :
On Thu, 24 May 2007 20:27:25 +0200, Pascal Obry wrote:

Randy Brukardt a écrit :
Right. The most general type of interface is a limited interface; every
interface should be declared limited if possible. (We didn't make that the
default solely because it would be inconsistent with the rest of the
language.)
Well a task type is limited by default, idem for a protected object types.

Randy probably meant that If it were limited then one would need to
introduce "not limited" qualifier to be able to declare a non-limited
interface. (In addition to awful "not null")

Yep, reading the message again I think you're right.

Thanks,
Pascal.

--

--|------------------------------------------------------
--| Pascal Obry Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--| http://www.obry.net
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver wwwkeys.pgp.net --recv-key C1082595
.

Relevant Pages

  • Re: Damn you, FEDEX! or Nikon D40 lost in Springfield, MO blackhole.
    ... the 2 mp Mavica he had been using with a Nikon D40. ... After shopping around, he got me to order one for him. ... The shipper had it insured, but from what I have read it could take weeks to sort this crap out. ... You may get your insurance from FedEx and a couple weeks later they find it and deliver it. ...
    (alt.photography)
  • Re: Argggh... Killed by death ray with MR?
    ... this is not inconsistent. ... In puzzle games(i.e. ... the complexity of the interface, in which case it is valid to point out ... shield, that's what I'd expect and I think most other people would ...
    (rec.games.roguelike.nethack)
  • Re: An Alternative Modest PARM Proposal
    ... You're inconsistent in your assumptions. ... Some JCL programmers won't take responsibility ... ... interface requirements of any program they may call are met. ... for ensuring that a program's interface requirements, ...
    (bit.listserv.ibm-main)
  • Re: Convert file in a dir to lower case
    ... Because echo is inconsistent from system to system. ... especially wrt the commercial *nix vendors. ... echo's interface ...
    (comp.os.linux.misc)
  • Re: Hidden Richness in Electromagnetism
    ... aren't all EM waves 'transverse'? ... > However, the transverse wave has a function, which cancels the ... Now when we cancel the normal wave, ... > that cancel the longitudinal wave? ...
    (sci.physics)