Bounds of Slice's return value

[Matthew Woodcraft <mattheww@chiark.greenend.org.uk>]

Ada.Strings.Unbounded.Slice returns a Standard.String.

Am I guaranteed anything about the bounds of this string?

In particular, if I run the following program, should I always get '1',
or is an implementation allowed to choose a different value?


with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
with Ada.Text_IO; use Ada.Text_IO;

procedure Slice_Return_Value is
   U : Unbounded_String := To_Unbounded_String ("hello");
   S : String := Slice (U, 2, 3);
begin
   Put_Line (Integer'Image (S'first));
end Slice_Return_Value;

-M-