Adaで別のコンパイル単位として子パッケージを持つことが可能です

Question

通常のスペックとボディファイルを持つメインパッケージがあります。私は親の子パッケージを作成しようとしていますが、それらを別々のコンパイルファイルに入れたいのです。パッケージ本体であれば、あるいはサブプログラム/ proc/funcであれば、簡単に実行できます。しかし、私は子の仕様ファイルを作ることができません。

私がこれをやっている理由は、同じ親の他の子供が利用できる子供の情報を持っているからです。私は親にspec部分を含めるだけでこれを行うことができますが、それは私の親ファイルをかなり大きくしています。

これも可能ですか、別のルートユニットを作る以外に選択肢はありませんか？または、すべてのスペックを親に賢く残しておきますか？親で

：

は、私が試した はpackage Child1 is separate;（もParent.Child1を試してみましたが、それはエラー

子で

コンパイルしました：

separate(Parent) 

package Parent.Child1 is 
.... 
end Parent.Child1; 

アイデアだけではない可能性

？

更新：私はGreen Hills Multi Compilerでコンパイルしています。Ada95言語版、非OOプロジェクト

Answer 1

はい、これはまったく問題ありません。

parent.ads

package Parent is 
-- ... 
end Parent; 

parent-child.ads

package Parent.Child is 
-- ... 
end Parent.Child; 

parent-other.ads：あなたは別々のファイルにあなたの親と子パッケージを持つことができます。

limited with Parent.Child; --Need Ada 2005 
package Parent.Other is 
-- ... 
end Parent.Other; 

parent.childパッケージとparent.otherパッケージは、parentの定義にアクセスできます（いくつかの制限があります）。それはparent.childの定義にアクセスできるようにする方法parent.other「with S」parent.child

注意してください。

私はそれができる方法のexampleを持っています。また、ここにはexample from wikibooksがあります。

Answer 2

キーワードseparateを使用していることに注目して、あなたの質問は子の単位ではなくネストされた単位であることを念頭に置いています。

次のことを試してみてください。

Testing.adb

With 
Ada.Text_IO, 
Parent; 

Procedure Testing is 
Begin 
    Ada.Text_IO.Put_Line("Starting Test:"); 

    Parent.Nested.Test_Procedure; 

    Ada.Text_IO.Put_Line("Testing complete."); 
End Test; 

Parent.ads

Package Parent is 

    Package Nested is 
     Procedure Test_Procedure; 
    End Nested; 

End Parent; 

Parent.adb

Package Body Parent is 

    Package Body Nested is separate; 

End Parent; 

Parent-Nested.adb

（注：あなたは、私が「ドット交換」のデフォルト設定でGNATを使用しているファイル名のためにわずかに異なるものを使用する必要があります）

with Ada.Text_IO; 

separate (Parent) 

package body Nested is 

    Procedure Test_Procedure is 
    Message : Constant string:= ASCII.HT & 
     "Hello from the separate, nested test-procedure."; 
    begin 
     Ada.Text_IO.Put_Line(Message); 
    end Test_Procedure; 

End Nested; 

---

あなたはコンパイルすることができるはずですし、次のように出力が三行する必要があります：

1. Starting Test:
2. Hello from the separate, nested test-procedure.
3. Testing complete.

---

ここでの問題は、ネストされたと子パッケージ間の差異に関する若干の誤解から生じています。両方とも、ドット区切り付きの同じ方法でアクセスされます。Parent。NestedおよびParent。Child。

微妙な違いは、子パッケージは常に別々にコンパイルされたユニットであるということです（GNATでは、それらは常に別のファイルにあります。これはライブラリの実装方法による実装制限ですが、 Adaコンパイラは異なるcompilation_unitを同じファイルに置くことができます）。しかし、ネストされたパッケージは、具体的にseparateとタグ付けされていない限り、その包含単位がコンパイルされると同時にコンパイルされなければなりません。

---

現在の入れ子構造を維持し、まだ使用するためには、あなたがパッケージのすべての仕様を保持する単一の補助パッケージに次のメソッドを使用することができます分けます。

Parent.ads

Package Parent is 

    -- Here's the magic of renaming. --' 
    Package Nested renames Auxiliary.Delegate; 

End Parent; 

Auxiliary.ads

Package Auxiliary is 

    Package Delegate is 
     Procedure Test_Procedure; 
    End Delegate; 

End Auxiliary; 

Auxiliary.adb

package body Auxiliary is 

    Package Body Delegate is separate; 

end Auxiliary; 

Auxiliary-Delegate.adb

（注意：あなたは、ファイル名のためにわずかに異なるものを使用する必要があり、私は「ドット交換」のデフォルト設定でGNATを使用しています）

with Ada.Text_IO; 

separate (Auxiliary) 

package body Delegate is 

    Procedure Test_Procedure is 
    Message : Constant string:= ASCII.HT & 
     "Hello from the separate, nested test-procedure."; 
    begin 
     Ada.Text_IO.Put_Line(Message); 
    end Test_Procedure; 

End Delegate;