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
next prev parent 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