Re: Type extension questions

[eachus@spectre.mitre.org (Robert I. Eachus)]

In article <D640KK.63D@ennews.eas.asu.edu> koehnema@enuxsa.eas.asu.edu (Harry Koehnemann) writes:


 >      class List {
 >	   public:  Set (...) { ...}
 >	   private: ...;
 >      };

    type List is new Set with private;

  >     class Stack : private List {
  >	   public:  Push() { ...}
  >	   private: ...;
  >     };

    type Stack is tagged private;

    procedure Push(...

  private

    type Stack is new List with...

 > BTW - I am by no means saying Ada95 should have included such a
 > feature (in fact, I am not a believer in restricting interfaces and
 > think that it clutters a design).  I'm just getting my Ada95 facts
 > straight.

   But it does include such a feature, the syntax is somewhat
different.

--

					Robert I. Eachus

with Standard_Disclaimer;
use  Standard_Disclaimer;
function Message (Text: in Clever_Ideas) return Better_Ideas is...