/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/opentoken-recognizer-keyword.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 | 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_DISPATCHING_CALLS
RV NO_IMPLICIT_CONDITIONALS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05
U opentoken.recognizer.keyword%b opentoken-recognizer-keyword.adb 5a08a820 NE OO PK
W ada%s ada.ads ada.ali
W ada.characters%s a-charac.ads a-charac.ali
W ada.characters.handling%s a-chahan.adb a-chahan.ali
W interfaces%s interfac.ads interfac.ali
W opentoken.recognizer%s opentoken-recognizer.ads opentoken-recognizer.ali
W system.secondary_stack%s s-secsta.adb s-secsta.ali
U opentoken.recognizer.keyword%s opentoken-recognizer-keyword.ads 7ede7f30 EE OO PF PK
W ada.exceptions%s a-except.adb a-except.ali
W ada.streams%s a-stream.adb a-stream.ali
W ada.tags%s a-tags.adb a-tags.ali
W opentoken.recognizer%s opentoken-recognizer.ads opentoken-recognizer.ali
W system%s system.ads system.ali
W system.secondary_stack%s s-secsta.adb s-secsta.ali
W system.storage_elements%s s-stoele.adb s-stoele.ali
W system.stream_attributes%s s-stratt.adb s-stratt.ali
W system.strings.stream_ops%s s-ststop.adb s-ststop.ali
D ada.ads 20070406091342 3ffc8e18
D a-charac.ads 20070912115821 2d3ec45b
D a-chahan.ads 20131010125231 1c00991d
D a-chahan.adb 20131010125231 0b9287e4
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-strfix.ads 20101008130255 d07c346e
D a-strmap.ads 20090409150019 9cb836fb
D a-stmaco.ads 20090409150019 cef4434b
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.adb 20150510192240 4cf2afca
D opentoken-recognizer.ads 20150510192240 ddbf64ff
D opentoken-recognizer-keyword.ads 20150510192240 a3611bcf
D opentoken-recognizer-keyword.adb 20150510192240 e5692af2
D system.ads 20151121115557 90249111
D s-crtl.ads 20140225151544 840e6817
D s-exctab.ads 20140225151139 54135002
D s-fatflt.ads 20090409150019 11beb392
D s-fatgen.ads 20140129155348 9267ca45
D s-fatgen.adb 20140129155348 9ba81cee
D s-fatlfl.ads 20090409150019 378cba9f
D s-fatllf.ads 20090409150019 4d5c1475
D s-fatsfl.ads 20090409150019 e2f873d3
D s-ficobl.ads 20120709130952 55a71d43
D s-finmas.ads 20140225151139 814daec4
D s-finroo.ads 20120426095924 4ff27390
D s-imgint.ads 20090409150019 02dbe0c2
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-stratt.adb 20090409150019 56ef263e
D s-string.ads 20140225151139 8fe54fb7
D s-ststop.ads 20140225151139 e6693757
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 27|34r6 61r28 113r13
X 2 a-charac.ads
16K13*Characters 18e19 27|34r10 61r32 113r17
X 3 a-chahan.ads
36K24*Handling 160e28 27|34w21 61r43 113r28
67V13*To_Lower{character} 27|61s52
71V13*To_Lower{string} 27|113s37
X 11 a-strbou.ads
50R12*Bounded_String<16|47R9> 26|64r32[23|66]
55I15*Length_Range{natural}
57V16*Length{55I15[23|66]} 27|74s45[23|66]
63V16*To_Bounded_String{50R12[23|66]} 27|110s39[23|66] 112s39[23|66]
135V16*Element{character} 27|68s38[23|66]
136r10 Source{50R12[23|66]} 27|68r47[23|66]
137i10 Index{positive} 27|69r47[23|66]
X 23 opentoken.ads
42K9*OpenToken 82e14 26|39r9 45r25 61r25 80r5 27|39r14 119r5
66K12*Buffers[11|46] 26|64r24 27|68r30 74r37 110r31 112r31
X 25 opentoken-recognizer.ads
43K19*Recognizer 23|42k9 25|78e25 26|39r19 45r35 61r35 80r15 27|39r24 119r15
46E9*Analysis_Verdict 49e14 26|78r26 27|52r26
47n7*Matches{46E9} 27|75r35
48n7*So_Far_So_Good{46E9} 27|78r38
49n7*Failed{46E9} 27|84r32 91r21
52H9*Instance 57e14 26|45r46 61r46
56b7*Report{boolean} 27|107m17
X 26 opentoken-recognizer-keyword.ads
39K30*Keyword 25|43k19 26|59E9 80l26 80e33 27|39b35 119l26 119t33
43b4*Default_Case_Sensitivity{boolean} 53r50 27|99r39
45R9*Instance<25|52R9> 52p13 54r63 61c9 71e14 73P25 73r51 75P25 76r26 27|41r51
. 50r26 101r13 103r19
52V13*Get{45R9} 52>18 53>18 54>18 27|97b13 117l8 117t11
52s18 Keyword_Literal{string} 27|98b7 110r58 113r47
53b18 Case_Sensitive{boolean} 27|99b7 106r35 109r10
54b18 Reportable{boolean} 27|100b7 107r35
59E9 State_ID 59e33 68r18
59n22 Text{59E9} 68r30 27|44r26 65r12
59n28 Done{59E9} 27|76r35 85r32 88r12
64r7 Literal{11|50R12[23|66]} 27|68r67 74r63 110m20 112m20
65b7 Case_Sensitive{boolean} 27|58r20 106m17
68e7 State{59E9} 27|44m17 64r22 76m26 85m23
69i7 Substate{integer} 27|45m17 69r67 74r26 79m26 79r48
73U25 Clear<25|67p14> 73=32 27|41b25 47l8 47t13
73r32 The_Token{45R9} 27|41b32 44m7 45m7
75U25 Analyze<25|74p14> 76=7 77>7 78<7 27|49b25 95l8 95t15
76r7 The_Token{45R9} 27|50b7 58r10 64r12 68r57 69r57 74r16 74r53 76m16 79m16
. 79r38 85m13
77e7 Next_Char{character} 27|51b7 59r28 61r62
78e7 Verdict{25|46E9} 27|52b7 75m16 78m16 84m13 91m10
X 27 opentoken-recognizer-keyword.adb
54e7 Converted_Char{character} 59m10 61m10 68r13
103r7 New_Token{26|45R9} 106m7 107m7 110m10 112m10 116r14
|