Index

Package: Protected_Element_Generic (generic)

Description

generic
   type Element is (<>); -- any discrete type
   Init : Element;       -- initial value

package Protected_Element_Generic is

Tasks & Protected

Protected_Element (protected)

Entries:Get, Set, Inc, Dec, Store

References:

protected_element_generic.ads:7:14 (declaration)
count_up.adb:30:16 (reference)
count_up.adb:43:56 (reference)
protected_element_generic.adb:3:19 (body)
protected_element_generic.adb:25:8 (label)

Called by:

Count_Up defined at count_up.adb:5:11
Count_Up.Count_up_by defined at count_up.adb:18:20

Types

Element 

type Element is (<>);

References:

protected_element_generic.ads:2:9 (declaration)
count_up.adb:11:13 (reference)
protected_element_generic.adb:5:27 (reference)
protected_element_generic.adb:7:26 (reference)
protected_element_generic.adb:13:30 (reference)
protected_element_generic.adb:16:19 (reference)
protected_element_generic.adb:19:30 (reference)
protected_element_generic.adb:22:19 (reference)
protected_element_generic.ads:3:11 (reference)
protected_element_generic.ads:9:28 (reference)
protected_element_generic.ads:10:26 (reference)
protected_element_generic.ads:16:15 (reference)

Constants & Global variables

Init (Element) 

Init : Element;

References:

protected_element_generic.ads:3:4 (declaration)
count_up.adb:11:33 (reference)
protected_element_generic.ads:16:26 (reference)
any discrete type

Subprograms & Entries

Protected_Element. Get 

function  Get return Element;

References:

Called by:

Protected_Element. Set 

procedure Set 
(E: Element);

References:

Protected_Element. Inc (abstract) 

entry Inc;

References:

Called by:

Count_Up.Count_up_by defined at count_up.adb:18:20

Protected_Element. Dec (abstract) 

entry Dec;

References:

Protected_Element. Store (private) 

Store: Element := Init;

References:

Called by: