Эффективная и разумная структура спецификации пакетов (ADS) в Ada

Question

Абстрактный тип данных (ADT) определен в пакете.Должны быть определены некоторые операции, чтобы иметь возможность обрабатывать объекты ADT.Я думаю, что нет правила, сообщающего нам, в каком порядке должны быть отсортированы процедуры ADT.Например, должны ли сначала быть перечислены все инспекторы (получить процедуры), а затем все модификаторы (установить процедуры)?Или эти процедуры по проверенному или измененному атрибуту отсортированы?Существует ли правило для сортировки подпрограмм ADT в его файле спецификации пакета (ADS)?

Я хочу сделать разумный порядок, начиная типы подпрограмм.

Answer 1

Немного сложно говорить о ADT в абстрактном виде, но я бы, вероятно, структурировал по сценариям использования, на более высоком уровне, чем inspect и modify .

Как подсказывает @trashgod, LRM - хороший стартер;например, Ada.Text_IO .Вам также может пригодиться Руководство по качеству и стилю .

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
}