Searched refs:Multiple_Monitor (Results 1 – 4 of 4) sorted by relevance
78 type Multiple_Monitor is new Monitor_Base with private; type79 procedure Seize_For_Reading (The_Monitor : in out Multiple_Monitor);80 procedure Seize_For_Writing (The_Monitor : in out Multiple_Monitor);81 procedure Release_From_Reading (The_Monitor : in out Multiple_Monitor);82 procedure Release_From_Writing (The_Monitor : in out Multiple_Monitor);161 type Multiple_Monitor is new Monitor_Base with record type
104 Seize_For_Reading (Multiple_Monitor (The_Monitor));112 Seize_For_Writing (Multiple_Monitor (The_Monitor));120 Release_From_Reading (Multiple_Monitor (The_Monitor));128 Release_From_Writing (Multiple_Monitor (The_Monitor));
175 procedure Seize_For_Reading (The_Monitor : in out Multiple_Monitor) is180 procedure Seize_For_Writing (The_Monitor : in out Multiple_Monitor) is185 procedure Release_From_Reading (The_Monitor : in out Multiple_Monitor) is190 procedure Release_From_Writing (The_Monitor : in out Multiple_Monitor) is
52 type Debug_Multiple_Monitor is new Multiple_Monitor with private;71 type Debug_Multiple_Monitor is new Multiple_Monitor with null record;