comp.lang.ada
 help / color / mirror / Atom feed
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: gnat.string_split , howto manipulate slice numbers
Date: Tue, 29 Oct 2019 17:56:56 +0100
Date: 2019-10-29T17:56:56+01:00	[thread overview]
Message-ID: <qp9r0q$imu$1@dont-email.me> (raw)
In-Reply-To: <bb024927-200e-42e6-bf35-780946ecfdf8@googlegroups.com>

On 10/29/19 9:17 AM, briot.emmanuel@gmail.com wrote:
> 
>      use type GNAT.String_Split.Slice_Number;
> 
> or
>      use GNAT.String_Split;

or

function "-" (Left  : GNAT.String_Split.Slice_Number;
               Right : GNAT.String_Split.Slice_Number)
return GNAT.String_Split.Slice_Number renames GNAT.String_Split."-";

or

GNAT.String_Split."-" (Left, Right)

There are more ways to get around lack of visibility than just use clauses.

-- 
Jeff Carter
"You cheesy lot of second-hand electric donkey-bottom biters."
Monty Python & the Holy Grail
14

  reply	other threads:[~2019-10-29 16:56 UTC|newest]

Thread overview: 21+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-10-29  1:54 gnat.string_split , howto manipulate slice numbers Alain De Vos
2019-10-29  8:17 ` briot.emmanuel
2019-10-29 16:56   ` Jeffrey R. Carter [this message]
2019-10-29 19:36     ` Niklas Holsti
2019-10-29 23:06       ` J-P. Rosen
2019-11-01  9:45         ` joakimds
2019-10-29 23:36   ` Stephen Leake
2019-10-29  8:35 ` Simon Wright
2019-10-29 11:08   ` Alain De Vos
2019-10-29 11:20     ` Alain De Vos
2019-10-29 16:44       ` J-P. Rosen
2019-10-29 16:47       ` Simon Wright
2019-10-29 18:33         ` J-P. Rosen
2019-10-29 19:37           ` Dmitry A. Kazakov
2019-10-30 11:30             ` Simon Wright
2019-10-31  9:30               ` joakimds
2019-10-31 10:12               ` Dmitry A. Kazakov
2019-10-31 18:36                 ` J-P. Rosen
2019-11-01  9:39                   ` joakimds
2019-10-29 16:41   ` Simon Wright
2019-10-29 16:53 ` Jeffrey R. Carter
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox