Re: gnat.string_split , howto manipulate slice numbers

[Alain De Vos <devosalain71@gmail.com>]

On Tuesday, October 29, 2019 at 12:08:12 PM UTC+1, Alain De Vos wrote:
> On Tuesday, October 29, 2019 at 9:35:31 AM UTC+1, Simon Wright wrote:
> > Alain De Vos <devosalain71@gmail.com> writes:
> > 
> > > I have a String_Split.Slice_Number , but I need the number before.
> > > ...
> > > J := String_Split.Slice_Count (Lines);
> > > for I in 2 .. J loop
> > > ...
> > > This works but ,
> > > ...
> > > J := String_Split.Slice_Count (Lines) - 1 ;
> > > for I in 2 .. J loop
> > > ...
> > > This does not work.
> > > Error :
> > > lsblk.adb:91:44: operator for type "Slice_Number" defined at
> > > g-arrspl.ads:116, instance at g-strspl.ads:39 is not directly visible
> > 
> > The error message says that there is an operator "-" for Slice_Number,
> > but it needs to be made directly visible; either "use String_Split", or
> > "use type String_Split.Slice_Count".
> > 
> > However! clearly Lines is of some numeric type (Natural?) defined
> > earlier, for which operator "-" is visible. So use that operator
> > instead, by applying it before the conversion:
> > 
> >    J := String_Split.Slice_Count (Lines - 1);
> 
> Lines is of type ,
> 
> Lines : String_Split.Slice_Set;

-------------------------------------------------
I tested and the addition of ,
use type GNAT.String_Split.Slice_Number; 
fixed it.
I looks like without it the operator - is not understood.