Re: troubles learning POO: expected type "Parent.Some_Child", found type Parent'Class

[Simon Wright <simon@pushface.org>]

Mehdi Saada <00120260a@gmail.com> writes:

> I have trouble, indeed. Please look at this:
>
> if GET_ELEM (TOKEN_COURANT) = '(' then VALIDE;
> -->
> expected type "T_Token_Operateur" defined
> Found type T_TOKEN'Class

This is because you've declared

> function Get_Elem (Token : in T_Token_Operateur) return T_Operateur
>    is (Token.L_Operateur);

You don't say what T_Operateur is, though it appears to be a Character.

If you declare

> type T_TOKEN is abstract null record ;
   function Get_Elem (Token : in T_Token) return String is abstract;

then Get_Elem is primitive, and you could declare

   function Get_Elem (Token : in T_Token_Operateur) return String;

and you'd get dispatching on the Token parameter when you supply a
T_Token'Class. But that that requires that the Token parameter is in
T_Token'Class and that the other parameters, if any, and the return type
match exactly.

Which gives you a problem since you've stored L_Operateur as a
T_Operateur. You could return (String'(1 => Token.L_Operateur)).

(I'm assuming that other kinds of token could be longer than 1
character).