libahven4-dev 2.4+repack-1 / usr / lib / ada / adalib / ahven / ahven-parameters.ali

This file is indexed.

/usr/lib/ada/adalib/ahven/ahven-parameters.ali is in libahven4-dev 2.4+repack-1.

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
V "GNAT Lib v4.9"
A -O2
A -fPIC
A -fstack-protector
A -g
A -gnatf
A -gnatVa
A -gnato
A -gnatwe
A -gnatwa
A -gnatwl
A -gnatE
A -gnatwF
A -gnatyd
A -gnaty3
A -gnatyi
A -gnatyb
A -gnatym
A -gnatyh
A -gnatye
A -gnatyx
A -gnat95
A -g
A -gnatA
P SS ZX

RN
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_EXCEPTIONS
RV NO_FIXED_POINT
RV NO_IO
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05

U ahven.parameters%b	ahven-parameters.adb	7e8ee7e7 DE NE OO PK
W ada%s			ada.ads			ada.ali
W ada.command_line%s	a-comlin.adb		a-comlin.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W ada.text_io%s		a-textio.adb		a-textio.ali
W ahven%s		ahven.adb		ahven.ali
W interfaces%s		interfac.ads		interfac.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
W system.val_real%s	s-valrea.adb		s-valrea.ali

U ahven.parameters%s	ahven-parameters.ads	cbcc7887 DE EE OO PK
W ada.tags%s		a-tags.adb		a-tags.ali
W ahven%s		ahven.adb		ahven.ali
W ahven.framework%s	ahven-framework.adb	ahven-framework.ali
W interfaces%s		interfac.ads		interfac.ali
W system%s		system.ads		system.ali
W system.exception_table%s  s-exctab.adb	s-exctab.ali
W system.standard_library%s  s-stalib.adb	s-stalib.ali

