On Apr 3, 5:02 pm, "Dmitry A. Kazakov" <mail...@[EMAIL PROTECTED]
>
wrote:
> On Thu, 3 Apr 2008 08:29:28 -0700 (PDT), Graham wrote:
> > Hi,
> > I'm writing a little financial application. I want to model a
> > stream of payments made at arbitrary periods (the periods are positive
> > numbers; they might be actual dates later on).
>
> > I think I want to declare this:
>
> > type Payment_Stream is private;
>
> > procedure Add_To_Payment_Stream(
> > stream : in out Payment_Stream;
> > period : Positive;
> > amount : Money );
>
> > ......
>
> > and then privately declare the payment stream as an Ordered Map, like:
>
> > private
>
> > package Payment_Stream_Package is new Ada.Containers.Ordered_Maps(
> > Element_Type => Money,
> > Key_Type => Positive );
>
> > type Payment_Stream is new Payment_Stream_Package.Map;
>
> type Payment_Stream is new Payment_Stream_Package.Map with null
record;
>
> > but I can't do this. Gnat complains that "type derived from tagged
> > type must have extension".
>
> --
> Regards,
> Dmitry A. Kazakovhttp://www.dmitry-kazakov.de
Oh, I see (I think..) Thanks very much to both of you.
Graham
|
