Matthew Heaney69 private type Control_Type (Clock : access Digital_Clock) is new Limited_Controlled with null record; procedure Initialize (Control : in out Control_Type); procedure Finalize (Control : in out Control_Type); type Digital_Clock (Timer : access Clock_Timer Class) is new Observer with record Control : Control_Type (Digital_Clock Access); end record; procedure Update (Clock : access Digital_Clock); end Digital_Clocks;
{}