/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/opentoken-production.ali is in libopentoken5-dev 6.0b-4.
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 | V "GNAT Lib v4.9"
A -O2
A -fPIC
A -fstack-protector-strong
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 604852f8 NE OO PK GE
W opentoken%s opentoken.adb opentoken.ali
U opentoken.production%s opentoken-production.ads 96729564 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 20150510192240 8bdd0f75
D opentoken-production.ads 20150510192240 f4220730
D opentoken-production.adb 20150510192240 946a55c8
D opentoken-recognizer.ads 20150510192240 ddbf64ff
D opentoken-text_feeder.ads 20150510192240 6fb472c4
D opentoken-token.ads 20150510192240 f518d836
D opentoken-token-enumerated.ads 20150510192240 fdf7729b
D opentoken-token-enumerated-list.ads 20150510192240 9e58d338
D opentoken-token-enumerated-nonterminal.ads 20150510192240 77d54e19
D opentoken-token-linked_list.ads 20150510192240 6abdfc9f
D system.ads 20151121115557 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 82e14 16|28r6 29r6 38r30 41r9 152r5 17|29r14 168r5
X 16 opentoken-production.ads
38K17 Token[21|59] 39r35 40r36 60r19 72r19 123r28 127r28 135r48 17|40r19
. 63r19 124r28 134r28 152r48 154r14
39K17 Token_List[22|34] 40r55 56r19 68r19 112r28 116r28 133r53 142r16 17|32r19
. 44r15 51r15 55r19 67r15 74r15 104r16 112r28 142r53 144r14
40K17 Nonterminal[23|38] 57r19 61r19 64r19 100r28 104r28 111r28 115r28 122r28
. 126r28 134r45 137r48 143r16 148r13 17|33r19 41r19 48r19 78r16 87r16 91r16
. 94r29 95r38 97r29 103r16 108r28 111r28 115r26 116r28 123r28 128r28 133r28
. 137r26 138r28 147r45 162r48
41k19*Production 15|42k9 16|38z17 39z17 40z17 141E9 152l15 152e25 17|29b24
. 168l15 168t25
48R9*Right_Hand_Side 58r13 62r13 65r13 70r13 74r13 79r13 101r28 105r28 141c9
. 145e14 149r13 17|34r13 42r13 49r13 57r13 65r13 72r13 79r16 88r16
55V14*"+"{48R9} 56>7 57>7 17|31b14 37l9 37t11 108s26 116s26
56r7 Tokens{22|36R9[39]} 17|32b7 36r15
57p7 Action{23|80P9[40]} 17|33b7 36r23
59V14*"+"{48R9} 60>7 61>7 17|39b14 45l9 45t11 128s26 138s26
60c7 Tokens{21|66C12[38]} 17|40b7 44r32
61p7 Action{23|80P9[40]} 17|41b7 44r41
63V14*"+"{48R9} 64>7 17|47b14 52l9 52t11
64p7 Action{23|80P9[40]} 17|48b7 51r37
67V14*"+"{48R9} 68>7 69>7 17|54b14 60l9 60t11
68r7 Tokens{22|36R9[39]} 17|55b7 59r15
69i7 Index{integer} 17|56b7 59r29
71V14*"+"{48R9} 72>7 73>7 17|62b14 68l9 68t11
72c7 Tokens{21|66C12[38]} 17|63b7 67r32
73i7 Index{integer} 17|64b7 67r47
77V14*"+"{48R9} 78>7 17|70b14 75l9 75t11
78i7 Index{integer} 17|71b7 74r43
93R9*Instance 95r30 102r27 106r27 113r27 117r27 124r27 128r27 133r36 134r28
. 135r31 136r30 137r31 147c9 150e14 17|80r13 89r13 105r13 113r27 125r27 135r27
. 142r36 147r28 152r31 157r30 162r31
95P9*Handle(93R9)
100V14*"<="{93R9} 100>19 101>19 17|77b14 84l9 84t12
100p19 LHS{23|44P9[40]} 17|78b7 82r22
101r19 RHS{48R9} 17|79b7 83r22
104V14*"<="{93R9} 104>19 105>19 17|86b14 100l9 100t12
104c19 LHS{23|42C12[40]} 17|87b7 94r48 97r48
105r19 RHS{48R9} 17|88b7 93r10 95r26 95r70 98r25
111V14*"<="{93R9} 111>19 112>19 17|102b14 109l9 109t12
111p19 LHS{23|44P9[40]} 17|103b7 107r22
112r19 RHS{22|36R9[39]} 17|104b7 108r22
115V14*"<="{93R9} 115>19 116>19 17|111b14 118l9 118t12
115c19 LHS{23|42C12[40]} 17|111b19 115r45
116r19 RHS{22|36R9[39]} 17|112b19 116r22
122V14*"<="{93R9} 122>19 123>19 17|123b14 130l9 130t12
122p19 LHS{23|44P9[40]} 17|123b19 127r22
123c19 RHS{21|66C12[38]} 17|124b19 128r22
126V14*"<="{93R9} 126>19 127>19 17|133b14 140l9 140t12
126c19 LHS{23|42C12[40]} 17|133b19 137r45
127c19 RHS{21|66C12[38]} 17|134b19 138r22
133V13*First_Token{22|84P9[39]} 133>26 17|142b13 145l8 145t19
133r26 Item{93R9} 17|142b26 144r43
134V13*LHS{23|44P9[40]} 134>18 17|147b13 150l8 150t11
134r18 Item{93R9} 17|147b18 149r14
135V13*LHS_ID{21|47E9[38]} 135>21 17|152b13 155l8 155t14
135r21 Item{93R9} 17|152b21 154r24
136V13*Index{integer} 136>20 17|157b13 160l8 160t13
136r20 Item{93R9} 17|157b20 159r14
137V13*Action{23|80P9[40]} 137>21 17|162b13 165l8 165t14
137r21 Item{93R9} 17|162b21 164r14
142r7 Tokens{22|36R9[39]} 17|95r30 144r52
143p7 Action{23|80P9[40]} 17|93r14 164r23
144i7 Index{integer} 17|95r74 159r23
148p7 LHS{23|44P9[40]} 17|82m15 94m18 97m18 107m15 115m15 127m15 137m15 149r19
. 154r29
149r7 RHS{48R9} 17|83m15 95m18 98m18 108m15 116m15 128m15 138m15 144r48 159r19
. 164r19
X 20 opentoken-token.ads
36K19*Token 16|28r16 29r16 38r40 20|163e20
X 21 opentoken-token-enumerated.ads
47E9 Token_ID 16|135r54[38] 17|152r54[16|38]
59k25*Enumerated 16|28r22 29r22 38r46 21|205e31
64R9 Instance<20|38R9>
66C12 Class<64R9[16|38]> 16|60r25[38] 72r25[38] 123r34[38] 127r34[38] 17|40r25[16|38]
. 63r25[16|38] 124r34[16|38] 134r34[16|38]
156V13 ID{47E9[16|38]} 17|154s20[16|38]
X 22 opentoken-token-enumerated-list.ads
34k36 List 16|28w33 22|140e36
36R9 Instance 16|56r30[39] 68r30[39] 112r39[39] 116r39[39] 142r27[39] 17|32r30[16|39]
. 55r30[16|39] 104r27[16|39] 112r39[16|39]
38r4 Null_List{36R9[16|39]} 17|51r26[16|39] 74r26[16|39]
45V13 Only{36R9[16|39]} 17|44s26[16|39] 67s26[16|39]
84P9 List_Iterator<124P9[16|39]> 16|133r64[39] 17|142r64[16|39]
90V13 Initial_Iterator{84P9[16|39]} 17|144s25[16|39]
123R9 List_Node
124P9 List_Node_Ptr(123R9[16|39])
X 23 opentoken-token-enumerated-nonterminal.ads
38k36 Nonterminal 16|29w33 23|206e43
40R9 Instance<21|64R9[16|38]>
42C12 Class<40R9[16|40]> 16|104r40[40] 115r40[40] 126r40[40] 17|87r28[16|40]
. 94r41[16|40] 97r41[16|40] 111r40[16|40] 115r38[16|40] 133r40[16|40] 137r38[16|40]
44P9 Handle(42C12[16|40]) 16|100r40[40] 111r40[40] 122r40[40] 134r57[40]
. 148r25[40] 17|78r28[16|40] 103r28[16|40] 123r40[16|40] 147r57[16|40]
80P9 Synthesize 16|57r31[40] 61r31[40] 64r31[40] 137r60[40] 143r28[40] 17|33r31[16|40]
. 41r31[16|40] 48r31[16|40] 91r28[16|40] 162r60[16|40]
101p4 Synthesize_Default{80P9[16|40]} 17|95r50[16|40] 108r40[16|40] 116r40[16|40]
. 128r40[16|40] 138r40[16|40]
|