about ADTs

about ADTs

[Beau]

In the child package for an ADT I need to get an enumerated type. Would I
instantiate a package to read the enumerated data inside the child package?
How would I write the child package get? would it look like this:
--in the spec file for the child package
PROCEDURE Get(File : IN Ada.Text_IO.File_Type;
                                  Item : OUT Account);  --Account is a
record containing a seperate ADT value Date, the
                                                                         --e
numeration type and a float value

--then inside the body of the child package:
PROCEDURE Get(File : IN Ada.Text_IO.File_Type;
                                   Item : OUT Account) IS
    --here I would get the Dates from the other ADT package I am using
    --here is where I would get the enumeration type
    Enumeration_IO.Get( Item => TransKind);
    --Here I get the Amount
    Ada.Integer_Text_IO.Get(Item => Amount);

END Get;

does this look remotely right?

--
~Beau~
beau@hiwaay.net

Re: about ADTs

[Stephen Leake]

"Beau" <beau@hiwaay.net> writes:

> In the child package for an ADT I need to get an enumerated type. Would I
> instantiate a package to read the enumerated data inside the child package?
> How would I write the child package get? would it look like this:
> --in the spec file for the child package
> PROCEDURE Get(File : IN Ada.Text_IO.File_Type;
>                                   Item : OUT Account);  --Account is a
> record containing a seperate ADT value Date, the
>                                                                          --e
> numeration type and a float value
> 
> --then inside the body of the child package:
> PROCEDURE Get(File : IN Ada.Text_IO.File_Type;
>                                    Item : OUT Account) IS
>     --here I would get the Dates from the other ADT package I am using
>     --here is where I would get the enumeration type
>     Enumeration_IO.Get( Item => TransKind);
>     --Here I get the Amount
>     Ada.Integer_Text_IO.Get(Item => Amount);
> 
> END Get;
> 
> does this look remotely right?

"remotely", yes. Here's an attempt to fix things:

procedure Get (File : in  Ada.Text_IO.File_Type;
               Item : out Account)
is
    package Account_Enum_IO is new Ada.Text_IO.Enumeration_IO (Enum_Type);
begin
   --here I would get the Dates from the other ADT package I am using
   Account_Enum_IO.Get (Item.TransKind);
   Ada.Integer_Text_IO.Get (Item.Amount);
end Get;

You need to instantiate the generic package Ada.Text_IO.Enumeration_IO
(I guessed at the name of the enumeration type). Record components are
accessed by ".", not "=>".

Hope this helps,

-- 
-- Stephe