From: rick H <rik_nntp@dsl.pipex.com>
Subject: Re: Instantiating private types with discriminants?
Date: Wed, 10 May 2006 15:34:10 GMT
Date: 2006-05-10T15:34:10+00:00 [thread overview]
Message-ID: <SJn8g.28928$Nb2.524951@news1.nokia.com> (raw)
In-Reply-To: fzzy5qhg30ly$.9b18efgnknqc$.dlg@40tude.net
Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> wrote:
> You should have tried it in the same body. Do it as Ludovic did, using
> packages:
>
> ---------- Simple_Case_Types.ads
> package Simple_Case_Types is
> type General_T is abstract tagged null record;
> procedure Put (Item : in General_T) is abstract;
>
> type Type_A is new General_T with
> record
> Data : Integer;
> end record;
> procedure Put (Item : in Type_A);
>
> type Type_B is new General_T with
> record
> Data : Float;
> end record;
> procedure Put (Item : in Type_B);
>
> end Simple_Case_Types;
>
> ---------- Simple_Case_Types.adb
> with Ada.Integer_Text_IO;
> with Ada.Float_Text_IO;
>
> package body Simple_Case_Types is
> procedure Put (Item : in Type_A) is
> begin
> Ada.Integer_Text_IO.Put (Item.Data);
> end Put;
>
> procedure Put (Item : in Type_B) is
> begin
> Ada.Float_Text_IO.Put (Item.Data);
> end Put;
>
> end Simple_Case_Types;
>
> ----------- Simple_Case.adb
> with Simple_Case_Types; use Simple_Case_Types;
>
> procedure Simple_Case is
> type Access_T is access General_T'Class;
> Var_A : Access_T; -- could be "new Type_A" or a "new Type_B"
> begin
> Var_A := new Type_B' (Data => 100.0);
> Put (Var_A.all);
>
> end Simple_Case;
>
> This will compile as expected.
>
> BTW, I should use pointers only when needed. Differently to C++, in Ada you
> can create class-wide objects on the stack.
>
I'm quite happy to abandon pointers in preference to the class-wide
object approach - in all honestly I didn't know that you could declare
variables of a class-wide type - and this is a side-effect of a novice
not having "Programming in Ada" open when coding!
I've now tried declaring Var_A to be...
Var_A : General_T'Class;
but gnat insists on initialization, and it's here that I tumble.
I can declare Var_A with an initialization...
Var_A : Type_B' (Data => 100.0);
and then the right Put will work...
Put (Var_A);
However, I can't work out how to change Var_A dynamically - the compiler
says "dynamically tagged expression required" if I do...
begin
Var_A := Type_A' (Data => 100);
Put (Var_A);
end;
next prev parent reply other threads:[~2006-05-10 15:34 UTC|newest]
Thread overview: 34+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-05-09 13:17 Instantiating private types with discriminants? rick H
2006-05-09 13:45 ` Georg Bauhaus
2006-05-09 14:06 ` rick H
2006-05-09 13:56 ` Ludovic Brenta
2006-05-09 14:24 ` rick H
2006-05-09 19:48 ` Ludovic Brenta
2006-05-09 14:05 ` Dmitry A. Kazakov
2006-05-09 14:48 ` rick H
2006-05-09 15:20 ` Jerry Petrey
2006-05-09 15:42 ` rick H
2006-05-09 15:53 ` Avoiding use Ada.Tags (was Re: Instantiating private types with discriminants?) Alex R. Mosteo
2006-05-09 16:01 ` Instantiating private types with discriminants? Dmitry A. Kazakov
2006-05-10 7:42 ` rick H
2006-05-10 9:09 ` Ludovic Brenta
2006-05-10 11:49 ` Georg Bauhaus
2006-05-10 13:44 ` rick H
2006-05-10 14:21 ` Ludovic Brenta
2006-05-10 15:10 ` rick H
2006-05-10 15:45 ` Ludovic Brenta
2006-05-10 14:41 ` Dmitry A. Kazakov
2006-05-10 15:34 ` rick H [this message]
2006-05-10 19:01 ` Georg Bauhaus
2006-05-10 19:05 ` Ludovic Brenta
2006-05-10 21:52 ` Rick H
2006-05-11 1:17 ` Jeffrey R. Carter
2006-05-11 7:44 ` Dmitry A. Kazakov
2006-05-11 8:27 ` rick H
2006-05-11 10:28 ` Dmitry A. Kazakov
2006-05-11 15:59 ` Robert A Duff
2006-05-12 7:37 ` Dmitry A. Kazakov
2006-05-12 9:24 ` Georg Bauhaus
2006-05-12 12:40 ` Dmitry A. Kazakov
2006-05-12 18:25 ` Randy Brukardt
2006-05-09 19:57 ` "Use" and "=" for Tags (was: Re: Instantiating private types with discriminants?) Jeffrey R. Carter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox