1 2 3 4 5 6 7 8 9 10 | -- Protected container for values of any private type. with Agpl.Protected_Value; with Ada.Calendar; package Agpl.Protected_Values.Time is new Agpl.Protected_Value (Ada.Calendar.Time); |
1 2 3 4 5 6 7 8 9 10 | -- Protected container for values of any private type. with Agpl.Protected_Value; with Ada.Calendar; package Agpl.Protected_Values.Time is new Agpl.Protected_Value (Ada.Calendar.Time); |