Re: I'm facing an issue with: call to abstract procedure must be dispatching

["Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>]

On 12/13/2015 02:37 PM, Shark8 wrote:
> 
> Package Counter is
>   Procedure Inc;
>   Procedure Dec;
>   Function Value Return Natural;
> Private
>   Data : Natural := 0;
> End Counter;

I wouldn't put the state in the private part.

> Package Body Counter is

Instead, I'd put it in the body

   Data : Natural := 0;

>   Procedure Inc is
>   begin
>    Data:= Natural'Succ( Data );
>   end Inc;
> 
>   Procedure Dec is
>   begin
>    Data:= Natural'Pred( Data );
>   end Dec;

I'd also use "+ 1" or "- 1", since those are clearer.

>   Function Value return Natural is
>   ( Data );
> End Counter;

-- 
Jeff Carter
"I don't know why I ever come in here. The
flies get the best of everything."
Never Give a Sucker an Even Break
102