如何在Ada中將包作為通用參數？

Question

我想知道將包傳遞給泛型函數的語法是什么。 我已經嘗試了幾種方法而沒有成功。

例如：

generic
    with package <<SomeThing>> is <>;
    procedure forEach(g: in <<MyType>>);

要么

generic
    with package <<SomeThing>>;
    procedure forEach(g: in <<MyType>>);

要么

generic
    package <<SomeThing>>;
    procedure forEach(g: in <<MyType>>);

Answer 1

程序包必須是通用程序包的實例（否則，編譯器將不知道有關該程序包的任何信息）。 語法為：

generic
   with package Foo is new Bar (<>);
procedure Foreach (G : Foo.T);

有關正式軟件包（ ARM 12.7 ），請參見Ada Wikibook和“參考手冊”部分末尾的示例。