Erklärung von "Deklaration der vollständigen Ansicht muss im privaten Teil erscheinen"

Question

Ich erhalte eine Fehlermeldung, dass ich keine Dokumentation finden kann, um zu erklären, was in meinem Code behoben werden muss. Der Code ist:

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; 

Der Fehler, den ich bekommen habe ist declaration of full view must appear in private part. Es wirft diesen Fehler auf die Zeile type BinarySearchTreePoint is access Node;, und ich bin mir nicht sicher, was die Fehlermeldung bedeutet.

Answer 1

Wenn Sie sagen, type Foo is private; (oder limited private) Sie eine vollständige Erklärung im privaten Teil zu schaffen, sind erforderlich; was natürlich bedeutet, dass Sie haben einen privaten Teil haben.

Der Code, den Sie kompilieren zeigen mit

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

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

aber wenn Sie Node müssen außerhalb der Verpackung sichtbar sein Sie so etwas wie

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; 
     ...