Re: Instantiating package problems

[Georg Bauhaus <bauhaus@futureapps.invalid>]

On 10.01.16 20:43, Andrew Shvets wrote:
>
>   When you instantiate a record (which is described in the private portion of a package), does that mean that the insides (the different types, lists, arrays, etc.) that compose it are not visible to others except through setter and getter methods?
>

when a type is declared as a private type in some page P,

package P is

    type T ... is ... private;

then, outside the package, only public operations are visible,
basically anything that follows the declaration until another
"private" introduces the private part of P. Hence, no data
components of any object of type P.T declared outside.

Suppose

package P is
    type T is private;
    procedure op1 (Object : in out T);
private
   type T is record
      c1 : T1 := Foo(N);
      c2 : T2;
   end record;
end P;

then I think it is fair to say this C++ type is an analogue,
perhaps declared in a file "p.hpp", or in namespace P:

struct T {
private:
   T1 c1;
   T2 c2;
public:
   T() : c1(foo(n))
    {
   }
   void op1(void);
};