comp.lang.ada
 help / color / mirror / Atom feed
* How would you override this???
@ 1998-05-14  0:00 Dale Stanbrough
  1998-05-14  0:00 ` Robert Dewar
  0 siblings, 1 reply; 2+ messages in thread
From: Dale Stanbrough @ 1998-05-14  0:00 UTC (permalink / raw)



package Commands is

   procedure Execute is abstract;

end Commands;


This compiles with Gnat 3.10, but what does it mean? Could it
be overridden, and how would you override it?


Dale




^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: How would you override this???
  1998-05-14  0:00 How would you override this??? Dale Stanbrough
@ 1998-05-14  0:00 ` Robert Dewar
  0 siblings, 0 replies; 2+ messages in thread
From: Robert Dewar @ 1998-05-14  0:00 UTC (permalink / raw)



<<package Commands is

   procedure Execute is abstract;

end Commands;


This compiles with Gnat 3.10, but what does it mean? Could it
be overridden, and how would you override it?
>>


It does not mean much, but it does not mean nothing. For example, it
means that a child of Commands will not be able to have use visibility
on a parameterless procedure Execute from a with'ed package.

But why should it mean antying? There are lots of ways to write
meaning;less nonsense in any language.

   type x is range 1 .. 0;                                            
   for x'Size use 0;                                                  
                                                                      
does not seem very meaningful, but is certainly legal!                
                                                                      





^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~1998-05-14  0:00 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1998-05-14  0:00 How would you override this??? Dale Stanbrough
1998-05-14  0:00 ` Robert Dewar

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