procedure Str_Concat_2 (R : out String; S1, S2 : String);
-- Performs the operation R := S1 & S2. The bounds of R are known to be
- -- correct, so no bounds checks are required, and it is known that none
- -- of the input operands overlaps R. No assumptions can be made about
- -- the lower bounds of any of the operands.
+ -- correct (usually set by a call to the Str_Concat_Bounds_2 procedure
+ -- below), so no bounds checks are required, and it is known that none of
+ -- the input operands overlaps R. No assumptions can be made about the
+ -- lower bounds of any of the operands.
+
+ procedure Str_Concat_Bounds_2
+ (Lo, Hi : out Natural;
+ S1, S2 : String);
+ -- Assigns to Lo..Hi the bounds of the result of concatenating the two
+ -- given strings, following the rules in the RM regarding null operands.
end System.Concat_2;