/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/opentoken-production-print.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 | 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_IO
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05
U opentoken.production.print%b opentoken-production-print.adb 7f5d9339 NE OO PK GE
W ada%s ada.ads ada.ali
W ada.text_io%s a-textio.adb a-textio.ali
W opentoken.production%s opentoken-production.adb opentoken-production.ali
U opentoken.production.print%s opentoken-production-print.ads daa38c81 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-ioexce.ads 20140225151544 e4a01f64
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-textio.ads 20140129155348 386df5d4
D a-unccon.ads 20070406091342 f9eb8f06
D a-uncdea.ads 20070406091342 f15a5ed1
D interfac.ads 20140225151838 69adb1b9
D i-cstrea.ads 20130412125801 8128536b
D opentoken.ads 20150510192240 8bdd0f75
D opentoken-production.ads 20150510192240 f4220730
D opentoken-production-print.ads 20150510192240 2e818bb1
D opentoken-production-print.adb 20150510192240 69b1ed5c
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-crtl.ads 20140225151544 840e6817
D s-exctab.ads 20140225151139 54135002
D s-ficobl.ads 20120709130952 55a71d43
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
D s-wchcon.ads 20140225151139 1b7d22d2
X 1 ada.ads
16K9*Ada 19e8 22|26r6 26r23
X 14 a-textio.ads
49K13*Text_IO 471e16 22|26w10 26r27
242U14*Put 22|31s7 33s7 41s7
X 19 opentoken.ads
42K9*OpenToken 82e14 21|28r9 34r5 22|27r14 45r5
X 20 opentoken-production.ads
38K17 Token[26|59] 22|31r18 31r37
39K17 Token_List[27|34] 22|40r7
40K17 Nonterminal[28|38] 21|27r43 22|38r16
41k19*Production 19|42k9 20|152e25 21|28r19 34r15 22|27r24 45r15
48R9*Right_Hand_Side 145e14 21|31r31 22|36r31
93R9*Instance 150e14 21|30r31 22|29r31
142r7 Tokens{27|36R9[39]} 22|40r30
143p7 Action{28|80P9[40]} 22|42r26
148p7 LHS{28|44P9[40]} 22|31r52
149r7 RHS{48R9} 22|32r19
X 21 opentoken-production-print.ads
27U19 Print_Action 27>33 22|42s7
27p33 Item{28|80P9[20|40]}
28k30 Print 20|41k19 21|27z19 34l26 34e31 22|27b35 45l26 45t31
30U14*Print 30>21 22|29b14 34l8 34t13
30r21 Item{20|93R9} 22|29b21 31r47 32r14
31U14*Print 31>21 22|32s7 36b14 43l8 43t13
31r21 Item{20|48R9} 22|36b21 40r25 42r21
X 26 opentoken-token-enumerated.ads
47E9 Token_ID
57V18 Token_Image{string} 22|31s24[20|38]
64R9 Instance<25|38R9>
156V13 ID{47E9[20|38]} 22|31s43[20|38]
X 27 opentoken-token-enumerated-list.ads
36R9 Instance
119U14 Print 22|40s18[20|39]
X 28 opentoken-token-enumerated-nonterminal.ads
40R9 Instance<26|64R9[20|38]>
42C12 Class<40R9[20|40]>
44P9 Handle(42C12[20|40])
80P9 Synthesize 21|27r55[20|40] 22|38r28[20|40]
|