/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/opentoken-production.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 160 161 162 163 164 165 | 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_IMPLEMENTATION_PRAGMAS
RV SPARK_05
U opentoken.production%b opentoken-production.adb 0d8a29d1 NE OO PK GE
W opentoken%s opentoken.adb opentoken.ali
U opentoken.production%s opentoken-production.ads 3349ec12 BN EE NE OO PK GE
W opentoken%s opentoken.adb opentoken.ali
W opentoken.token%s opentoken-token.adb opentoken-token.ali
W opentoken.token.enumerated%s opentoken-token-enumerated.adb opentoken-token-enumerated.ali EA
W opentoken.token.enumerated.list%s opentoken-token-enumerated-list.adb opentoken-token-enumerated-list.ali
W opentoken.token.enumerated.nonterminal%s opentoken-token-enumerated-nonterminal.adb opentoken-token-enumerated-nonterminal.ali
W system.finalization_masters%s s-finmas.adb s-finmas.ali
W system.pool_global%s s-pooglo.adb s-pooglo.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-production.ads 20140221201457 c154da0a
D opentoken-production.adb 20140221201457 ccdef3db
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-nonterminal.ads 20140221201457 4f6ad8c3
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 15 opentoken.ads
42K9*OpenToken 78e14 16|28r6 29r6 30r6 39r30 42r9 151r5 17|29r14 157r5
X 16 opentoken-production.ads
39K17 Token[20|55] 40r35 41r36 61r19 73r19 124r28 128r28 135r48 17|40r19
. 63r19 124r28 134r28 147r48 149r14
40K17 Token_List[21|34] 41r55 57r19 69r19 113r28 117r28 134r53 141r16 17|32r19
. 44r15 51r15 55r19 67r15 74r15 104r16 112r28 142r53 144r14
41K17 Nonterminal[22|38] 58r19 62r19 65r19 101r28 105r28 112r28 116r28 123r28
. 127r28 142r16 147r13 17|33r19 41r19 48r19 78r16 87r16 91r16 94r29 95r38
. 97r29 103r16 108r28 111r28 115r26 116r28 123r28 128r28 133r28 137r26 138r28
42k19*Production 15|42k9 16|39z17 40z17 41z17 140E9 151l15 151e25 17|29b24
. 157l15 157t25
49R9*Right_Hand_Side 59r13 63r13 66r13 71r13 75r13 80r13 102r28 106r28 140c9
. 144e14 148r13 17|34r13 42r13 49r13 57r13 65r13 72r13 79r16 88r16
56V14*"+"{49R9} 57>7 58>7 17|31b14 37l9 37t11 108s26 116s26
57r7 Tokens{21|36R9[40]} 17|32b7 36r15
58p7 Action{22|77P9[41]} 17|33b7 36r23
60V14*"+"{49R9} 61>7 62>7 17|39b14 45l9 45t11 128s26 138s26
61c7 Tokens{20|62C12[39]} 17|40b7 44r32
62p7 Action{22|77P9[41]} 17|41b7 44r41
64V14*"+"{49R9} 65>7 17|47b14 52l9 52t11
65p7 Action{22|77P9[41]} 17|48b7 51r37
68V14*"+"{49R9} 69>7 70>7 17|54b14 60l9 60t11
69r7 Tokens{21|36R9[40]} 17|55b7 59r15
70i7 Index{integer} 17|56b7 59r29
72V14*"+"{49R9} 73>7 74>7 17|62b14 68l9 68t11
73c7 Tokens{20|62C12[39]} 17|63b7 67r32
74i7 Index{integer} 17|64b7 67r47
78V14*"+"{49R9} 79>7 17|70b14 75l9 75t11
79i7 Index{integer} 17|71b7 74r43
94R9*Instance 96r30 103r27 107r27 114r27 118r27 125r27 129r27 134r36 135r31
. 136r30 146c9 149e14 17|80r13 89r13 105r13 113r27 125r27 135r27 142r36 147r31
. 152r30
96P9*Handle(94R9)
101V14*"<="{94R9} 101>19 102>19 17|77b14 84l9 84t12
101p19 LHS{22|44P9[41]} 17|78b7 82r22
102r19 RHS{49R9} 17|79b7 83r22
105V14*"<="{94R9} 105>19 106>19 17|86b14 100l9 100t12
105c19 LHS{22|42C12[41]} 17|87b7 94r48 97r48
106r19 RHS{49R9} 17|88b7 93r10 95r26 95r70 98r25
112V14*"<="{94R9} 112>19 113>19 17|102b14 109l9 109t12
112p19 LHS{22|44P9[41]} 17|103b7 107r22
113r19 RHS{21|36R9[40]} 17|104b7 108r22
116V14*"<="{94R9} 116>19 117>19 17|111b14 118l9 118t12
116c19 LHS{22|42C12[41]} 17|111b19 115r45
117r19 RHS{21|36R9[40]} 17|112b19 116r22
123V14*"<="{94R9} 123>19 124>19 17|123b14 130l9 130t12
123p19 LHS{22|44P9[41]} 17|123b19 127r22
124c19 RHS{20|62C12[39]} 17|124b19 128r22
127V14*"<="{94R9} 127>19 128>19 17|133b14 140l9 140t12
127c19 LHS{22|42C12[41]} 17|133b19 137r45
128c19 RHS{20|62C12[39]} 17|134b19 138r22
134V13*First_Token{21|73P9[40]} 134>26 17|142b13 145l8 145t19
134r26 Item{94R9} 17|142b26 144r43
135V13*LHS_ID{20|46E9[39]} 135>21 17|147b13 150l8 150t14
135r21 Item{94R9} 17|147b21 149r24
136V13*Index{integer} 136>20 17|152b13 155l8 155t13
136r20 Item{94R9} 17|152b20 154r14
141r7 Tokens{21|36R9[40]} 17|95r30 144r52
142p7 Action{22|77P9[41]} 17|93r14
143i7 Index{integer} 17|95r74 154r23
147p7 LHS{22|44P9[41]} 17|82m15 94m18 97m18 107m15 115m15 127m15 137m15 149r29
148r7 RHS{49R9} 17|83m15 95m18 98m18 108m15 116m15 128m15 138m15 144r48 154r19
X 19 opentoken-token.ads
36K19*Token 16|28r16 29r16 30r16 39r40 19|155e20
X 20 opentoken-token-enumerated.ads
46E9 Token_ID 16|135r54[39] 17|147r54[16|39]
55k25*Enumerated 16|28w22 29r22 30r22 39r46 20|179e31
60R9 Instance<19|38R9>
62C12 Class<60R9[16|39]> 16|61r25[39] 73r25[39] 124r34[39] 128r34[39] 17|40r25[16|39]
. 63r25[16|39] 124r34[16|39] 134r34[16|39]
132V13 ID{46E9[16|39]} 17|149s20[16|39]
X 21 opentoken-token-enumerated-list.ads
34k36 List 16|29w33 21|124e36
36R9 Instance 16|57r30[40] 69r30[40] 113r39[40] 117r39[40] 141r27[40] 17|32r30[16|40]
. 55r30[16|40] 104r27[16|40] 112r39[16|40]
38r4 Null_List{36R9[16|40]} 17|51r26[16|40] 74r26[16|40]
45V13 Only{36R9[16|40]} 17|44s26[16|40] 67s26[16|40]
73P9 List_Iterator<108P9[16|40]> 16|134r64[40] 17|142r64[16|40]
79V13 Initial_Iterator{73P9[16|40]} 17|144s25[16|40]
107R9 List_Node
108P9 List_Node_Ptr(107R9[16|40])
X 22 opentoken-token-enumerated-nonterminal.ads
38k36 Nonterminal 16|30w33 22|203e43
40R9 Instance<20|60R9[16|39]>
42C12 Class<40R9[16|41]> 16|105r40[41] 116r40[41] 127r40[41] 17|87r28[16|41]
. 94r41[16|41] 97r41[16|41] 111r40[16|41] 115r38[16|41] 133r40[16|41] 137r38[16|41]
44P9 Handle(42C12[16|41]) 16|101r40[41] 112r40[41] 123r40[41] 147r25[41]
. 17|78r28[16|41] 103r28[16|41] 123r40[16|41]
77P9 Synthesize 16|58r31[41] 62r31[41] 65r31[41] 142r28[41] 17|33r31[16|41]
. 41r31[16|41] 48r31[16|41] 91r28[16|41]
98p4 Synthesize_Default{77P9[16|41]} 17|95r50[16|41] 108r40[16|41] 116r40[16|41]
. 128r40[16|41] 138r40[16|41]
|