Ada中一种高效且合理的包规范（ADS）结构

Question

在包中定义抽象数据类型（ADT）。必须定义一些操作，才能处理ADT的对象。我认为没有规则告诉我们必须对ADT的哪个顺序例程进行排序。例如，应该首先列出所有检查员（获取例程），然后列出所有修饰符（设置例程）？或者这些例程是否应该通过检查或修改属性排序？是否有规则在其包规范（ADS）文件中对ADT例程进行排序？

我想制定一个合理的命令，开始实例类型。

Answer 1

在摘要中讨论ADT有点困难，但我可能会根据用例进行结构，比 inspect 和 modify 更高级别。

正如@trashgod所说，LRM是一个很好的首发;例如，Ada.Text_IO。您可能还会发现Quality and Style Guide有用。

Answer 2

这个结构怎么样，作为一个例子（LIFO）：

AbstractDataType Queue {
   1.Constructors:
      a.CreateQueue
   2.Destructors:
      a.DeleteQueue
   3.Inspectors: 
      a.EqualQueues
      b.EmptyQueue
      c.QueueSize
      d.QueueFront
      e.QueueRear
      f.PrintStack
   4.Modifiers:
      a.Enqueue
      b.Dequeue
      c.AssignQueues
}