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

[Bojan Bozovic <bozovic.bojan@gmail.com>]

On Wednesday, February 14, 2018 at 12:03:35 AM UTC+1, Mehdi Saada wrote:
> > Why? An Indefinite_Vector of T_Token'Class would be better.
> Because it's my course, and I can rewrite the whole thing, or it would be pointless. I wouldn't use OOP to begin with, if it was me. Plus, I never used containers, so it would be more work/new things, and that's already an awful lot at once. And I would really miss the built-in array slice syntax. I long for the day they add this for containers in the norm. Is it meant in the next one ?
> 
> I found that THAT piece, that part of the case statement in the analysis part, is NEVER walked through. I don't get it.
> 
> when '1' .. '9' =>
>   declare
>     FIRST, FIN : NATURAL := 0;
>       begin
>         Find_Token (CHAINE, TO_SET ("123456789"), INDEX_COURANT, INSIDE, First, FIN);
>         PUT_LINE("LONG_VEC_OUT: " & INTEGER'Image(LONG_VEC_OUT) & " INDEX_COURANT:" & INTEGER'Image(INDEX_COURANT));
>         V (LONG_VEC_OUT) := new T_Token_Operande'(TO_TOKEN (INTEGER'Value (CHAINE (FIRST .. FIN))));
>         INDEX_COURANT := FIN;
>    exception when others => PUT_LINE ("HERE !");    
> 
> The input:
> root@debian:~/td travail 18/essai# ./expression < test.in
> 45+454;
> 
> LONG_VEC_OUT:  1 INDEX_COURANT: 1
> LONG_VEC_OUT:  2 INDEX_COURANT: 3
> LONG_VEC_OUT:  3 INDEX_COURANT: 7
> ICI !
> Analyse pass�e
>  5 5 5Syntaxe pass�e
> erreur de syntaxe

I get CONSTRAINT_ERROR in p_expression.adb function TOKEN_COURANT. Rethink the whole Syntaxe procedure use loop ...... exit when Condition; end loop; (repeat ... until), because TOKEN_COURANT will increase INDEX beyound V'Last and cause exception when returning v(index).all.