「完全なビューの宣言は私的な部分に表示する必要があります」

Question

私のコードで修正が必要なことを説明するためのドキュメントが見つかりません。コードは次のとおりです。

type BinarySearchTreePoint is limited private; 
    type Node; 
    type BinarySearchTreePoint is access Node; 

    type Node is 
     record 
     Llink, Rlink : BinarySearchTreePoint; 
     Ltag, Rtag : Boolean; --True indicates pointer to lower level, 
           -- False a thread. 
     Info : Customer; 
     end record; 

エラーはdeclaration of full view must appear in private partです。このエラーは、type BinarySearchTreePoint is access Node;という行を指しています。エラーメッセージの意味がわかりません。

Answer 1

type Foo is private;（またはlimited private）と言うときは、私的な部分に完全な宣言をする必要があります。もちろん、にはがあることを意味します。

あなたが表示されたコードは

package Foo is 
    type BinarySearchTreePoint is limited private; 
private 
    type Node; 
    type BinarySearchTreePoint is access Node; 

    type Node is 
     record 
     Llink, Rlink : BinarySearchTreePoint; 
     ... 

でコンパイルしますが、あなたは、あなたがのプライベート部分にこれを入れて

package Foo is 
    type BinarySearchTreePoint is limited private; 
    type Node is private; 
    -- stuff to do with getting a Node from a BinarySearchTreePoint?? 
    function Content (Of_Node : Node) return Customer; 
private 
    type BinarySearchTreePoint is access Node; 

    type Node is 
     record 
     Llink, Rlink : BinarySearchTreePoint; 
     ...