20 lines
411 B
Ada
20 lines
411 B
Ada
package Dse_Step is
|
|
|
|
type Counter is record
|
|
Value : Natural;
|
|
Step : Natural;
|
|
end record;
|
|
pragma Suppress_Initialization (Counter);
|
|
|
|
procedure Do_Step (This : in out Counter);
|
|
pragma Inline (Do_Step);
|
|
|
|
type My_Counter is new Counter;
|
|
pragma Suppress_Initialization (My_Counter);
|
|
|
|
procedure Step_From (Start : in My_Counter);
|
|
|
|
Nsteps : Natural := 12;
|
|
Mv : Natural;
|
|
end;
|