Re: The 'BASE Attribute

Re: The 'BASE Attribute

[Dave Papay M/S 7G32 x2791]

Program Validation L <pvl@CIX.COMPULINK.CO.UK> writes:

>We are confused by the meaning of the 'BASE attribute. For example, the
>LRM states that a fixed point type declaration of the form:
>
>type T is delta D range L .. R;
>
>is, by definition, equivalent to the following declarations:
>
>type fixed_point_type is new predefined_fixed_point_type;
>subtype T is fixed_point_type
>  range fixed_point_type(L) .. fixed_point_type(R);
>
>We would therefore expect T to denote the (implicitly declared) subtype,
>and T'BASE to denote the anonymous type fixed_point_type. This would mean
>that T'DELTA is valid, whilst T'BASE'DELTA is invalid, since P'DELTA is
>only defined for fixed point subtypes.

T'BASE'DELTA is legal, since in 3.3(4) the LRM states: "A type is a subtype
of itself..."

Also, although the description for the 'DELTA attribute in 3.5.10(4) states
that it "Yields the value of the delta specified in the fixed accuracy
definition for the *subtype* T" (emphasis added), 3.5.10(2) states that the
attributes listed below (which includes 'DELTA) are define "for every fixed
point *type or subtype* T" (again, emphasis added).  This paragraph also
explains why T is referred to as a subtype in some contexts, and as a type in
others.

Hope this helps.

                             |         |
David Papay                  |    o    |
papay@acm.org  (preferred)   |  ^/---  | <insert your favorite disclaimer here>
dpapay@aol.com (alternate)   |  />     |
                             |         |
                             | fleche! |

The 'BASE Attribute

["Program Validation L"]

We are confused by the meaning of the 'BASE attribute. For example, the 
LRM states that a fixed point type declaration of the form:

type T is delta D range L .. R;

is, by definition, equivalent to the following declarations:

type fixed_point_type is new predefined_fixed_point_type;
subtype T is fixed_point_type
  range fixed_point_type(L) .. fixed_point_type(R);
  
We would therefore expect T to denote the (implicitly declared) subtype, 
and T'BASE to denote the anonymous type fixed_point_type. This would mean 
that T'DELTA is valid, whilst T'BASE'DELTA is invalid, since P'DELTA is 
only defined for fixed point subtypes.

However, both the Alsys and DEC Ada compilers accept both T'DELTA and 
T'BASE'DELTA, which leads us to suppose our understanding of the LRM is 
incorrect.

Re: The 'BASE Attribute

[Tucker Taft]

In article <CztJHx.GxE@cix.compulink.co.uk>,
Program Validation L <pvl@cix.compulink.co.uk> wrote:

>We are confused by the meaning of the 'BASE attribute. For example, the 
>LRM states that a fixed point type declaration of the form:
>
>type T is delta D range L .. R;
>
>is, by definition, equivalent to the following declarations:
>
>type fixed_point_type is new predefined_fixed_point_type;
>subtype T is fixed_point_type
>  range fixed_point_type(L) .. fixed_point_type(R);
>  
>We would therefore expect T to denote the (implicitly declared) subtype, 
>and T'BASE to denote the anonymous type fixed_point_type. This would mean 
>that T'DELTA is valid, whilst T'BASE'DELTA is invalid, since P'DELTA is 
>only defined for fixed point subtypes.

Both T and T'Base are fixed point subtypes (every type is a subtype of
itself in Ada 83).  Note that in Ada 9X, the only nameable things
are "subtypes"; "types" are anonymous abstractions.  Either way,
T'Base'Delta is legal, and equal to T'Delta in the absence of
an accuracy constraint (called a "delta constraint" in Ada 9X).

>However, both the Alsys and DEC Ada compilers accept both T'DELTA and 
>T'BASE'DELTA, which leads us to suppose our understanding of the LRM is 
>incorrect.

The compilers are correct.  In general, all type-oriented attributes are 
defined for all subtypes, including the type itself.

The general confusion between "type" and "subtype" led us to
use the term subtype uniformly in Ada 9X for things that you
can name; "type" is the underlying abstraction on which all the
subtypes are based.

-Tucker Taft   stt@inmet.com
Ada 9X Mapping/Revision Team
Intermetrics, Inc.
Cambridge, MA  02138