Re: Sledgehammer Indexing Tools

[Simon Wright <simon@pushface.org>]

Marius Amado-Alves <amado.alves@gmail.com> writes:

>> > In - for example - external_lookup.ads, you've "use"d several of your
>> > own packages. I'd think that you can reasonably expect readers to know
>> > the standard library (for example, Indefinite_Vectors), but how can they
>> > know where Occurrences is defined?
>
>> That I don't understand.They are defined in the respective source packages.
>
> In WHICH one? That's the problem. Don't use "use". Use full
> qualification
>
>    ... The_Package_Where.Occurrences_Is_Defined.Occurrences ...
>
> or renaming
>
>    package TPWOID renames The_Package_Where.Occurrences_Is_Defined;
>    ...
>    ... TPWOIS.Occurrences
>
> or a single "use" in a block
>
>    declare
>       use The_Package_Where.Occurrences_Is_Defined;
>    begin
>       ... Occurences ...
>
> or only "use type" (also in a block) if you only need some operators.
> (I have not looked at the specific code.)

In this case, external_lookup.ads might say

   package Occurrences_Vector is new Indefinite_Vectors (
      Natural,
      Token_Maps.Occurrences.Map,
      Token_Maps.Occurrences."=");