これは、私の以前の投稿のフォローアップです。
型の実装はRectangular1 つの実装を使用して作成されました。つまり Rectangular_Method_1、この実装には仕様ファイルと本体ファイルが必要でした。
ユーザーが別の実装をRectangular_Method_2利用できるようにしたい場合は、メインファイル を次のrectangular_Form.adsように変更できます。
-- with Rectangular_Method_1;
-- package Rectangular_Form renames Rectangular_Method_1;
with Rectangular_Method_2;
package Rectangular_Form renames Rectangular_Method_2;
質問
test_rectangular_form.adbこれは、テスト ファイルが別の実装でも同じままであるという点で、別の実装を可能にするソフトウェア エンジニアリングの正しい方法ですか?2 つ目の実装を作成する場合
Rectangular_Method_2、この新しい実装の必須の新しい本体に加えて、別の仕様ファイルを作成する必要はありますか?Vector_Basis_rただし、新しい実装でSet_Horz、などに同じプロシージャ/関数を提供して、Get_Horzそれらを で呼び出せるようにする必要がありtest_rectangular_form.adbます。
ありがとう...