explanation about an error message

explanation about an error message

[Evangelista Sami]

hello

could someone explain to me this error message i get :

generator.adb:4:06: unit in with clause is private child unit
generator.adb:4:06: current unit must also have parent "Decls"

and what i could i do to fix that?



the code is the following :

file generator.adb :
-------------------------------

with Generator.Decls; use Generator.Decls;
with Generator.Decls.Vars; use Generator.Decls.Vars;  
package body Generator is
   ...
end generator;
-------------------------------

line 4 is "with Generator.Decls.Vars; use Generator.Decls.Vars;".
generator.decls and generator.decls.vars are two private packages.


thanks

Re: explanation about an error message

[Georg Bauhaus]

Evangelista Sami <evangeli@cnam.fr> wrote:
: 
: generator.adb:4:06: unit in with clause is private child unit
: generator.adb:4:06: current unit must also have parent "Decls"
 
: file generator.adb :
: -------------------------------
: 
: with Generator.Decls; use Generator.Decls;
: with Generator.Decls.Vars; use Generator.Decls.Vars;  
: package body Generator is
:   ...
: end generator;
: -------------------------------
: 
: line 4 is "with Generator.Decls.Vars; use Generator.Decls.Vars;".
: generator.decls and generator.decls.vars are two private packages.

I've found it useful to think of children as of nested packages:

package Generator is

   procedure run;

private  -- part of Generator

   foo: Wide_Character;

   package Vars is

      var_foo: Wide_Character;


   private  -- part of Vars

      package Decls is
         decl_foo: Wide_Character;
      end Decls;

   end Vars;

end Generator;

package body Generator is

   ---------
   -- run --
   ---------

   procedure run is
      oops: Wide_Character;
   begin
      oops := Vars.var_foo;
      oops := Vars.Decls.decl_foo;
   end run;

end Generator;


    11.       oops := Vars.Decls.decl_foo;
                          |
        >>> "Decls" is not a visible entity of "Vars"

Re: explanation about an error message

[Evangelista Sami]

Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de> wrote in message news:<ccgs2c$bjm$1@a1-hrz.uni-duisburg.de>...
> Evangelista Sami <evangeli@cnam.fr> wrote:
> : 
> : generator.adb:4:06: unit in with clause is private child unit
> : generator.adb:4:06: current unit must also have parent "Decls"
>  
> : file generator.adb :
> : -------------------------------
> : 
> : with Generator.Decls; use Generator.Decls;
> : with Generator.Decls.Vars; use Generator.Decls.Vars;  
> : package body Generator is
> :   ...
> : end generator;
> : -------------------------------
> : 
> : line 4 is "with Generator.Decls.Vars; use Generator.Decls.Vars;".
> : generator.decls and generator.decls.vars are two private packages.
> 
> I've found it useful to think of children as of nested packages:
> 
> package Generator is
> 
>    procedure run;
> 
> private  -- part of Generator
> 
>    foo: Wide_Character;
> 
>    package Vars is
> 
>       var_foo: Wide_Character;
> 
> 
>    private  -- part of Vars
> 
>       package Decls is
>          decl_foo: Wide_Character;
>       end Decls;
> 
>    end Vars;
> 
> end Generator;
> 
> package body Generator is
> 
>    ---------
>    -- run --
>    ---------
> 
>    procedure run is
>       oops: Wide_Character;
>    begin
>       oops := Vars.var_foo;
>       oops := Vars.Decls.decl_foo;
>    end run;
> 
> end Generator;
> 
> 
>     11.       oops := Vars.Decls.decl_foo;
>                           |
>         >>> "Decls" is not a visible entity of "Vars"


so what i'm tryng to do is impossible?

Re: explanation about an error message

[Randy Brukardt]

"Evangelista Sami" <evangeli@cnam.fr> wrote in message
news:5f59677c.0407071151.697198f6@posting.google.com...
...
> >     11.       oops := Vars.Decls.decl_foo;
> >                           |
> >         >>> "Decls" is not a visible entity of "Vars"
>
>
> so what i'm tryng to do is impossible?

Possibly. I wonder why Decls.Vars is a private package in the first place.
The usual intent is to keep the package from being used outside of the
Generators hierarchy, but that is already accomplished by Decls.Vars being
private. So, if Decls.Vars was a non-private package, you wouldn't have the
problem. It still couldn't be withed by clients of Generators, as Decls
would still be private.

                Randy.