/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/opentoken-recognizer-real.ali is in libopentoken4-dev 5.0a-1.
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 | V "GNAT Lib v4.9"
A -O2
A -fPIC
A -fstack-protector
A -g
A -gnatf
A -gnatn
A -gnato
A -gnatwa
A -gnatVa
A -gnatA
P SS ZX
RN
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_DISPATCHING_CALLS
RV NO_IMPLICIT_CONDITIONALS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05
U opentoken.recognizer.real%b opentoken-recognizer-real.adb 89072dd9 NE OO PK
W ada.tags%s a-tags.adb a-tags.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.real%s opentoken-recognizer-real.ads c67befc2 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%s opentoken.adb opentoken.ali
W opentoken.recognizer%s opentoken-recognizer.ads opentoken-recognizer.ali
W opentoken.recognizer.extended_digits%s opentoken-recognizer-extended_digits.adb opentoken-recognizer-extended_digits.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
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 interfac.ads 20140225151838 69adb1b9
D i-cstrea.ads 20130412125801 8128536b
D opentoken.ads 20140221201457 fc81ed4c
D opentoken-recognizer.ads 20140221201457 ddbf64ff
D opentoken-recognizer-extended_digits.ads 20140221201457 33866ba9
D opentoken-recognizer-real.ads 20140221201457 2842e094
D opentoken-recognizer-real.adb 20140221201457 a145cd4d
D system.ads 20140424202341 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-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-traent.ads 20140225151139 b5116092
D s-unstyp.ads 20140225151139 510692af
D s-wchcon.ads 20140225151139 1b7d22d2
X 14 a-textio.ads
78I12*Number_Base{integer}
X 18 opentoken.ads
42K9*OpenToken 78e14 21|34r6 51r9 53r25 71r25 91r5 22|35r14 282r5
X 19 opentoken-recognizer.ads
43K19*Recognizer 18|42k9 19|78e25 21|34r16 51r19 53r35 71r35 91r15 22|35r24
. 282r15
46E9*Analysis_Verdict 49e14 21|79r28 89r34 22|49r26 52r25
47n7*Matches{46E9} 22|66r35 90r34 120r34 124r42 142r12 146r41 148r36 157r44
. 175r31 176r39 178r39 197r15 198r24 201r42 227r34 228r35 245r12
48n7*So_Far_So_Good{46E9} 22|64r35 78r35 91r35 109r35 121r35 141r15 143r24
. 150r36 160r35 194r15 195r24 205r35 220r32 244r15
49n7*Failed{46E9} 21|79r48 22|41r33 69r27 81r35 96r35 112r35 126r35 145r15
. 164r35 180r32 200r15 202r45 209r35 231r35 247r15 248r32 255r21 277r37
52H9*Instance 57e14 21|53r46 71r46
56b7*Report{boolean} 22|271m15
X 20 opentoken-recognizer-extended_digits.ads
38K30*Extended_Digits 79e41 21|34w27 78r28 22|39r7 87r13 118r13 138r10 155r16
. 162r16 173r10 191r10 207r16 225r13 241r10 275r37
40R9*Instance<19|52R9> 70e14 21|78r44
52V13*Get{40R9} 22|275s53
53i7 For_Base{14|78I12} 22|276r58
54b7 Allow_Underscores{boolean} 22|275r58
72U25 Clear<19|67p14> 22|39s23 155s32 162s32 207s32
74U25 Analyze<19|74p14> 22|87s29 118s29 138s26 173s26 191s26 225s29 241s26
X 21 opentoken-recognizer-real.ads
51K30*Real 19|43k19 21|69E9 91l26 91e30 22|35b35 282l26 282t30
53R9*Instance<19|52R9> 62p13 65r63 71c9 82e14 84P25 84r51 87P6 87r34 22|37r51
. 47r26 267r63
62V13*Get{53R9} 62>18 63>18 64>18 65>18 22|264b13 280l8 280t11
62b18 Allow_Underscores{boolean} 22|264b18 275r80
63b18 Allow_Exponent{boolean} 22|265b18 272r37
64b18 Allow_Signs{boolean} 22|266b18 274r37
65b18 Allow_Laziness{boolean} 22|267b18 273r37
69E9 State_ID 69e102 80r28
69n22 First_Char{69E9} 80r48 22|42r33 58r12 278r37
69n34 First_Non_Sign{69E9} 22|65r35 102r12
69n50 Fore{69E9} 22|93r42 123r42 132r12
69n56 Aft_First{69E9} 22|79r35 110r35 169r12
69n67 Aft{69E9} 22|152r42 177r39 184r12
69n72 Exponent_Sign{69E9} 22|161r35 206r35 214r12
69n87 Exponent{69E9} 22|221r32 229r35 237r12
69n97 Done{69E9} 22|70r35 82r35 97r35 113r35 127r35 165r35 181r32 210r35
. 232r35 249r32 252r12
73b7 Allow_Exponent{boolean} 22|159r54 204r66 272m15
74b7 Allow_Laziness{boolean} 22|77r26 108r26 147r29 159r25 203r32 273m15
75b7 Allow_Signs{boolean} 22|63r26 274m15
78r7 Decimal_Recognizer{20|40R9} 22|39m40 87m48 118m48 138m45 155m49 162m49
. 173m45 191m45 207m49 225m48 241m45 275m15
79e7 Last_Verdict{19|46E9} 22|41m17 94m26 124m26 144m23 146r26 153m26 157r29
. 178m23 196m23 199m23 201r27 202r30 277m15
80e7 State{69E9} 22|42m17 56r22 65m26 70m26 79m26 82m26 93m26 97m26 110m26
. 113m26 123m26 127m26 152m26 161m26 165m26 177m23 181m23 206m26 210m26 221m23
. 229m26 232m26 249m23 278m15
84U25 Clear<19|67p14> 84=32 22|37b25 44l8 44t13
84r32 The_Token{53R9} 22|37b32 39m30 39r30 41m7 42m7
87U6 Analyze<19|74p14> 87=15 88>15 89<15 22|46b25 259l8 259t15
87r15 The_Token{53R9} 22|47b7 56r12 63r16 65m16 70m16 77r16 79m16 82m16 87m38
. 87r38 93m16 94m16 97m16 108r16 110m16 113m16 118m38 118r38 123m16 124m16
. 127m16 138m35 138r35 144m13 146r16 147r19 152m16 153m16 155m39 155r39 157r19
. 159r15 159r44 161m16 162m39 162r39 165m16 173m35 173r35 177m13 178m13 181m13
. 191m35 191r35 196m13 199m13 201r17 202r20 203r22 204r56 206m16 207m39 207r39
. 210m16 221m13 225m38 225r38 229m16 232m16 241m35 241r35 249m13
88e15 Next_Char{character} 22|48b7 60r15 87r68 106r13 118r68 138r65 146r53
. 158r16 158r35 173r65 191r65 204r16 204r35 218r13 218r32 225r68 241r65
89e15 Verdict{19|46E9} 22|49b7 64m16 69m16 78m16 81m16 91m16 96m16 109m16
. 112m16 121m16 126m16 143m13 148m19 150m19 160m16 164m16 176m13 180m13 195m13
. 198m13 205m16 209m16 220m13 228m16 231m16 246m13 248m13 255m10
X 22 opentoken-recognizer-real.adb
52e7 Decimal_Verdict{19|46E9} 66m16 87m79 90r16 94r42 118m79 120r16 138m76
. 140r15 144r39 153r42 173m76 175r13 191m76 193r15 196r39 199r39 225m79 227r16
. 241m76 243r15 246r24
|