/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/opentoken-recognizer-separator.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 | 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.separator%b opentoken-recognizer-separator.adb af234d18 NE OO PK
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.separator%s opentoken-recognizer-separator.ads 4f5acf76 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-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-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-separator.ads 20150510192240 92e5ab89
D opentoken-recognizer-separator.adb 20150510192240 3dc6e691
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 9 a-strbou.ads
50R12*Bounded_String<13|47R9> 23|49r25[20|66]
55I15*Length_Range{natural}
57V16*Length{55I15[20|66]} 24|51s45[20|66]
63V16*To_Bounded_String{50R12[20|66]} 24|84s36[20|66]
135V16*Element{character} 24|45s33[20|66]
136r10 Source{50R12[20|66]} 24|45r42[20|66]
137i10 Index{positive} 24|46r42[20|66]
X 20 opentoken.ads
42K9*OpenToken 82e14 23|33r9 35r25 46r25 64r5 24|27r14 90r5
66K12*Buffers[9|46] 23|49r17 24|45r25 51r37 84r28
X 22 opentoken-recognizer.ads
43K19*Recognizer 20|42k9 22|78e25 23|33r19 35r35 46r35 64r15 24|27r24 90r15
46E9*Analysis_Verdict 49e14 23|62r26 24|38r26
47n7*Matches{46E9} 24|52r35
48n7*So_Far_So_Good{46E9} 24|55r38
49n7*Failed{46E9} 24|62r32 70r21
52H9*Instance 57e14 23|35r46 46r46
56b7*Report{boolean} 24|83m17
X 23 opentoken-recognizer-separator.ads
33K30*Separator 22|43k19 23|44E9 64l26 64e35 24|27b35 90l26 90t35
35R9*Instance<22|52R9> 37p13 40r13 46c9 55e14 57P25 57r51 59P25 60r26 24|29r51
. 36r26 79r13 81r19
37V13*Get{35R9} 38>7 39>7 24|76b13 88l8 88t11
38s7 Separator_Literal{string} 24|77b7 84r55
39b7 Reportable{boolean} 24|78b7 83r28
44E9 State_ID 44e33 52r18
44n22 Text{44E9} 52r30 24|31r29 42r12
44n28 Done{44E9} 24|53r35 63r32 67r12
49r7 Literal{9|50R12[20|66]} 24|45r62 51r63 84m17
52e7 State{44E9} 24|31m17 41r22 53m26 63m23
53i7 Substate{positive} 24|32m17 46r62 51r26 56m26 56r48
57U25 Clear<22|67p14> 57=32 24|29b25 33l8 33t13
57r32 The_Token{35R9} 24|29b32 31m7 32m7
59U25 Analyze<22|74p14> 60=7 61>7 62<7 24|35b25 74l8 74t15
60r7 The_Token{35R9} 24|36b7 41r12 45r52 46r52 51r16 51r53 53m16 56m16 56r38
. 63m13
61e7 Next_Char{character} 24|37b7 45r13
62e7 Verdict{22|46E9} 24|38b7 52m16 55m16 62m13 70m10
X 24 opentoken-recognizer-separator.adb
81r7 New_Token{23|35R9} 83m7 84m7 86r14
|