Re: OO Preprocessor for Ada

[agate!spool.mu.edu!sol.ctr.columbia.edu!emory!europa.eng.gtefsd.com!darwi n.sura.net!source.asset.com!cernosek@ucbvax.Berkeley.EDU (Gary J. Cernosek)]

In article <CBz2Cx.8q2@cs.uiuc.edu> rowe@cs.uiuc.edu (Kenneth E. Rowe) writes:
>
>...stuff deleted
>>
>>   with X, Text_IO;
>>   procedure Some_Client is
>>      An_Object : X.Object;
>>      P : Integer;
>>   begin
>>      X.Create (Instance => An_Object, P1 => 7);
>>      X.Modify (An_Object, P1 => 3);
>>      P := X.P1 (An_Object);
>>      Text_IO.Put ("The value of P1 is: ");
>>      Text_IO.Put ( Integer'IMAGE(P) );
>                     ^^^^^^^^^^^^^^^^
>Since X.Object is a tagged limited private type, can you 
>actually do an Integer'IMAGE on P?

Note that I am simply taking the 'IMAGE of an object P, which is itself
of type Integer.  P is assigned the result of the selector call, seen a
couple of lines before the one in question.  Since the function X.P1
returns a value of type Integer, this statement is OK.  But you're
right, one cannot take the 'IMAGE of a private object.

Note that I could have eliminated the local variable P altogether:

   Text_IO.Put ( Integer'IMAGE (X.P1(An_Object) ) );

One could argue about which style is more "readable;" but in any event,
the 'IMAGE attribute must be applied to an Integer-typed value.

-- 
Gary J. Cernosek
Fastrak Training Inc.
Houston Office: (713) 280-4768
E-mail: cernosek@source.asset.com