/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/opentoken-token-enumerated-integer.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 | 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_ALLOCATORS
RV NO_ANONYMOUS_ALLOCATORS
RV NO_DISPATCH
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_LOCAL_ALLOCATORS
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_DEALLOCATION
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05
U opentoken.token.enumerated.integer%b opentoken-token-enumerated-integer.adb 0bb04082 NE OO PK GE
W opentoken.token.enumerated%s opentoken-token-enumerated.adb opentoken-token-enumerated.ali
U opentoken.token.enumerated.integer%s opentoken-token-enumerated-integer.ads 9410cfec BN EE NE OO PK GE
W opentoken.token%s opentoken-token.adb opentoken-token.ali
W opentoken.token.enumerated%s opentoken-token-enumerated.adb opentoken-token-enumerated.ali
W system.finalization_masters%s s-finmas.adb s-finmas.ali
W system.pool_global%s s-pooglo.adb s-pooglo.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-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-unccon.ads 20070406091342 f9eb8f06
D a-uncdea.ads 20070406091342 f15a5ed1
D opentoken.ads 20150510192240 8bdd0f75
D opentoken-recognizer.ads 20150510192240 ddbf64ff
D opentoken-text_feeder.ads 20150510192240 6fb472c4
D opentoken-token.ads 20150510192240 f518d836
D opentoken-token-enumerated.ads 20150510192240 fdf7729b
D opentoken-token-enumerated-integer.ads 20150510192240 69e7bd77
D opentoken-token-enumerated-integer.adb 20150510192240 6257fdf5
D opentoken-token-linked_list.ads 20150510192240 6abdfc9f
D system.ads 20151121115557 90249111
D s-exctab.ads 20140225151139 54135002
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-traent.ads 20140225151139 b5116092
D s-unstyp.ads 20140225151139 510692af
X 15 opentoken.ads
42K9*OpenToken 82e14 20|35r9 37r25 73r5 21|28r14 77r5
44X4*Syntax_Error 21|56r13
72i4*Trace_Parse{integer} 21|70r10
X 16 opentoken-recognizer.ads
59C12*Class<52R9>
X 18 opentoken-token.ads
36K19*Token 15|42k9 18|163e20 20|35r19 37r35 63r21 73r15 21|28r24 63r21 77r15
40C12*Class<38R9> 20|63r27 21|63r27
136V13*Has_Name{boolean}
147U14*Expecting
X 19 opentoken-token-enumerated.ads
47E9 Token_ID 20|49r18 21|31r18
59k25*Enumerated 18|36k19 19|205e31 20|35r25 37r41 73r21 21|28r30 71r17 71r34
. 73r17 73r34 77r21
64R9*Instance<18|38R9> 201e14 20|37r52 21|71r45 73r45
71V13*Image{string}<18|45p13>
75P9*Recognizer_Handle(16|59C12) 20|58r27 21|47r27
80P9*Action 20|52r18 21|34r18
96R9*Buffer_Range 99e14 20|57r27 21|46r27
170U25*Parse<18|79p14>
175V24*Name{string}<18|134p13> 21|71s28 73s28
X 20 opentoken-token-enumerated-integer.ads
35k36 Integer 19|59k25 20|73l32 73e39 21|28b41 77l32 77t39
37R9*Instance<19|64R9> 18|136p13 147p14 19|71P13 170P25 20|39e14 41r21 53r13
. 55P25 59r27 61P25 62r21 71P24 71r41 21|35r13 38r17 38r33 40r17 40r33 48r27
. 62r21 65r19 68r41
38i7 Value{integer} 21|53m17 65m10 65r35 71r101
41C12*Class<37R9> 43r30
43P9*Handle(41C12)
48V13*Get<37R9> 49>7 50>7 51>7 52>7 21|30b13 42l8 42t11
49*7 ID{19|47E9} 21|31b7 38r49 40r62
50i7 Value{integer} 21|32b7 38r60 40r73
51s7 Name{string} 21|33b7 37r10 40r55
52p7 Build{19|80P9} 21|34b7 38r53 40r66
55U25*Create<19|127p14> 56>7 57>7 58>7 59=7 21|44b25 59l8 59t14
56s7 Lexeme{string} 21|45b7 53r50 57r9
57r7 Bounds{19|96R9} 21|46b7 50r28
58p7 Recognizer{19|75P9} 21|47b7 51r28
59r7 New_Token{37R9} 21|48b7 53m7
61U25*Copy<19|142p14> 62=7 63>7 21|61b25 66l8 66t12
62r7 To{37R9} 21|62b7 65m7
63c7 From{18|40C12} 21|63b7 65r29
71V24*Name{string}<19|175p24> 71>30 21|68b24 75l8 75t12
71r30 Token{37R9} 21|68b30 71r55 71r95 73r55
|