Re: Question about base types

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

In article <mheaney-ya023280002601971414080001@news.ni.net> mheaney@ni.net (Matthew Heaney) writes:

  > I have a question about the relationship between types, first named
  > subtypes, and base types.

  > If I declare an integer type, say

  > type T is range 1 .. 10;

  > Then I think that according to the Ada model this means I'm declaring some
  > unnamed type, but whose first named subtype is T:

  > type <anonomous parent of T> is System.Min_Int .. System.Max_Int;
  > subtype T is <anonomous parent of T> range 1 .. 10;

  > Do I have this correct?

  No.  The range of the anonomous type must be at least -15..15, but
the actual range is implementation dependent.

  > Now what is the relationship of T'Base to this model?  Is T'Base the name
  > of the anonomous parent type

  > type T'Base is System.Min_Int .. System.Max_Int;
  > subtype T is T'Base range 1 ..  10;

  There is no notation for declaring such an integer type in Ada.  The
type has a 'First and 'Last, but it has NO range constraint.

  > Did the "anonmous parent" go away in Ada 95?  Or is it still

  > type <anon> is range System.Min_Int .. System.Max_Int;
  > subtype T is <anon> range 1 .. 10;

  Arrggh!  One of the worst bugs in the Ada 83 RM, long since fixed.
So yes, it is gone in Ada 95.  (Well, not the anonymous type.  The
idea that there is a possible "equivalent" declaration in Ada.)

  > and T'Base simply "refers" to this anonomous type?

  Technically T'Base is a subtype of the anonomous type which contains
no constraint:

  subtype T'BASE is <anon>;

  > I can declare objects of type T'Base, right?

  > O : T'Base;

   Yes, but please don't name them O.

  > Is this declaration the same as

  > O : <anonomous parent of T>;

   Other than the fact that the second declaration is not legal in
Ada?  Not much difference.  Just remember that T'Base is a subtype of
the anonymous type which applies no constraint, and you are all set.

  > Enquiring minds want to know...

    Watch out, soon you may turn into a language lawyer.
--

					Robert I. Eachus

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