Re: Calling a record type's methods (functions or procedure) when record is in an array

[Simon Wright <simon@pushface.org>]

Mace Ayres <maceayres0@gmail.com> writes:

> Thank you. I see, we can pass the record (type) thing as a parameter,
> along with any other parameters (like value) and then interact with
> the record ‘thing’ in sub programs.

Yes.

> Since my objects (type of Thing) are only instantiated as elements in
> my array, thing_array, I can only/ would I address them like this ?
>
> looping.. i
>  looping  j
>    set_attribute(my_thing_array(i,j).value, 6);
>   ...
> end loop;
> end loop;

> And with type thing being private, its attributes are only accessible
> via sub programs in package Mace.

Yes.

> In your code below with my mark up “ * ?”, are the sub programs
> private in any way since they are below Type Thing is private, or the
> privacy is applied to Thing?
>
> That is, what is the full scope of privacy in declaring type thing as
> private, to type thing only, or the sub programs too. Or is this a
> confused question anyway?

>>  package Mace is
>>     type Thing is private;
>>  * ?    procedure Set_Attribute (Into : in out Thing; Value : Integer);
>>  * ?   function Get_Attribute (From : Thing) return Integer;
>>  private
>>     type Thing is record
>>        Attribute : Integer;
>>     end record;
>>  end Mace;

The package spec has a public part (everything above the 'private' in
the left margin of line 5) and a private part (everything after).

The two subprograms are publicly visible.

You need a tutorial! Try https://learn.adacore.com
and specifically about privacy
https://learn.adacore.com/courses/intro-to-ada/chapters/privacy.html
or look here for lots of learning material
https://www.adaic.org/learn/materials/#tutorials