エイダ保護タイプ

Question

私は、手続きや関数とエイダにシンプルなパッケージを持っています。私はすべての関数とプロシージャを保護された型にしたいと思っています。

シンプル.adbファイルの

package body Pack is 

    procedure procedure1 (B : in out Integer) is 
    begin 
    B := new Integer; 
    end procedure1; 

    procedure procedure2 (B: in out Integer) is 
    begin 
    B.Cont(B.First-1) := 1; 
    end procedure2; 

    function procedure3 (B : Integer) return Boolean is 
    begin 
    return B.First = B.Last; 
    end procedure3; 

end pack; 

およびまたは単純な.ads

package body Pack is 

    procedure procedure1 (B : in out Integer); 

    procedure procedure2 (B: in out Integer); 

    function procedure3 (B : Integer) return Boolean; 

end pack; 

は、どのように私はそれに行きますか？

Answer 1

保護タイプについての事は、それが（同時アクセスに対して）何かを保護することです。あなたのコードから、あなたが保護したいことを確認するのは難しいです。

たとえば、あなたがスレッドセーフな増分をやってみたかった、場合、あなたはここまで完璧からである（

package Pack is 
    protected type T is 
     procedure Set (To : Integer); 
     procedure Increment (By : Integer); 
     function Get return Integer; 
    private 
     Value : Integer := 0; 
    end T; 
end Pack; 

のようなスペックを持っているかもしれません。あなたはValue初期を指定できるようにしたいのですがTを宣言すると、それは複雑になり始めます）。この場合

、保護されるべき事がValueです。次の2つのタスクが「同じ」時Increment、By => 3と1とBy => 4を持つものを、呼び出す場合Valueは体が

package body Pack is 
    protected body T is 
     procedure Set (To : Integer) is 
     begin 
     Value := To; 
     end Set; 
     procedure Increment (By : Integer) is 
     begin 
     Value := Value + By; 
     end Increment; 
     function Get return Integer is 
     begin 
     return Value; 
     end Get; 
    end T; 
end Pack; 

のようになります。7.

ずつ増加してしまうことを確認したいです

推奨読書：保護されたタイプのWikibooks section。