D ada.ads		20070406091342 3ffc8e18
D a-charac.ads		20070912115821 2d3ec45b
D a-chlat1.ads		20140225151544 66457d31
D a-comlin.ads		20140225151544 ea62afbc
D a-except.ads		20140129161953 f86a4103
D a-finali.ads		20111121113555 52ecdc1b
D a-ioexce.ads		20140225151544 e4a01f64
D a-stream.ads		20140122164720 1a984740
D a-string.ads		20070406091342 90ac6797
D a-strbou.ads		20101008130255 9806fe84
D a-strmap.ads		20090409150019 9cb836fb
D a-strsup.ads		20120309145048 a27dcb33
D a-tags.ads		20111212115430 6c0509d0
D a-textio.ads		20140129155348 386df5d4
D a-unccon.ads		20070406091342 f9eb8f06
D a-uncdea.ads		20070406091342 f15a5ed1
D ahven.ads		20140804204240 4ddcfc31
D ahven-astrings.ads	20140804204240 1b9f3e2c
D ahven-framework.ads	20140804204240 7f496604
D ahven-listeners.ads	20140804204240 abe83d31
D ahven-long_astrings.ads  20140804204240 26230525
D ahven-parameters.ads	20140804204240 f959e2b2
D ahven-parameters.adb	20140804204240 55d85f3d
D ahven-slist.ads	20140804204240 664b6dad
D interfac.ads		20140225151838 69adb1b9
D i-cstrea.ads		20130412125801 8128536b
D system.ads		20140730121111 90249111
D s-crtl.ads		20140225151544 840e6817
D s-exctab.ads		20140225151139 54135002
D s-ficobl.ads		20120709130952 55a71d43
D s-finmas.ads		20140225151139 814daec4
D s-finroo.ads		20120426095924 4ff27390
D s-parame.ads		20140225151139 ab8cb46a
D s-pooglo.ads		20110804083314 542f33d0
D s-secsta.ads		20140225151139 86a2856d
D s-soflin.ads		20140225151139 aa763b52
D s-stache.ads		20140225151139 a37c21ec
D s-stalib.ads		20140225151139 a891183f
D s-stoele.ads		20140225151139 2dc34a04
D s-stoele.adb		20140225151139 ed88f8fb
D s-stopoo.ads		20131010103753 b16154c2
D s-stratt.ads		20131014135145 aedef97e
D s-string.ads		20140225151139 8fe54fb7
D s-ststop.ads		20140225151139 e6693757
D s-traent.ads		20140225151139 b5116092
D s-unstyp.ads		20140225151139 510692af
D s-valrea.ads		20090409150019 fe297711
D s-wchcon.ads		20140225151139 1b7d22d2
X 1 ada.ads
16K9*Ada 19e8 23|17r6 18r6 20r5 21r5
X 4 a-comlin.ads
38K13*Command_Line 139e21 23|17w10 20r9
41V13*Argument_Count{natural} 23|122s36
48V13*Argument{string} 23|123s34 173s17 182s17
X 14 a-textio.ads
49K13*Text_IO 471e16 23|18w10 21r9
263U14*Put_Line 23|134s13 136s13 137s13 139s13 141s7 142s7 143s7 144s7 145s7
X 17 ahven.ads
18K9*Ahven 46e10 22|17r6 25r9 77r5 23|23r14 190r5
X 19 ahven-framework.ads
27K15*Framework 365e20 22|17w12 60r52 75r24 23|97r26 186r52
31O12*Test_Duration{duration} 22|60r62 75r34 23|97r36 186r62
X 22 ahven-parameters.ads
25K15*Parameters 17|18k9 22|64E9 77l11 77e21 23|23b20 190l11 190t21
27X4*Invalid_Parameter 23|42r25 46r25 69r22 126r16
29R9*Parameter_Info 34r43 42r29 45r29 48r33 51r33 54r31 57r32 60r29 64c9
. 76e14 23|32r47 78r43 79r50 88r50 148r29 153r29 158r33 163r33 168r31 177r32
. 186r29
31E9*Parameter_Mode 31e62 33r43 39r28 23|33r47 77r43 130r28
31n28*NORMAL_PARAMETERS{31E9} 39r46 23|40r18 130r46 133r15
31n47*TAP_PARAMETERS{31E9} 23|44r18 138r15
33U14*Parse_Parameters 33>32 34<32 23|77b14 128l8 128t24
33e32 Mode{31E9} 23|77b32 105r27
34r32 Info{29R9} 23|78b32 116m7 123m28
39U14*Usage 39>21 23|130b14 146l8 146t13
39e21 Mode{31E9} 23|130b21 132r12
42V13*Capture{boolean} 42>22 23|148b13 151l8 151t15
42r22 Info{29R9} 23|148b22 150r14
45V13*Verbose{boolean} 45>22 23|153b13 156l8 156t15
45r22 Info{29R9} 23|153b22 155r14
48V13*XML_Results{boolean} 48>26 23|158b13 161l8 161t19
48r26 Info{29R9} 23|158b26 160r14
51V13*Single_Test{boolean} 51>26 23|163b13 166l8 166t19
51r26 Info{29R9} 23|163b26 165r15
54V13*Test_Name{string} 54>24 23|168b13 175l8 175t17
54r24 Info{29R9} 23|168b24 170r10 173r27
57V13*Result_Dir{string} 57>25 23|177b13 184l8 184t18
57r25 Info{29R9} 23|177b25 179r10 182r27
60V13*Timeout{19|31O12} 60>22 23|186b13 189l8 189t15
60r22 Info{29R9} 23|186b22 188r14
65b7*Verbose_Output{boolean} 23|63m21 65m21 116m16 155r19
66b7*Xml_Output{boolean} 23|67m21 117m16 160r19
67b7*Capture_Output{boolean} 23|57m21 118m16 150r19
69i7*Test_Name{natural} 23|110m18 119m16 165r20 170r15 173r32
72i7*Result_Dir{natural} 23|94m15 120m16 179r15 182r32
75o7*Timeout{19|31O12} 23|97m15 121m16 188r19
X 23 ahven-parameters.adb
32U14 Parse_Options 32b14 32=29 33>29 34>29 35<29 36<29 72l8 72t21 103s16
32r29 Info{22|29R9} 57m16 63m16 65m16 67m16 104r19
33e29 Mode{22|31E9} 39r15 105r19
34s29 Option{string} 53r16 54r25 55r15 106r19
35b29 Dir_Next{boolean} 51m7 59m16 107r19
36b29 Timeout_Next{boolean} 52m7 61m16 108r19
37U17 Check_Invalid 37b17 37>32 49l11 49t24 54s10
37e32 C{character} 41r19 45r20 45r33
53i11 A{integer} 54r33 55r23
79U17 Handle_Parameter 79=35 80>35 81>35 88b17 113l11 113t27 123s10
79r35 P{22|29R9} 88b35 94m13 97m13 104m27 110m16
80s35 Arg{string} 89b35 97r57 99r16 101r16 102r38 102r43 106r29 106r34 106r51
81i35 Index{positive} 90b35 94r29 110r31
84b7 Files_Only{boolean} 100m13 102r21
85b7 Dir_Next{boolean} 93r13 95m13 107m31 125r10
86b7 Timeout_Next{boolean} 96r16 98m13 108m35
122i11 A{integer} 123r44 123r48

APT Browse - Built by Thomas Orozco.