Object Cross Reference
Cell_Pool.Bit_Size (Parameter)
Declared as: in Positive
Formal [cell_pool.ads, 58] Cell_Pool
Cell_Pool.Deallocate.K (Parameter)
Declared as: in Key
Spec [cell_pool.ads, 100] Cell_Pool.Deallocate
Cell_Pool.Dereference.K (Parameter)
Declared as: Key
Spec [cell_pool.ads, 120] Cell_Pool.Dereference
Cell_Pool.Dereference_Safe.K (Parameter)
Declared as: Key
Spec [cell_pool.ads, 131] Cell_Pool.Dereference_Safe
Cell_Pool.Pool_Manager_Priority (Parameter)
Declared as: in Task_Priority_Control.Passive_Task_Priority
Formal [cell_pool.ads, 62] Cell_Pool
Cell_Pool.Share.K (Parameter)
Declared as: in Key
Spec [cell_pool.ads, 110] Cell_Pool.Share
Cell_Stream.Get.Addr (Parameter)
Declared as: in System.Address
Spec [cell_stream.ads, 117] Cell_Stream.Get
Cell_Stream.Get.C (Parameter)
Declared as: in Cell_Package.Cell_Ref
Spec [cell_stream.ads, 114] Cell_Stream.Get
Cell_Stream.Get.Gp (Parameter)
Declared as: in out Get_Position
Spec [cell_stream.ads, 116] Cell_Stream.Get
Cell_Stream.Get.Object_Size (Parameter)
Declared as: in Basic_Types.Bit_Size
Spec [cell_stream.ads, 119] Cell_Stream.Get
Cell_Stream.Get.Pp (Parameter)
Declared as: in Put_Position
Spec [cell_stream.ads, 115] Cell_Stream.Get
Cell_Stream.Get.Sign_Extend (Parameter)
Declared as: in Boolean
Spec [cell_stream.ads, 120] Cell_Stream.Get
Cell_Stream.Get.Type_Size (Parameter)
Declared as: in Basic_Types.Bit_Size
Spec [cell_stream.ads, 118] Cell_Stream.Get
Cell_Stream.Init_Get_Position (Constant)
Declared as: constant Get_Position := Get_Position'first
Set [cell_stream.ads, 71] Cell_Stream
Declare [cell_stream.ads, 71] Cell_Stream
Cell_Stream.Init_Put_Position (Constant)
Declared as: constant Put_Position := Put_Position'first
Set [cell_stream.ads, 67] Cell_Stream
Declare [cell_stream.ads, 67] Cell_Stream
Cell_Stream.Put.Addr (Parameter)
Declared as: in System.Address
Spec [cell_stream.ads, 90] Cell_Stream.Put
Cell_Stream.Put.C (Parameter)
Declared as: in Cell_Package.Cell_Ref
Spec [cell_stream.ads, 88] Cell_Stream.Put
Cell_Stream.Put.Object_Size (Parameter)
Declared as: in Basic_Types.Bit_Size
Spec [cell_stream.ads, 92] Cell_Stream.Put
Cell_Stream.Put.Pp (Parameter)
Declared as: in out Put_Position
Spec [cell_stream.ads, 89] Cell_Stream.Put
Cell_Stream.Put.Type_Size (Parameter)
Declared as: in Basic_Types.Bit_Size
Spec [cell_stream.ads, 91] Cell_Stream.Put
Check_Enumeration.E (Parameter)
Declared as: in Enumeration
Spec [check_enumeration.ads, 57] Check_Enumeration
Check_Integer.I (Parameter)
Declared as: in Integer_Type
Spec [check_integer.ads, 54] Check_Integer
Circular_Buffer.Buffer_Priority (Parameter)
Declared as: in Task_Priority_Control.Passive_Task_Priority
Formal [circular_buffer.ads, 57] Circular_Buffer
Circular_Buffer.Buffer_Size (Parameter)
Declared as: Positive
Formal [circular_buffer.ads, 56] Circular_Buffer
Circular_Buffer.Get.Number_Of_Bytes (Parameter)
Declared as: in Positive
Spec [circular_buffer.ads, 107] Circular_Buffer.Get
Circular_Buffer.Put.Elem (Parameter)
Declared as: in Element_Type
Spec [circular_buffer.ads, 76] Circular_Buffer.Put
Circular_Buffer.Put.Elem_Array (Parameter)
Declared as: in Element_Type_Array
Spec [circular_buffer.ads, 87] Circular_Buffer.Put
Cyclic_Task.Controller_Task_Priority (Parameter)
Declared as: in Task_Priority_Control.Passive_Task_Priority := Task_Priority_Control.Passive_Task_Priority'last
Set [cyclic_task.ads, 64] Cyclic_Task
Formal [cyclic_task.ads, 64] Cyclic_Task
Cyclic_Task.Cyclic_Task_Period (Parameter)
Declared as: in Integer
Formal [cyclic_task.ads, 69] Cyclic_Task
Cyclic_Task.Cyclic_Task_Priority (Parameter)
Declared as: in Task_Priority_Control.Active_Task_Priority
Formal [cyclic_task.ads, 57] Cyclic_Task
Cyclic_Task.Cyclic_Task_Stack_Size (Parameter)
Declared as: in Natural
Formal [cyclic_task.ads, 58] Cyclic_Task
Cyclic_Task.Is_Initially_Started (Parameter)
Declared as: in Boolean := True
Set [cyclic_task.ads, 75] Cyclic_Task
Formal [cyclic_task.ads, 75] Cyclic_Task
Cyclic_Task.My_Application_ID (Parameter)
Declared as: in Mission_Parameters.APID
Formal [cyclic_task.ads, 54] Cyclic_Task