宿題を終わらせようとしていて、最後の部分に取りかかっています。まず、私が扱っているタイプを示します。
TYPE Book_Collection IS
RECORD
Books : Book_Collection_Array;
Max_Size : Integer;
Size : Integer;
END RECORD;
TYPE Book_Type IS
RECORD
Title,
Author,
Publisher : Title_Str;
Year : Year_Type;
Edition : Natural;
Isbn : Isbn_Type;
Price : Dollars;
Stock : Natural;
Format : Format_Type;
END RECORD;
Book_Collection_Array は book_type の配列です。これらは非公開型であるため、配列は制限されています (1..200)。
提供された別のパッケージに ToString という関数があり、book_type を入力として取り、book_type のすべての要素の文字列を返します。作成する必要があるのは、book_collection をパラメーターとして取り、その book_collection に存在する book_types に対して、提供された ToString 関数によって返されるすべての文字列を連結した文字列を返す関数です。複数回試行しましたが、範囲チェックの失敗が常に発生しています。誰かが私を正しい方向に向けることができますか?
*編集:ご協力いただきありがとうございます。私は、無制限の文字列を使用し、それに各文字列を追加してから、出力文字列を宣言し、それを unbounded_string の To_String に等しい定数文字列として設定するというルートをたどりました。