comp.lang.ada
 help / color / mirror / Atom feed
From: Philippe Torres <ptorres@laas.fr>
Subject: Re: use of attribute Pos
Date: 2000/10/12
Date: 2000-10-12T19:00:18+00:00	[thread overview]
Message-ID: <39E60A42.BCF2F741@laas.fr> (raw)
In-Reply-To: 8s4v1s$1gj$1@news.huji.ac.il

Ehud Lamm wrote:
> 
> Tucker Taft <stt@averstar.com> wrote in message
>  > Some attributes are type-related, and others are
> > subtype-specific.  'First and 'Last are subtype-specific,
> > whereas 'Pos, 'Image, (and all the attributes that are
> > functions) are type-related.
> >
> 
> To make things even more intersting for first time users of the language, an
> attribute can mean sometinhg different when applied to a TYPE and to
> VARIABLE.
> V'frist means something different than T'first (V=VAR, T=TYPE).
> 

I found a very useful reference card which sums up all the attributes
for subtypes, tasks, records, objects,... 
and to avoid confusions the 2 cases are separated :

(discriminated type or array)'First : Lower bound of first index of
[constrained] 				      				      array type

(subtype)'First : Lower bound of the range of scalar subtype

All in all, almost 100 attributes and/or using conditions are listed. I
guess they are very useful when you are accustomed to them but i'm in
quite a fight right now.

Thanks to all of you for your time and to pukite@diana.com for that
card.

Philippe




  reply	other threads:[~2000-10-12  0:00 UTC|newest]

Thread overview: 23+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2000-10-11  0:00 use of attribute Pos Philippe Torres
2000-10-11  0:00 ` Jerry Petrey
2000-10-11  0:00   ` Ehud Lamm
     [not found] ` <39E4A637.AE6EE630@cepsz.unizar.es>
2000-10-11  0:00   ` Jerry Petrey
2000-10-14  3:32   ` Robert Dewar
2000-10-16  0:00     ` Alejandro Villanueva
2000-10-16  0:00       ` Robert Dewar
2000-10-18  0:00         ` Alejandro Villanueva
2000-10-16  0:00       ` Ken Garlington
2000-10-18  0:00         ` Alejandro Villanueva
2000-10-11  0:00 ` Pat Rogers
2000-10-12  0:00   ` Philippe Torres
2000-10-12  0:00     ` Pat Rogers
2000-10-12  0:00       ` Philippe Torres
2000-10-12  0:00         ` Pat Rogers
2000-10-12  0:00           ` Tucker Taft
2000-10-12  0:00             ` Philippe Torres
2000-10-12  0:00               ` Ehud Lamm
2000-10-12  0:00             ` Ehud Lamm
2000-10-12  0:00               ` Philippe Torres [this message]
2000-10-12  0:00               ` Pat Rogers
2000-10-12  0:00         ` mark.biggar
2000-10-12  0:00     ` Robert A Duff
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox