/usr/lib/ada/adalib/ahven/ahven-parameters.ali is in libahven5-dev 2.6-1.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 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 | V "GNAT Lib v6"
A -O2
A -g
A -gnatf
A -gnatVa
A -gnato
A -gnatwe
A -gnatwa
A -gnatwl
A -gnatE
A -gnatwF
A -gnatyd
A -gnaty3
A -gnatyb
A -gnatym
A -gnatyh
A -gnatye
A -gnatyx
A -gnat95
A -g
A -fstack-protector-strong
A -gnatA
P SL SS ZX
RN
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_FIXED_POINT
RV NO_IO
RV NO_IMPLICIT_CONDITIONALS
RV NO_LOCAL_ALLOCATORS
RV NO_NESTED_FINALIZATION
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05
U ahven.parameters%b ahven-parameters.adb f68f15f7 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 ahven.astrings%s ahven-astrings.ads ahven-astrings.ali
W interfaces%s interfac.ads interfac.ali
W system%s system.ads system.ali
W system.secondary_stack%s s-secsta.adb s-secsta.ali
W system.soft_links%s s-soflin.adb s-soflin.ali
W system.standard_library%s s-stalib.adb s-stalib.ali
W system.val_real%s s-valrea.adb s-valrea.ali
U ahven.parameters%s ahven-parameters.ads 7ce4566b DE EE OO PK
W ada.exceptions%s a-except.adb a-except.ali
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 ahven.name_list%s ahven-name_list.ads ahven-name_list.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 ada%s
D a-charac.ads 20070912115821 2d3ec45b ada.characters%s
D a-chlat1.ads 20140225151544 66457d31 ada.characters.latin_1%s
D a-comlin.ads 20140225151544 ea62afbc ada.command_line%s
D a-except.ads 20151016123252 291912d5 ada.exceptions%s
D a-finali.ads 20151020095656 bf4f806b ada.finalization%s
D a-ioexce.ads 20140225151544 e4a01f64 ada.io_exceptions%s
D a-stream.ads 20141120112812 119b8fb3 ada.streams%s
D a-string.ads 20070406091342 90ac6797 ada.strings%s
D a-strbou.ads 20140731124036 53ab54ae ada.strings.bounded%s
D a-strmap.ads 20140611123156 e8bb714a ada.strings.maps%s
D a-strsup.ads 20120309145048 a27dcb33 ada.strings.superbounded%s
D a-tags.ads 20151016130316 01f5e3ef ada.tags%s
D a-textio.ads 20140717063745 386df5d4 ada.text_io%s
D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s
D a-uncdea.ads 20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D ahven.ads 20160711072733 4ddcfc31 ahven%s
D ahven-astrings.ads 20160711072733 1b9f3e2c ahven.astrings%s
D ahven-framework.ads 20160711072733 d816ccdb ahven.framework%s
D ahven-listeners.ads 20160711072733 abe83d31 ahven.listeners%s
D ahven-long_astrings.ads 20160711072733 26230525 ahven.long_astrings%s
D ahven-name_list.ads 20160711072733 88b390f5 ahven.name_list%s
D ahven-parameters.ads 20160711072733 619df674 ahven.parameters%s
D ahven-parameters.adb 20160711072733 5e8287c7 ahven.parameters%b
D ahven-slist.ads 20160711072733 664b6dad ahven.slist%s
D interfac.ads 20151118101227 4be8ce1b interfaces%s
D i-cstrea.ads 20140801100435 e53d8b8e interfaces.c_streams%s
D system.ads 20151123113124 6326c08a system%s
D s-crtl.ads 20141120112812 0ebbdb71 system.crtl%s
D s-exctab.ads 20140225151139 54135002 system.exception_table%s
D s-ficobl.ads 20140718105747 078245e4 system.file_control_block%s
D s-finmas.ads 20151016130316 7811a767 system.finalization_masters%s
D s-finroo.ads 20120426095924 4ff27390 system.finalization_root%s
D s-memory.ads 20140225151139 597d6634 system.memory%s
D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s
D s-pooglo.ads 20151118103153 ede33ef8 system.pool_global%s
D s-secsta.ads 20140225151139 86a2856d system.secondary_stack%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-stalib.adb 20140225151139 f2fe2716 system.standard_library%b
D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s
D s-stopoo.ads 20131010103753 b16154c2 system.storage_pools%s
D s-stratt.ads 20131014135145 aedef97e system.stream_attributes%s
D s-string.ads 20140225151139 8fe54fb7 system.strings%s
D s-ststop.ads 20140225151139 e6693757 system.strings.stream_ops%s
D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s
D s-unstyp.ads 20140731130224 9d58a4c0 system.unsigned_types%s
D s-valrea.ads 20150106102044 fe297711 system.val_real%s
D s-wchcon.ads 20140718092328 1b7d22d2 system.wch_con%s
X 1 ada.ads
16K9*Ada 19e8 24|17r6 18r6 22r5 23r5 126r21
X 4 a-comlin.ads
38K13*Command_Line 139e21 24|17w10 22r9 126r25
41V13*Argument_Count{natural} 24|139s36
48V13*Argument{string} 24|126s38 140s34 212s17 226s17
X 10 a-strbou.ads
50R12*Bounded_String<12|47R9>
63V16*To_Bounded_String{50R12[18|19]} 24|125s27[18|19]
67V16*To_String{string} 24|197s17[18|19]
X 14 a-textio.ads
49K13*Text_IO 471e16 24|18w10 23r9
263U14*Put_Line 24|151s13 156s13 157s13 158s13 160s13 163s7 164s7 165s7 166s7
. 167s7 168s7
X 17 ahven.ads
18K9*Ahven 46e10 23|17r6 18r6 26r9 59r13 87r5 24|20r6 25r14 192r11 202r13
. 229r5
X 18 ahven-astrings.ads
19K15*AStrings[10|46] 24|20w12 125r18 192r17
X 19 ahven-framework.ads
28K15*Framework 369e20 23|17w12 65r52 85r24 24|109r26 216r52
32O12*Test_Duration{duration} 23|65r62 85r34 24|109r36 216r62
X 22 ahven-name_list.ads
22K15*Name_List[25|21] 23|18w12 59r19 76r24 24|124r16 135r34 188r15 194r10
. 197r28 197r44 202r19
X 23 ahven-parameters.ads
26K15*Parameters 17|18k9 23|71E9 87l11 87e21 24|25b20 229l11 229t21
28X4*Invalid_Parameter 24|47r25 51r25 80r22 143r16
30R9*Parameter_Info 35r43 43r29 46r29 49r33 52r33 55r31 58r32 62r32 65r29
. 68r39 71c9 86e14 24|38r48 89r43 94r50 171r29 176r29 181r33 186r33 191r31
. 201r32 207r32 216r29 221r39
32E9*Parameter_Mode 32e62 34r43 40r28 24|39r48 88r43 147r28
32n28*NORMAL_PARAMETERS{32E9} 40r46 24|45r18 147r46 150r15
32n47*TAP_PARAMETERS{32E9} 24|49r18 159r15
34U14*Parse_Parameters 34>32 35<32 24|88b14 145l8 145t24
34e32 Mode{32E9} 24|88b32 120r29
35r32 Info{30R9} 24|89b32 132m7 140m28
40U14*Usage 40>21 24|147b14 169l8 169t13
40e21 Mode{32E9} 24|147b21 149r12
43V13*Capture{boolean} 43>22 24|171b13 174l8 174t15
43r22 Info{30R9} 24|171b22 173r14
46V13*Verbose{boolean} 46>22 24|176b13 179l8 179t15
46r22 Info{30R9} 24|176b22 178r14
49V13*XML_Results{boolean} 49>26 24|181b13 184l8 184t19
49r26 Info{30R9} 24|181b26 183r14
52V13*Single_Test{boolean} 52>26 24|186b13 189l8 189t19
52r26 Info{30R9} 24|186b26 188r33
55V13*Test_Name{string} 55>24 24|191b13 199l8 199t17
55r24 Info{30R9} 24|191b24 194r28 197r61
58V13*Test_Names{25|22R9[22|22]} 58>25 24|201b13 205l8 205t18
58r25 Info{30R9} 24|201b25 204r14
62V13*Result_Dir{string} 62>25 24|207b13 214l8 214t18
62r25 Info{30R9} 24|207b25 209r10 212r27
65V13*Timeout{19|32O12} 65>22 24|216b13 219l8 219t15
65r22 Info{30R9} 24|216b22 218r14
68V13*Test_Class_Suffix{string} 68>32 24|221b13 228l8 228t25
68r32 Info{30R9} 24|221b32 223r10 226r27
72b7*Verbose_Output{boolean} 24|69m21 71m21 132m16 178r19
73b7*Xml_Output{boolean} 24|73m21 133m16 183r19
74b7*Capture_Output{boolean} 24|63m21 134m16 173r19
76r7*Test_Names{25|22R9[22|22]} 24|124m36 135m16 188r38 194r33 197r66 204r19
79i7*Result_Dir{natural} 24|106m15 136m16 209r15 212r32
82i7*Test_Suffix{natural} 24|112m15 137m16 223r15 226r32
85o7*Timeout{19|32O12} 24|109m15 138m16 218r19
X 24 ahven-parameters.adb
26E9 Parser_State 27e62 41r48 91r15
27n7 NONE{26E9} 56r16 91r31 101r22 107r22 110r22 113r22 142r19
27n13 DIR_NEXT{26E9} 65r25 105r24
27n23 TIMEOUT_NEXT{26E9} 67r25 108r24
27n37 SUFFIX_NEXT{26E9} 75r25 111r24
27n50 IGNORE_REST{26E9} 77r25 100r21 103r24 142r37
38U14 Parse_Options 38b14 38=29 39>29 40>29 41<29 83l8 83t21 118s16
38r29 Info{23|30R9} 63m16 69m16 71m16 73m16 119r19
39e29 Mode{23|32E9} 44r15 120r19
40a29 Option{string} 59r16 60r25 61r15 121r19
41e29 State{26E9} 56m7 65m16 67m16 75m16 77m16 122r19
42U17 Check_Invalid 42b17 42>32 54l11 54t24 60s10
42e32 C{character} 46r19 50r20 50r33 50r46
58l7 Option_Loop 78r21 82l16 82e27
59i11 A{integer} 60r33 61r23
91e7 State{26E9} 100r13 101m13 103r16 105r16 107m13 108r16 110m13 111r16
. 113m13 122m29 142r10 142r28
92b7 Files_Only{boolean} 102m13 115m13 117r21
94U17 Handle_Parameter 94b17 94=35 95>35 96>35 129l11 129t27 140s10
94r35 P{23|30R9} 106m13 109m13 112m13 119m29 124m34 124r34
95a35 Arg{string} 100r37 109r57 114r16 116r16 117r38 117r43 121r29 121r34
. 121r51
96i35 Index{positive} 106r29 112r30 126r48
139i11 A{integer} 140r44 140r48
X 25 ahven-slist.ads
22R9*List<6|43R9> 23|59r29[22|22] 76r34[22|22] 24|202r29[22|22]
23P9*Cursor<67P9[22|22]>
25I12*Count_Type{natural}
32r4*Empty_List{22R9[22|22]} 24|135r44[22|22]
34U14*Append 24|124s26[22|22]
42V13*First{23P9[22|22]} 24|197s54[22|22]
48V13*Data{10|50R12[18|19]} 24|197s38[22|22]
56V13*Length{25I12[22|22]} 24|188s25[22|22] 194s20[22|22]
66R9 Node
67P9 Node_Access(66R9[22|22])
X 28 system.ads
67M9*Address
X 34 s-memory.ads
53V13*Alloc{28|67M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{28|67M9} 105i<c,__gnat_realloc>22
X 41 s-stalib.adb
93U14 Break_Start 94i<c,__gnat_break_start>22
|