TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Proportional Font
Show HTML Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Subject:
From:
Rick Duley <[log in to unmask]>
Reply To:
Date:
Thu, 4 Feb 1999 16:46:11 +0800
Content-Type:
text/plain
Parts/Attachments:
text/plain (56 lines)
Hi Teamers,

        Here is a couple of bits of bother with unconstrained arrays which I have
been able to resolve neither through the study of the Ada95 LRM, the
Rationale nor yet any of the texts in our library.
1.   It doesn't appear to be possible to compile the declaration of an
unconstrained type as either private or limited private.  I haven't been
able to find a prohibition of this in the LRM.  Is this a compiler problem
(GNAT 3.1)?
2.   Try as I might I can't find a way to define a null constant of an
unconstrained array type  -  I expected the syntax to run something like
this:

procedure Trial is

   type Case_Type  is (Open, Shut);
   type Court_Type is array(Positive range<>) of Case_Type;

   Always_Guilty : constant Court_Type := Court_Type(2 .. 1);

begin  -- Trial
   null;
end Trial;

        Unfortunately, my compiler does not share my ambitions and again the LRM
is indulging in Information Hiding :) !  I have tried a number of syntax
variations but all I have been able to achieve is success with a variable
using:

        Always_Guilty : Court_Type(2 .. 1);

Any and all assistance appreciated.  Thanks.


                                    ______
Rick Duley                         /      \
Edith Cowan University            (____/\  )
Perth, Western Australia           |___  U?(____
                                   _\L.   |      \     ___
ECU: +61 (08) 9370 6619          / /"""\ /.-'     |   |\  |
mob: 0416 365 619               ( /  _/u     |    \___|_)_|
                                 \|  \\      /   / \_(___ __)
                                  |   \\    /   /  |  |    |
                                  |    )  _/   /   )  |    |
                                  _\__/.-'    /___(   |    |
I think,                       _/  __________/     \  |    |
Therefore I am...             //  /  (              ) |    |
                             ( \__|___\    \______ /__|____|
I Think!                              \    (___\   |______)_/
                               \   |\   \  \     /
                                \  | \__ )  )___/
                                 \  \  )/  /__(
                                  ___ |  /_//___|   \_________
                               _/  ( / OUuuu    \
                              `----'(____________)

ATOM RSS1 RSS2