Attributes

Attributes

[Alessandro]

does an attribute exist for getting a type from an object (i.e.
variable)?

example in objects renaming

package X is
        Zero : Integer;
end X;


with X;

procedure Alfa is

 XZero : Integer renames X.Zero;
 -- or if  the attribute exist
 -- XZero : X.Zero' .....     renames X.Zero

begin
...
end Alfa;

--------------------------
Thanks,

Alessandro
busato@newtech.it
Trieste (Italy)
NE&T

Re: Attributes

[Tucker Taft]

Alessandro (busato@newtech.it) wrote:

: does an attribute exist for getting a type from an object (i.e.
: variable)?

No.  About the closest you can come is initializing a
class-wide object by copying an existing object.  The
new class-wide object's tag is determined by the original
object's tag.  (This capability is analogous to the "x like y" 
capability of Eiffel.)  For example:

   X : T'Class := Y;


: ...
: Thanks,

: Alessandro
: busato@newtech.it
: Trieste (Italy)
: NE&T

--
-Tucker Taft   stt@inmet.com   http://www.inmet.com/~stt/
Intermetrics, Inc.  Burlington, MA  USA
An AverStar Company