libalog2-dev 0.5.2-2 / usr / lib / ada / adalib / alog / alog-controlled_map.ali

This file is indexed.

/usr/lib/ada/adalib/alog/alog-controlled_map.ali is in libalog2-dev 0.5.2-2.

This file is owned by root:root, with mode 0o444.

The actual contents of the file can be viewed below. 

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
V "GNAT Lib v6"
A -O2
A -O2
A -gnatA
A -gnatyg
A -gnatyA
A -gnatyd
A -gnatyI
A -gnatyS
A -gnatyu
A -gnatyx
A -gnatyo
A -gnatVa
A -gnat05
A -gnatwa
A -gnatwl
A -gnatf
A -fstack-check=specific
A -gnato
A -gnatwe
A -g
A -fdebug-prefix-map=/build/libalog-M0XG66/libalog-0.5.2=.
A -fstack-protector-strong
A -g
A -fdebug-prefix-map=/build/libalog-M0XG66/libalog-0.5.2=.
A -fstack-protector-strong
A -mtune=generic
A -march=x86-64
P DB ZX

RN
RV NO_ACCESS_SUBPROGRAMS
RV NO_FINALIZATION
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_DEALLOCATION
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U alog.controlled_map%b	alog-controlled_map.adb	bfb98ea0 NE OO PK GE
W ada%s			ada.ads			ada.ali
W ada.unchecked_deallocation%s
W alog%s		alog.ads		alog.ali

U alog.controlled_map%s	alog-controlled_map.ads	e7ba244f BN NE OO PR PK GE
W ada%s			ada.ads			ada.ali
W ada.containers%s	a-contai.ads		a-contai.ali
Z ada.containers.helpers%s  a-conhel.adb	a-conhel.ali
W ada.containers.indefinite_ordered_maps%s
Z ada.containers.red_black_trees%s  a-crbltr.ads  a-crbltr.ali
Z ada.containers.red_black_trees.generic_keys%s
Z ada.containers.red_black_trees.generic_operations%s
W ada.finalization%s	a-finali.ads		a-finali.ali
Z ada.iterator_interfaces%s
W ada.streams%s		a-stream.adb		a-stream.ali
W ada.tags%s		a-tags.adb		a-tags.ali
Z ada.unchecked_deallocation%s
W alog%s		alog.ads		alog.ali
W system%s		system.ads		system.ali

