/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/opentoken-recognizer-based_integer_java_style.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 | 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.based_integer_java_style%b opentoken-recognizer-based_integer_java_style.adb 27b0f15e 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_java_style%s opentoken-recognizer-based_integer_java_style.ads bc8708cb 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-based_integer_java_style.ads 20140221201457 52be079d
D opentoken-recognizer-based_integer_java_style.adb 20140221201457 750ef6c3
D opentoken-recognizer-extended_digits.ads 20140221201457 33866ba9
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 20|26r6 41r9 43r25 54r25 77r5 21|29r14 121r5
X 19 opentoken-recognizer.ads
43K19*Recognizer 18|42k9 19|78e25 20|26r16 41r19 43r35 54r35 77r15 21|29r24
. 121r15
46E9*Analysis_Verdict 49e14 20|75r26 21|51r26
47n7*Matches{46E9} 21|79r26 92r23
48n7*So_Far_So_Good{46E9} 21|59r32 71r32
49n7*Failed{46E9} 21|63r32 82r35 95r32 102r21
52H9*Instance 57e14 20|43r46 54r46
56b7*Report{boolean} 21|115m15
X 20 opentoken-recognizer-based_integer_java_style.ads
41K30*Based_Integer_Java_Style 19|43k19 20|52E9 77l26 77e50 21|29b35 121l26
. 121t50
43R9*Instance<19|52R9> 48p13 48r24 54c9 60e14 66P25 66r51 72P25 73r26 21|35r51
. 49r26 111r24
48V13*Get{43R9} 21|111b13 119l8 119t11
52E9 State_ID 52e52 58r28
52n22 Base_0{52E9} 58r40 21|40r26 56r12 117r37
52n30 Base_X{52E9} 21|60r32 67r12
52n38 Numeral{52E9} 21|72r32 80r35 88r12 93r32
52n47 Done{52E9} 21|64r32 83r35 96r32 99r12
57r7 Numeral_Recognizer{22|40R9} 21|38m40 61m23 73m23 77m48 90m45 116m15
58e7 State{52E9} 21|40m17 54r22 60m23 64m23 72m23 80m26 83m26 93m23 96m23
. 117m15
66U25 Clear<19|67p14> 66=32 21|35b25 42l8 42t13
66r32 The_Token{43R9} 21|35b32 38m30 38r30 40m7
72U25 Analyze<19|74p14> 73=7 74>7 75<7 21|48b25 106l8 106t15
73r7 The_Token{43R9} 21|49b7 54r12 60m13 61m13 64m13 72m13 73m13 77m38 77r38
. 80m16 83m16 90m35 90r35 93m13 96m13
74e7 Next_Char{character} 21|50b7 58r13 69r13 69r32 77r68 90r65
75e7 Verdict{19|46E9} 21|51b7 59m13 63m13 71m13 77m79 79r16 82m16 90m76 92r13
. 95m13 102m10
X 22 opentoken-recognizer-extended_digits.ads
38K30*Extended_Digits 20|26w27 57r28 21|38r7 61r45 73r45 77r13 90r10 116r37
. 22|79e41
40R9*Instance<19|52R9> 20|57r44 22|70e14
52V13*Get{40R9} 21|61s61 73s61 116s53
53i7 For_Base{14|78I12} 21|61r94 73r94 116r86
54b7 Allow_Underscores{boolean} 21|61r66 73r66 116r58
72U25 Clear<19|67p14> 21|38s23
74U25 Analyze<19|74p14> 21|77s29 90s26
|