Re: Unreferenced parameters

["Randy Brukardt" <randy@rrsoftware.com>]

We (the ARG) recently added an allowance for aspect specifications on 
parameters and a few other constructs. The reason in part was because we 
didn't want to restrict where implementation-defined aspects can be placed, 
and the motivating case was aspect Unreferenced.

So I'd guess that you can put the aspect directly on the parameters in the 
usual way (but that may require a compiler not available yet; the change was 
approved in Sept [AI12-0395-1] and Oct [AI12-0398-1]). So, I'd expect the 
following to work (eventually):

 overriding function Expand_Tabs
     (This   : Dummy_Editor_Buffer with Unreferenced;
      Line   : Editable_Line_Type with Unreferenced;
      Column : Character_Offset_Type with Unreferenced) return 
Visible_Column_Type is (0);

                             Randy.




"Simon Wright" <simon@pushface.org> wrote in message 
news:lyim79c8ti.fsf@pushface.org...
> In gps-editors.ads:1492, in GNAT Studio, I have
>
>   overriding function Expand_Tabs
>     (This   : Dummy_Editor_Buffer;
>      Line   : Editable_Line_Type;
>      Column : Character_Offset_Type) return Visible_Column_Type is (0);
>
> and FSF GCC 10.1.0 says
>
> gps-editors.ads:1494:07: warning: formal parameter "Line" is not 
> referenced
> gps-editors.ads:1495:07: warning: formal parameter "Column" is not 
> referenced
>
> which is clearly the case (how does it know that it's OK not to
> reference This? it must check the context).
>
> The compilation is set to treat warnings as errors (-gnatwe) so I need
> to suppress these warnings.
>
> I could do so with pragma Warnings (Off, "formal*not referenced");
>
> I have done so by renaming the parameters Dummy_Line, Dummy_Column.
>
> But is there a way of using aspect or pragma Unreferenced? Putting
> pragma Unreferenced after the function definition doesn't work.
>