D ada.ads		20070406091342 3ffc8e18 ada%s
D a-contai.ads		20151020122137 61e5e089 ada.containers%s
D a-conhel.ads		20151023123735 20298884 ada.containers.helpers%s
D a-conhel.adb		20151023123735 34fff4f6 ada.containers.helpers%b
D a-ciorma.ads		20151023123735 e1f95638 ada.containers.indefinite_ordered_maps%s
D a-ciorma.adb		20151023123735 69bcea7f ada.containers.indefinite_ordered_maps%b
D a-crbltr.ads		20151020102346 c3e90a86 ada.containers.red_black_trees%s
D a-crbtgk.ads		20151020102346 ab25d217 ada.containers.red_black_trees.generic_keys%s
D a-crbtgk.adb		20151020102346 cffbc19e ada.containers.red_black_trees.generic_keys%b
D a-crbtgo.ads		20151020102346 e494c304 ada.containers.red_black_trees.generic_operations%s
D a-crbtgo.adb		20151020124036 9d75ddfc ada.containers.red_black_trees.generic_operations%b
D a-except.ads		20151016123252 291912d5 ada.exceptions%s
D a-finali.ads		20151020095656 bf4f806b ada.finalization%s
D a-iteint.ads		20110906092602 7c7305e9 ada.iterator_interfaces%s
D a-stream.ads		20141120112812 119b8fb3 ada.streams%s
D a-tags.ads		20151016130316 01f5e3ef ada.tags%s
D a-unccon.ads		20070406091342 f9eb8f06 ada.unchecked_conversion%s
D a-uncdea.ads		20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D alog.ads		20160708130246 7e9aed5d alog%s
D alog-controlled_map.ads  20160708130246 c7961f41 alog.controlled_map%s
D alog-controlled_map.adb  20160708130246 8975cf30 alog.controlled_map%b
D system.ads		20151123113124 6326c08a system%s
D s-atocou.ads		20151020101020 b45c2d8d system.atomic_counters%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-finroo.ads		20120426095924 4ff27390 system.finalization_root%s
D s-parame.ads		20140801093848 7e2a0d7f system.parameters%s
D s-soflin.ads		20151020124036 14e1eb6c system.soft_links%s
D s-stache.ads		20140225151139 a37c21ec system.stack_checking%s
D s-stalib.ads		20151112104907 09bd3940 system.standard_library%s
D s-stoele.ads		20140225151139 2dc34a04 system.storage_elements%s
D s-traent.ads		20140730135025 005bf670 system.traceback_entries%s
X 1 ada.ads
16K9*Ada 19e8 20|23r6 24r6 41r20 91r6 97r20 21|23r6 27r26
X 2 a-contai.ads
16K13*Containers 24e19 20|24r10 91r10
20I9*Count_Type<integer>
X 5 a-ciorma.ads
41+9 Key_Type 20|92r9
42+9 Element_Type 20|93r9
47k24*Indefinite_Ordered_Maps 388e43 20|24w21 91r21
54R9 Map<13|43R9> 20|98r19[90]
62R9 Cursor 21|36r42[20|90] 39r42[20|90] 118r47[20|90] 121r47[20|90]
75V13 Length{2|20I9} 21|135s38[20|90]
77V13 Is_Empty{boolean} 21|109s29[20|90]
79U14 Clear 21|48s22[20|90]
83V13 Element{20|29P9} 21|41s17[20|90] 123s17[20|90]
83r22 Position{62R9[20|90]} 21|41r26[20|90] 123r26[20|90]
143U14 Insert 21|101s22[20|90]
145*7 Key{20|27+9} 21|101r30[20|90]
146*7 New_Item{20|29P9} 21|102r30[20|90]
160U14 Delete 21|71s22[20|90]
160*46 Key{20|27+9} 21|71r30[20|90]
190V13 Element{20|29P9} 21|69s24[20|90] 83s29[20|90]
190*39 Key{20|27+9} 21|69r33[20|90] 83r38[20|90]
196V13 Contains{boolean} 21|59s29[20|90]
196*40 Key{20|27+9} 21|59r39[20|90]
210U14 Iterate 21|47s22[20|90] 128s22[20|90]
212p7 Process 21|128r31[20|90]
236R9 Node_Type
237P9 Node_Access(236R9[20|90])
X 6 a-ciorma.adb
56V13 Color{7|37E9} 10|45i19[20|90]
59V13 Left{5|237P9[20|90]} 10|41i19[20|90]
62V13 Parent{5|237P9} 10|39i19
65V13 Right{5|237P9[20|90]} 10|43i19[20|90]
68U14 Set_Parent 10|40i19
71U14 Set_Left 10|42i19
74U14 Set_Right 10|44i19[20|90]
77U14 Set_Color 10|46i19
X 13 a-finali.ads
40K13*Finalization 68e21 20|23w10 41r24 97r24
50H9*Limited_Controlled<25|40R9> 66e55 20|41r37 97r37
53U14*Initialize<25|44p14>
X 18 a-uncdea.ads
17+9 Object 21|28r7
18P9 Name(17+9) 21|29r7
20u15*Unchecked_Deallocation 21|23w10 27r30
20*39 X{20|29P9} 21|43r16[27]
X 19 alog.ads
27K9*Alog 50e9 20|37r9 101r5 21|25r14 138r5
X 20 alog-controlled_map.ads
27+9 Key_Type 31r37 46r26 52r19 58r26 64r19 92r25 21|55r19 66r26 79r19 97r26
28+9 Element_Type 29r34 21|28r17
29P9 Element_Handle(28+9) 47r26 53r14 79r55 93r25 21|29r17 40r19 68r16 80r14
. 98r26 116r55 122r30
31V19 "<"{boolean} 5|44i19 20|31>23 31>29
31*23 Left{27+9}
31*29 Right{27+9}
37k14*Controlled_Map 19|27k9 20|27z9 28z9 29z9 31z19 86E14 101l10 101e24
. 21|25b19 138l10 138t24
41R9*Map<13|50R9> 13|53P14 20|44p14 45r26 50p13 51r19 56p14 57r26 62p13 63r19
. 68p13 68r35 71p14 71r40 74p13 74r33 77p14 78r19 86P14 86r43 97c9 99e14
. 21|34r40 54r19 65r26 78r19 88r43 96r26 107r35 115r19 133r33 25|42p14
44U14*Insert 45=7 46>7 47>7 21|95b14 103l8 103t14
45r7 Container{41R9} 21|96b7 101m7 101r7
46*7 Key{27+9} 21|97b7 101r42
47*7 New_Item{29P9} 21|98b7 102r42
50V13*Element{29P9} 51>7 52>7 21|77b13 84l8 84t15
51r7 Container{41R9} 21|78b7 83r14
52*7 Key{27+9} 21|79b7 83r45
56U14*Delete 57=7 58>7 21|64b14 73l8 73t14
57r7 Container{41R9} 21|65b7 69r9 71m7 71r7
58*7 Key{27+9} 21|66b7 69r40 71r37
62V13*Contains{boolean} 63>7 64>7 21|53b13 60l8 60t16
63r7 Container{41R9} 21|54b7 59r14
64*7 Key{27+9} 21|55b7 59r46
68V13*Is_Empty{boolean} 68>23 21|107b13 110l8 110t16
68r23 Container{41R9} 21|107b23 109r14
71U14*Clear 71=21 21|34b14 49l8 49t13 90s17
71r21 Container{41R9} 21|34b21 47r7 48m7 48r7
74V13*Length{natural} 74>21 21|133b13 136l8 136t14
74r21 Container{41R9} 21|133b21 135r23
77U14*Iterate 78>7 79^7 21|114b14 129l8 129t15
78r7 Container{41R9} 21|115b7 128r7
79p7 Process 21|116b7 125r10
79*46 Handle{29P9} 21|125r19
86U14 Finalize<13|54p14> 86=24 21|88b14 91l8 91t16
86r24 Container{41R9} 21|88b24 90m7 90r7
90K12 Map_Of_Elements_Package[5|47] 95r25
95K12 MOEP=95:25 98r14 21|36r37 39r37 41r12 118r42 121r42 123r12
98r7 Data{5|54R9[90]} 21|47r17 48m17 59r24 69r19 71m17 83r24 101m17 109r24
. 128r17 135r33
X 21 alog-controlled_map.adb
27U14 Free[18|20] 43s10 72s7
36U17 Do_Free 36>26 39b17 44l11 44t18 47r31
36r26 Position{5|62R9[20|90]} 39b26 41r38
40*10 Handle{20|29P9} 43m21 43r21
68*7 Handle{20|29P9} 72m13 72r13
116*46 Handle{20|29P9}
118U17 Call_Process 118>31 121b17 126l11 126t23 128r42
118r31 Position{5|62R9[20|90]} 121b31 123r38
122*10 E_Handle{20|29P9} 125r29
X 25 s-finroo.ads
42U14*Adjust

APT Browse - Built by Thomas Orozco.