Re: Heterogenous_Array_Test: please explain error

[Ted Dennison<dennison@telepath.com>]

In article <slrn9iedo6.hl.lutz@taranis.iks-jena.de>, Lutz Donnerhacke says...
>
>* Ted Dennison wrote:
>>"Child_Component". If you want to access that component, you have to tell the
>>compiler that the type is really "Child" (which it will verify at runtime just
>>to be sure). I think something like the following will work, though I haven't
>>compiled it:
>>
>>Child'(Item(2).all).Child_Component := 22;
>
>Does this work on a copy of Child initialized with Item(2).all?
>
>I thought typecasts match the pattern "Typ(Expression)" not
>"Typ'(Expression)", but i may fail.

The form without the tick is a conversion, and constraint checks (along with any
other appropriate checks) will be performed. The form with the tick (a
"qualified expression") is more like a clarification, or a hint to the compiler
which might have otherwise been confused about what type is being used. For that
reason, I'm not sure it will work here. You might need to remove the tick and
try the conversion.

Note that this is a simple explanation, not a fully accurate one. To get that,
you'd need to consult the LRM.

---
T.E.D.    homepage   - http://www.telepath.com/dennison/Ted/TED.html
          home email - mailto:dennison@telepath.com