/usr/lib/ada/adalib/opentoken/opentoken-recognizer-based_integer.ali is in libopentoken3-dev 4.0b-3.
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 | V "GNAT Lib v4.6"
A -O2
A -fPIC
A -g
A -gnat05
A -gnatf
A -gnatn
A -gnato
A -gnatwa
A -gnatVa
A -gnatA
P SS ZX
R nnnnnnnnvnvnnnnnnnnnnnnnnnvnnnnnnnnnnnnnnvnnvnnnnnnnnnnnnnnnnvnvnnnnnnnnnnnnnnnn
U opentoken.recognizer.based_integer%b opentoken-recognizer-based_integer.adb 92fedc54 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.based_integer%s opentoken-recognizer-based_integer.ads 3ed1a55d EE OO PK
W ada.exceptions%s a-except.adb a-except.ali
W ada.streams%s a-stream.ads 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.soft_links%s s-soflin.adb s-soflin.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 20070912115821 2825df20
D a-except.ads 20090727140100 0c711ac9
D a-finali.ads 20090409150019 e5e85fa4
D a-filico.ads 20090409150019 872dc219
D a-ioexce.ads 20091130110856 8b9de6cd
D a-stream.ads 20090409150019 2ca4ee37
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 20101008130255 2a485698
D a-tags.ads 20101021101406 c7695348
D a-textio.ads 20091028140912 386df5d4
D a-unccon.ads 20070406091342 f9eb8f06
D interfac.ads 20090409150019 f77d8799
D i-cstrea.ads 20100622165701 1bd72c32
D opentoken.ads 20100629082056 b872469c
D opentoken-recognizer.ads 20100629082055 ddbf64ff
D opentoken-recognizer-based_integer.ads 20100629082055 d0e8aa0b
D opentoken-recognizer-based_integer.adb 20100629082055 4216765f
D opentoken-recognizer-extended_digits.ads 20100629082055 33866ba9
D system.ads 20120416214251 23e1f70b
D s-crtl.ads 20100617122610 ac77b159
D s-exctab.ads 20090417131547 66e51330
D s-fatflt.ads 20090409150019 11beb392
D s-fatgen.ads 20090409150019 9267ca45
D s-fatgen.adb 20100909085708 9ba81cee
D s-fatlfl.ads 20090409150019 378cba9f
D s-fatllf.ads 20090409150019 4d5c1475
D s-fatsfl.ads 20090409150019 e2f873d3
D s-ficobl.ads 20100909103250 443b9d66
D s-finimp.ads 20090409150019 46853fe8
D s-finroo.ads 20090409150019 dbb860c9
D s-parame.ads 20091130110856 9c5d83fa
D s-secsta.ads 20090707124243 eea35a36
D s-soflin.ads 20090729085153 9414c974
D s-stache.ads 20090417130712 596fc1b4
D s-stalib.ads 20101021102512 c4241c00
D s-stoele.ads 20090417130712 facd7d98
D s-stoele.adb 20100617152355 afc5dc80
D s-stratt.ads 20100909123135 aedef97e
D s-stratt.adb 20090409150019 56ef263e
D s-traent.ads 20090417130712 5221ee41
D s-unstyp.ads 20090409150019 6ae15c76
D s-wchcon.ads 20090417130712 bfeb2e3d
X 15 a-textio.ads
79I12*Number_Base{integer}
X 19 opentoken.ads
42K9*OpenToken 77e14 21|27r6 36r9 38r25 46r25 61r5 22|25r14 185r5
X 20 opentoken-recognizer.ads
43K19*Recognizer 19|42k9 20|78e25 21|27r16 36r19 38r35 46r35 61r15 22|25r24
. 185r15
46E9*Analysis_Verdict 49e14 21|48r27 59r26 22|43r26 46r24
47n7*Matches{46E9} 22|64r33 65r35 88r15 96r24 104r41 131r18 137r30 143r50
. 144r44
48n7*So_Far_So_Good{46E9} 22|56r32 84r15 86r24 113r35 127r18 129r27 135r30
49n7*Failed{46E9} 21|48r47 22|33r31 46r44 74r35 102r15 117r35 140r18 148r44
. 152r41 157r38 166r24 179r31
52H9*Instance 57e14 21|38r46 46r46
56b7*Report{boolean} 22|31m10 177m10
74r23 The_Token{23|40R9} 22|60r16
75e23 Next_Char{character} 22|61r16
76e23 Verdict{46E9} 22|62r16
X 21 opentoken-recognizer-based_integer.ads
36K30*Based_Integer 20|43k19 21|61l26 61e39 22|25b35 185l26 185t39
38R9*Instance<20|52R9> 40p28 40r39 46c9 52e14 54P25 54r51 56P25 57r26 22|27r51
. 41r26 174r24
40V28*Get{38R9} 22|174b13 183l8 183t11
44E9 State_ID 44e60 49r27
44n22 First_Char{44E9} 49r47 22|34r31 51r12 180r31
44n34 Maybe_Base{44E9} 22|55r32 66r35 79r12
44n46 Numeral{44E9} 22|99r35 114r35 122r12
44n55 Done{44E9} 22|75r35 118r35 145r44 149r44 153r41 158r38 163r15
47r7 Number_Recognizer{23|40R9} 22|32m10 60m39 81m45 109m26 124m48 178m10
48e7 Last_Verdict{20|46E9} 22|33m10 104r26 143r35 170m17 179m10
49e7 State{44E9} 22|34m10 50r22 55m23 66m26 75m26 99m26 114m26 118m26 145m35
. 149m35 153m32 158m29 180m10
50i7 Base{natural} 22|35m10 71m26 71r45 91m23 91r42 98r26 111r50 181m10
51b7 Based{boolean} 22|36m10 106m26 133r29 141r29 182m10
54U25 Clear<20|67p14> 54=32 22|27b25 38l8 38t13
54r32 The_Token{38R9} 22|27b32 30m7
56U25 Analyze<20|74p14> 57=7 58>7 59<7 22|40b25 172l8 172t15
57r7 The_Token{38R9} 22|41b7 50r12 55m13 60m29 66m16 71m16 71r35 75m16 81m35
. 91m13 91r32 98r16 99m16 104r16 106m16 109m16 111r40 114m16 118m16 124m38
. 133r19 141r19 143r25 145m25 149m25 153m22 158m19 170m7
58e7 Next_Char{character} 22|42b7 53r15 61r29 71r74 81r64 91r71 104r53 124r67
. 142r22
59e7 Verdict{20|46E9} 22|43b7 56m13 65m16 74m16 86m13 96m13 113m16 117m16
. 129m16 135m19 137m19 144m25 148m25 152m22 157m19 166m13
X 22 opentoken-recognizer-based_integer.adb
46e7 Digits_Verdict{20|46E9} 62m29 64r16 81m75 83r15 124m78 126r18 170r33
X 23 opentoken-recognizer-extended_digits.ads
38K30*Extended_Digits 21|27w27 47r27 22|32r31 59r13 81r10 98r33 109r47 124r13
. 178r31 23|79e41
40R9*Instance<20|52R9> 21|47r43 23|70e14
43N4*Maximum_Base 22|98r49
52V13*Get{40R9} 22|32s47 109s63 178s47
53i7 For_Base{15|79I12} 22|32r79 111r19 178r79
54b7 Allow_Underscores{boolean} 22|32r52 110r19 178r52
74U25 Analyze<20|74p14> 22|59s29 81s26 124s29
|