Ada软件工程:stubs;独立编制单位[关闭]

我有机械工程背景,但我有兴趣学习与Ada良好的软件工程实践。我有几个问题。

问题2。我的第二个问题是关于存根(子单元)和使用独立的。假设我有一个主程序如下:

    WITH Ada.Float_Text_IO;
    WITH Ada.Text_IO;
    WITH Ada.Integer_Text_IO;

    PROCEDURE TEST2 IS
    A,B      : FLOAT;
    N        : INTEGER;

    PROCEDURE INPUT(A,B: OUT FLOAT; N: OUT INTEGER) IS SEPARATE;

    BEGIN -- main program
      INPUT(A,B,N);
      Ada.Float_Text_IO.Put(Item => A);
      Ada.Text_IO.New_line;
      Ada.Integer_Text_IO.Put(Item => N);
    END TEST2;

separate(TEST2)
PROCEDURE INPUT(A,B: OUT FLOAT; N: OUT INTEGER) IS
   BEGIN
      Ada.Float_Text_IO.Get(Item => A);
      Ada.Text_IO.New_line;
      Ada.Float_Text_IO.Get(Item => B);
      Ada.Text_IO.New_line;
      Ada.Integer_Text_IO.Get(Item => N);
   END INPUT;

我的问题:

a) AdaGIDE建议我将输入过程文件保存为INPUT.adb。但是在编译主程序test2时,我得到了警告:

warning: subunit "TEST2.INPUT" in file "test2-input.adb" not found
cannot generate code for file test2.adb (missing subunits)

对AdaGIDE来说,这更像是一个错误,因为上述警告出现在消息之前:

Compiling...
Done--error detected

因此,我将input.adb文件重命名为test2-input.adb,正如AdaGIDE在编译时向我建议的那样。现在编译主文件,我没有任何警告。我现在的问题是是否可以写

PROCEDURE INPUT(A,B: OUT FLOAT; N: OUT INTEGER) IS

就像我在子单元文件test2-input.adb中所做的那样,还是编写一个更具描述性的术语,比如

PROCEDURE TEST2-INPUT(A,B: OUT FLOAT; N: OUT INTEGER) IS

强调过程输入有一个父过程test2?这个想法来自于AdaGIDE向我暗示test2-input.adb,正如我前面提到的那样。

如果我很好地理解编译顺序,那么我应该先编译主文件test2.adb,然后编译存根test2-input.adb。编译存根时,我收到错误消息:

cannot generate code for file test2-input.adb (subunit)
Done--error detected

不过,我现在可以为test2.adb进行绑定和链接并运行程序。

我想知道我是否在尝试编译stub test2-input.adb时出错了,还是不应该编译它?

问题3。有亚单位有什么用?只是为了把一个大程序分解成更小的部分?我知道如果在子单元的BEGIN和END之间没有任何语句,就会出现错误。所以这意味着一个人总是要把一个陈述放在那里。如果要稍后编写语句,可以始终在子单元的BEGIN和END之间放置一个NULL语句,并在稍后返回到后者。软件工程在实践中就是这样做的吗?

谢谢。。。