diff options
Diffstat (limited to 'gcc/ada/s-conca5.ads')
| -rw-r--r-- | gcc/ada/s-conca5.ads | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/gcc/ada/s-conca5.ads b/gcc/ada/s-conca5.ads index 445b213..996dbf9 100644 --- a/gcc/ada/s-conca5.ads +++ b/gcc/ada/s-conca5.ads @@ -37,9 +37,16 @@ pragma Compiler_Unit; package System.Concat_5 is procedure Str_Concat_5 (R : out String; S1, S2, S3, S4, S5 : String); - -- Performs the operation R := S1 & S2 & S3 & S4 & S5. 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. + -- Performs the operation R := S1 & S2 & S3 & S4 & S5. The bounds + -- of R are known to be correct (usually set by a call to the + -- Str_Concat_Bounds_5 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_5 + (Lo, Hi : out Natural; + S1, S2, S3, S4, S5 : String); + -- Assigns to Lo..Hi the bounds of the result of concatenating the five + -- given strings, following the rules in the RM regarding null operands. end System.Concat_5; |