Re: Dispatching Example

[Jacob Sparre Andersen <sparre@nbi.dk>]

Ed:

> with Dispatching_Examples;
> use Dispatching_Examples;
> procedure Dispatching_Examples_Driver is
>     A, B : T1;                    -- simple variables
>     Q, R : T2;                    -- simple variables
>     C    : T1'Class := A;     -- class-wide variable
>     D    : T2'Class := R ;    -- class-wide variable
> begin
>     C := Is_Item ;              -- static resolution?

Since both:

      C := T2'Class (Q);
and
      C := T1'Class (B);

are legal, the compiler can not possibly figure out which
of the two "Is_Item" functions you refer to. If you want
the compiler to do a static resolution, you have to
specify which type the class-wide variable should be
treated as having:

      T1 (C) := Is_Item;

> end Dispatching_Examples_Driver;

Jacob
-- 
"Then, after a second or so, nothing continued to happen."