オブジェクトを作成し、Adaのキーワードに基づいてメソッドを呼び出す

Question

これは私の質問hereのフォローアップです。

プログラムの中で、現在の構造をさらに進めることができないと感じた点がありましたので、私は多くの書き換えを行いました。 Statementタイプはもはや抽象型ではなく、各サブタイプStatementはStatementの変数の独自のインスタンスを作成します。また、コンパイラがそれを気に入らなかったので（私のサブタイプは依然として独自のexecuteメソッドを持っています）、ステートメントパッケージから抽象的execute関数を削除しました。受信文の型を変更する必要があるため、execute関数がプロシージャに変更されました。 statementFactory（旧称createStatement）をStatementパッケージに移動しました。ここで

私は取得していますエラーです：

statements-compoundstatements.adb:15:29: expected type "CompoundStatement" defined at statements-compoundstatements.ads:11 
statements-compoundstatements.adb:15:29: found type "Statement'Class" defined at statements.ads:6 

を私はエイダで初心者だけど、私の勘がexecute手順は（書類の「サブクラス」である）CompoundStatementsにあるためということですステートメントの別の「サブクラス」のexecuteメソッドを見ることは決してできません。私が考えることができる唯一の解決策は、executeプロシージャを呼び出すすべてのプロシージャをStatementパッケージにダンプすることですが、これは望ましくないようです。しかし、それでもstmt.allがstatementFactoryで作成されたタイプの代わりにStatement'Classタイプとして使用されている理由について説明していません。あなたはコンパイラが好きではなかったので、私はまた、抽象的には書類パッケージから機能を実行削除」と言う

package Statements is 

    type Statement is tagged private; 

    type Statement_Access is access all Statement'Class; 
    ParserException : Exception; 

    procedure createStatement(tokens : Vector; S : out Statement); 
    procedure statementFactory(S: in out Statement; stmt: out Statement_Access); 

--.....A bunch of other procedures and functions..... 

private 
    type Statement is tagged 
     record 
     tokens : Vector; 
     executedtokens : Vector; 
     end record; 

end Statements; 

---

procedure createStatement(tokens : Vector; S : out Statement) is 
    begin 
     S.tokens := tokens; 
    end createStatement; 

    procedure statementFactory(S: in out Statement; stmt: out Statement_Access) is 
     currenttoken : Unbounded_String; 
     C   : CompoundStatement; 
     A   : AssignmentStatement; 
     P   : PrintStatement; 

    begin 
     currenttoken := getCurrentToken(S); 
     if currenttoken = "begin" then 
     createStatement(S.tokens, C); 
     stmt := new CompoundStatement; 
     stmt.all := Statement'Class(C); 
     elsif isVariable(To_String(currenttoken)) then 
     createStatement(S.tokens, A); 
     stmt := new AssignmentStatement; 
     stmt.all := Statement'Class(A); 
     elsif currenttoken = "print" then 
     createStatement(S.tokens, P); 
     stmt := new PrintStatement; 
     stmt.all := Statement'Class(P); 
    end statementFactory; 

---

package body Statements.CompoundStatements is 

    procedure execute(skip: in Boolean; C: in out CompoundStatement; reset: out Integer) is 
     stmt: Statement_Access; 
     tokensexecuted: Integer; 
     currenttoken : Unbounded_String; 
    begin 
     match(C, "begin"); 
     currenttoken := getCurrentToken(C); 
     while(currenttoken /= "end") loop 
     statementFactory(C, stmt); 
     execute(skip, stmt.all, tokensexecuted); //ERROR OCCURS HERE 

Answer 1

：ここ

は新しいコードでありますそれ";コンパイラはexecute (skip, stmt.all, tokensexecuted)を呼び出すときにstmt.allがそれにディスパッチするためにexecuteを提供することを知っているので、本当に必要ですか？

だけでなく、拡張型は、その親タイプの属性を継承しない（ので、各CompoundStatementなどがすでにtokensとexecutedtokensを持っている）、それは親の基本操作を継承します。親操作がabstractの場合、子は独自の実装を提供する必要があります。そうでなければ、子は独自の（オーバーライド）実装を提供できます。

Ada 95 RationaleとWikibooksを参照してください。