/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/opentoken-production-list.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 | 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_EXCEPTIONS
RV NO_LOCAL_ALLOCATORS
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_DEALLOCATION
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05
U opentoken.production.list%b opentoken-production-list.adb adfb5fe3 NE OO PK GE
W ada%s ada.ads ada.ali
W ada.unchecked_deallocation%s
W opentoken.production%s opentoken-production.adb opentoken-production.ali
U opentoken.production.list%s opentoken-production-list.ads 609da8e8 BN EE NE OO PK GE
W opentoken%s opentoken.adb opentoken.ali
W opentoken.production%s opentoken-production.adb opentoken-production.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-list.ads 20150510192240 94bfafd8
D opentoken-production-list.adb 20150510192240 c81eaeea
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 1 ada.ads
16K9*Ada 19e8 18|26r6 29r26
X 14 a-uncdea.ads
20u15*Unchecked_Deallocation 18|26w10 29r30
X 15 opentoken.ads
42K9*OpenToken 82e14 17|32r9 39r32 44r31 45r31 50r31 53r31 84r65 100r20 111r5
. 18|27r14 34r32 48r31 49r31 65r31 76r31 140r65 164r5
X 16 opentoken-production.ads
41k19*Production 15|42k9 16|152e25 17|32r19 39r42 44r41 45r41 50r41 53r41
. 84r75 100r30 111r15 18|27r24 34r42 48r41 49r41 65r41 76r41 140r75 164r15
93R9*Instance 150e14 17|39r53 44r52 45r52 50r52 53r52 84r86 100r41 18|34r53
. 48r52 49r52 65r52 76r52 140r86
X 17 opentoken-production-list.ads
32k30 List 16|41k19 17|97E9 111l26 111e30 18|27b35 164l26 164t30
34R9*Instance 39p13 39r70 44p14 45r69 50p14 51r31 51r48 52p14 52r31 53r69
. 58p14 58r31 59r31 59r48 65p14 65r35 74p13 74r41 104c9 107e14 18|34r70 49r69
. 66r31 66r48 75r31 76r69 91r31 92r31 92r48 104r35 122r41
39V13*Only{34R9} 39>19 18|34b13 43l8 43t12
39r19 Subject{16|93R9} 18|34b19 36r38
44V14*"and"{34R9} 44>20 45>20 18|48b14 60l9 60t13
44r20 Left{16|93R9} 18|48b20 55r52
45r20 Right{16|93R9} 18|49b20 51r38
50V14*"and"{34R9} 50>20 51>20 18|65b14 73l9 73t13
50r20 Left{16|93R9} 18|65b20 68r52
51r20 Right{34R9} 18|66b20 69r52 71r23
52V14*"and"{34R9} 52>20 53>20 18|75b14 86l9 86t13
52r20 Left{34R9} 18|75b20 82r7 83r23
53r20 Right{16|93R9} 18|76b20 78r38
58V14*"and"{34R9} 58>20 59>20 18|91b14 98l9 98t13
58r20 Left{34R9} 18|91b20 94r7 95r23
59r20 Right{34R9} 18|92b20 94r25 96r23
65U14*Clean 65=21 18|104b14 117l8 117t13
65r21 List{34R9} 18|104b21 105r31 115m7 116m7
67P9*List_Iterator<98P9> 74r58 79r49 84r43 89r44 94r38 109c9 18|122r58 124r14
. 130r49 133r22 140r43 151r44 159r38
69X4*Iteration_Complete 18|143r16
74V13*Initial_Iterator{67P9} 74>31 18|122b13 125l8 125t24
74r31 List{34R9} 18|122b31 124r29
79U14*Next_Production 79=31 18|130b14 135l8 135t23
79p31 Iterator{67P9} 18|130b31 132r10 133m10 133r37
84V13*Get_Production{16|93R9} 84>29 18|140b13 146l8 146t22
84p29 Iterator{67P9} 18|140b29 142r10 145r14
89V13*Last_Production{boolean} 89>30 18|151b13 154l8 154t23
89p30 Iterator{67P9} 18|151b30 153r14 153r38
94V13*Past_Last{boolean} 94>24 18|159b13 162l8 162t17
94p24 Iterator{67P9} 18|159b24 161r14
97R9 List_Node 98r33 99c9 102e14 18|29r54 36r13 51r13 55r27 68r27 78r13
98P9 List_Node_Ptr(97R9) 101r20 105r14 106r14 109r30 18|29r65 35r27 50r29
. 77r27 105r14 106r14
100r7 Production{16|93R9} 18|36m24 51m24 55m38 68m38 78m24 145r23
101p7 Next{98P9} 18|37m24 52m24 56m38 69m38 79m24 82m17 94m17 110r23 133r46
. 153r47
105p7 Head{98P9} 18|40m15 55m15 68m15 69r58 83m15 83r28 94r31 95m15 95r28
. 105r36 115m12 124r34
106p7 Tail{98P9} 18|41m15 58m15 71m15 71r29 82r11 82r12 84m15 94r11 94r12
. 96m15 96r29 116m12
X 18 opentoken-production-list.adb
29U14 Free[14|20] 111s10
35p7 New_Node{17|98P9} 40r23 41r23
50p7 Right_Node{17|98P9} 56r47 58r23
77p7 New_Node{17|98P9} 82r25 84r23
105p7 Node{17|98P9} 109r13 110r18 111m16 111r16 112m10
106p7 Next{17|98P9} 110m10 112r18
|