/usr/lib/ada/adalib/ahven/ahven-listeners.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 | 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_DISPATCH
RV NO_DISPATCHING_CALLS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_FINALIZATION
RV NO_IMPLICIT_CONDITIONALS
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05
U ahven.listeners%b ahven-listeners.adb 7b59010d DE NE OO PK
W ada.tags%s a-tags.adb a-tags.ali
W ahven%s ahven.adb ahven.ali
U ahven.listeners%s ahven-listeners.ads 89642612 DE EE OO PF PK
W ada%s ada.ads ada.ali
W ada.finalization%s a-finali.adb a-finali.ali
W ada.tags%s a-tags.adb a-tags.ali
W ahven%s ahven.adb ahven.ali
W ahven.astrings%s ahven-astrings.ads ahven-astrings.ali
W ahven.long_astrings%s ahven-long_astrings.ads ahven-long_astrings.ali
W system%s system.ads system.ali
W system.finalization_masters%s s-finmas.adb s-finmas.ali
W system.pool_global%s s-pooglo.adb s-pooglo.ali
W system.soft_links%s s-soflin.adb s-soflin.ali
W system.storage_elements%s s-stoele.adb s-stoele.ali
D ada.ads 20070406091342 3ffc8e18
D a-charac.ads 20070912115821 2d3ec45b
D a-chlat1.ads 20140225151544 66457d31
D a-except.ads 20140129161953 f86a4103
D a-finali.ads 20111121113555 52ecdc1b
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-unccon.ads 20070406091342 f9eb8f06
D ahven.ads 20140804204240 4ddcfc31
D ahven-astrings.ads 20140804204240 1b9f3e2c
D ahven-listeners.ads 20140804204240 abe83d31
D ahven-listeners.adb 20140804204240 d0b13c3c
D ahven-long_astrings.ads 20140804204240 26230525
D system.ads 20140730121111 90249111
D s-exctab.ads 20140225151139 54135002
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-traent.ads 20140225151139 b5116092
D s-unstyp.ads 20140225151139 510692af
X 1 ada.ads
16K9*Ada 19e8 15|17r6 41r19
X 5 a-finali.ads
40K13*Finalization 73e21 15|17w10 41r23
55H9*Limited_Controlled<21|40R9> 71e55 15|41r36
58U14*Initialize<21|44p14>
59U14*Finalize<21|43p14>
X 8 a-strbou.ads
50R12*Bounded_String<10|47R9> 15|28r28[14|19] 34r37[14|19] 35r37[14|19] 36r42[17|19]
X 13 ahven.ads
18K9*Ahven 46e10 15|18r6 19r6 21r9 75r5 16|17r14 26r5
X 14 ahven-astrings.ads
19K15*AStrings[8|46] 15|18w12 28r19 34r28 35r28
X 15 ahven-listeners.ads
21K15*Listeners 13|18k9 15|75l11 75e20 16|17b20 26l11 26t20
22E9*Test_Phase 22e55 27r26
22n24*TEST_BEGIN{22E9} 31r15
22n36*TEST_RUN{22E9} 33r15
22n46*TEST_END{22E9} 31r28
25E9*Test_Type 25e42 29r19
25n23*CONTAINER{25E9}
25n34*ROUTINE{25E9}
27R9*Context 27d18 38e14 49r42 53r45 57r45 65r43 69r44 73r42 16|19r45
27e18*Phase{22E9} 30r12
28r7*Test_Name{8|50R12[14|19]}
29e7*Test_Kind{25E9}
34r13*Routine_Name{8|50R12[14|19]}
35r13*Message{8|50R12[14|19]}
36r13*Long_Message{8|50R12[17|19]}
40H9*Result_Listener<5|55R9> 5|58P14 59P14 15|41e71 46r52 48p14 48r42 52p14
. 52r45 56p14 56r45 64p14 64r43 68p14 68r44 72p14 72r42 16|18r45 24r20 21|42p14
46P9*Result_Listener_Class_Access(40R9)
48x14*Add_Pass 48=24 49>24
48r24 Listener{40R9}
49r24 Info{27R9}
52x14*Add_Failure 52=27 53>27 16|24R7
52r27 Listener{40R9}
53r27 Info{27R9}
56U14*Add_Skipped 56=27 57>27 16|18b14 25l8 25t19
56r27 Listener{40R9} 16|18b27 24m43 24r43
57r27 Info{27R9} 16|19b27 24r54
64x14*Add_Error 64=25 65>25
64r25 Listener{40R9}
65r25 Info{27R9}
68x14*Start_Test 68=26 69>26
68r26 Listener{40R9}
69r26 Info{27R9}
72x14*End_Test 72=24 73>24
72r24 Listener{40R9}
73r24 Info{27R9}
X 17 ahven-long_astrings.ads
19K15*Long_AStrings[8|46] 15|19w12 36r28
X 21 s-finroo.ads
42U14*Adjust
|