/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/opentoken-token-enumerated-list.ali is in libopentoken4-dev 5.0a-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 | V "GNAT Lib v4.9"
A -O2
A -fPIC
A -fstack-protector
A -g
A -gnatf
A -gnatn
A -gnato
A -gnatwa
A -gnatVa
A -gnatA
P SS ZX
RN
RV NO_ALLOCATORS
RV NO_LOCAL_ALLOCATORS
RV NO_NESTED_FINALIZATION
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_DEALLOCATION
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05
U opentoken.token.enumerated.list%b opentoken-token-enumerated-list.adb 6a38696d NE OO PK GE
W ada%s ada.ads ada.ali
W ada.unchecked_deallocation%s
W opentoken.token.enumerated%s opentoken-token-enumerated.adb opentoken-token-enumerated.ali
U opentoken.token.enumerated.list%s opentoken-token-enumerated-list.ads 41f60397 BN EE NE OO PK GE
W opentoken.token%s opentoken-token.adb opentoken-token.ali
W opentoken.token.enumerated%s opentoken-token-enumerated.adb opentoken-token-enumerated.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-strbou.adb 20090409150019 adb4aa70
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 a-uncdea.ads 20070406091342 f15a5ed1
D opentoken.ads 20140221201457 fc81ed4c
D opentoken-recognizer.ads 20140221201457 ddbf64ff
D opentoken-token.ads 20140221201457 1cfab97b
D opentoken-token-enumerated.ads 20140221201457 caac1aa4
D opentoken-token-enumerated-list.ads 20140221201457 8b5a1933
D opentoken-token-enumerated-list.adb 20140221201457 10382e8f
D opentoken-token-linked_list.ads 20140221201457 6abdfc9f
D system.ads 20140424202341 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-stratt.ads 20131014135145 aedef97e
D s-traent.ads 20140225151139 b5116092
D s-unstyp.ads 20140225151139 510692af
X 1 ada.ads
16K9*Ada 19e8 20|28r6 41r26 42r26
X 14 a-uncdea.ads
20u15*Unchecked_Deallocation 20|28w10 41r30 42r30
X 15 opentoken.ads
42K9*OpenToken 78e14 19|34r9 124r5 20|39r14 43r7 43r41 62r32 64r37 74r29
. 75r29 77r37 81r51 89r29 92r37 105r29 107r37 142r38 195r63 205r5
X 17 opentoken-token.ads
36K19*Token 15|42k9 17|155e20 19|34r19 124r15 20|39r24 43r17 43r51 62r42
. 64r47 74r39 75r39 77r47 81r61 89r39 92r47 105r39 107r47 142r48 195r73 205r15
X 18 opentoken-token-enumerated.ads
46E9 Token_ID 19|92r53 20|200r53
55k25*Enumerated 17|36k19 18|179e31 19|34r25 124r21 20|39r30 43r23 43r57
. 62r48 64r53 74r45 75r45 77r53 81r67 89r45 92r53 105r45 107r53 142r54 195r79
. 205r21
62C12*Class<60R9> 19|45r32 50r29 51r29 56r29 59r29 20|43r34 62r59 64r64 74r56
. 75r56 77r64 81r78 89r56 92r64 105r56 107r64
64P9*Handle(62C12) 19|91r63 103r38 110r15 20|43r68 142r65 195r90
132V13*ID{46E9} 20|202s14
X 19 opentoken-token-enumerated-list.ads
34k36 List 18|55k25 19|107E9 124l32 124e36 20|39b41 205l32 205t36
36R9*Instance 38r25 40p13 40r31 45p13 45r46 50p14 51r43 56p14 57r29 57r46
. 58p14 58r29 59r43 64p14 64r29 65r29 65r46 71p14 71r35 79p13 79r41 102p14
. 102r38 114c9 117e14 122r25 20|45r31 62r73 75r70 90r29 90r46 104r29 105r70
. 125r29 126r29 126r46 141r38 159r35 178r41
38r4*Null_List{36R9} 122c4
40V13*Length{natural} 40>21 20|45b13 57l8 57t14
40r21 Item{36R9} 20|45b21 47r33
45V13*Only{36R9} 45>19 20|62b13 69l8 69t12
45c19 Subject{18|62C12} 20|62b19 64r71
50V14*"&"{36R9} 50>18 51>18 20|74b14 84l9 84t11
50c18 Left{18|62C12} 20|74b18 81r85
51c18 Right{18|62C12} 20|75b18 77r71
56V14*"&"{36R9} 56>18 57>18 20|89b14 102l9 102t11
56c18 Left{18|62C12} 20|89b18 92r71
57r18 Right{36R9} 20|90b18 93r33 94r36
58V14*"&"{36R9} 58>18 59>18 20|104b14 120l9 120t11
58r18 Left{36R9} 20|104b18 111r10 114r28 115r10
59c18 Right{18|62C12} 20|105b18 107r71
64V14*"&"{36R9} 64>18 65>18 20|125b14 132l9 132t11
64r18 Left{36R9} 20|125b18 128r7 129r23
65r18 Right{36R9} 20|126b18 128r25 130r23
71U14*Clean 71=21 20|159b14 173l8 173t13
71r21 List{36R9} 20|159b21 160r31 171m7 172m7
73P9*List_Iterator<108P9> 74r29 79r58 85r44 86r38 88r39 88r61 89r33 89r55
. 91r41 92r31 119c9 120r29 20|178r58 180r14 183r44 186r22 190r39 190r61 192r14
. 195r41 200r31
74p4*Null_Iterator{73P9} 120c4
79V13*Initial_Iterator{73P9} 79>31 20|178b13 181l8 181t24
79r31 List{36R9} 20|178b31 180r29
85U14*Next_Token 85=26 86r61 20|183b14 188l8 188t18
85p26 Iterator{73P9} 20|183b26 185r10 186m10 186r37
86U14*Next=86:61
86p20 Iterator{73P9}
88V13*Next_Token{73P9} 88>25 89r77 20|190b13 193l8 193t18
88p25 Iterator{73P9} 20|190b25 192r29
89V13*Next=89:77{73P9}
89p19 Iterator{73P9}
91V13*Token_Handle{18|64P9} 91>27 20|195b13 198l8 198t20 202s18
91p27 Iterator{73P9} 20|195b27 197r14
92V13*ID{18|46E9} 92>17 20|200b13 203l8 203t10
92p17 Iterator{73P9} 20|200b17 202r32
102U14*Enqueue 102=23 103>23 20|141b14 153l8 153t15
102r23 List{36R9} 20|141b23 146r33 149r10 150m10 152m7
103p23 Token{18|64P9} 20|142b23 145r33
107R9 List_Node 108r33 109c9 112e14 20|41r54 64r13 77r13 81r27 92r13 107r13
. 145r13
108P9 List_Node_Ptr(107R9) 111r15 115r14 116r14 119r30 20|41r65 47r16 63r27
. 76r29 91r28 94r19 106r27 109r20 144r27 160r14 161r14
110p7 Token{18|64P9} 20|64m24 77m24 81m38 92m24 107m24 145m24 166m21 197r23
111p7 Next{108P9} 20|53r25 65m24 78m24 82m38 93m24 108m24 115m20 128m17 146m24
. 165r23 186r46 192r38
115p7 Head{108P9} 20|47r38 67m15 81m15 93r39 99m15 114r33 117m15 128r31 129m15
. 129r28 146r38 152m12 160r36 171m12 180r34
116p7 Tail{108P9} 20|68m15 83m15 94r42 100m15 111r15 115r14 115r15 118m15
. 128r11 128r12 130m15 130r29 149r15 150m15 172m12
X 20 opentoken-token-enumerated-list.adb
41U14 Free[14|20] 167s10
42U14 Free[14|20] 166s10
47p7 Node{19|108P9} 51r20 53m10 53r20
48i7 Result{natural} 52m10 52r20 56r14
63p7 New_Node{19|108P9} 67r23 68r23
76p7 Right_Node{19|108P9} 82r47 83r23
91p7 Left_Node{19|108P9} 97r23 99r23
94p7 Last_Node{19|108P9} 96r10 97m10 100r23
106p7 New_Node{19|108P9} 112r24 115r28 118r23
109p7 First_Node{19|108P9} 112m10 114m10 117r23
144p7 New_Node{19|108P9} 150r23 152r20
160p7 Node{19|108P9} 164r13 165r18 166r16 167m16 167r16 168m10
161p7 Next{19|108P9} 165m10 168r18
|