generic type Element is private; Default_Value : Element; package Generic_Protected is
type Element is private;
type Monitor_Ptr is access Monitor;
Default_Value : Element;
function Read return Element;
procedure Write
( | E | : Element); |
entry Wait_for_Update
( | E | : out Element); |
Value: Element := Default_Value; References:
generic_protected.ads:23:7 (declaration)generic_protected.adb:9:40 (reference)generic_protected.adb:14:10 (write reference)generic_protected.adb:21:21 (reference)Called by:
Wait_for_Update defined at generic_protected.ads:20:13Write defined at generic_protected.ads:18:17Monitor. Touched (private)
Touched
: Boolean := False; References:
generic_protected.ads:24:7 (declaration)generic_protected.adb:15:10 (write reference)generic_protected.adb:18:52 (reference)generic_protected.adb:22:10 (write reference)Called by:
Wait_for_Update defined at generic_protected.ads:20:13Wait_for_Update defined at generic_protected.ads:20:13Write defined at generic_protected.ads:18:17Allocate
function Allocate
( Value : Element := Default_Value) return Monitor_Ptr; References:
generic_protected.ads:30:13 (declaration)generic_protected.adb:27:13 (body)generic_protected.adb:34:8 (label)swarm_control.adb:89:58 (call)swarm_control.adb:93:58 (call)swarm_control.adb:94:59 (call)swarm_control.adb:95:59 (call)swarm_control.adb:96:92 (call)Called by:
Calls:
Write defined at generic_protected.ads:18:17Free
procedure Free is new Ada.Unchecked_Deallocation
( Object => Monitor, Name => Monitor_Ptr); References:
generic_protected.ads:32:14 (declaration)swarm_control.adb:137:31 (call)swarm_control.adb:138:35 (call)swarm_control.adb:139:35 (call)swarm_control.adb:140:36 (call)swarm_control.adb:141:36 (call)Called by: