/usr/lib/x86_64-linux-gnu/ada/adalib/opentoken/opentoken-recognizer-graphic_character.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 134 135 136 137 138 139 140 141 142 143 144 | 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_DIRECT_BOOLEAN_OPERATORS
RV NO_DISPATCHING_CALLS
RV NO_IMPLICIT_CONDITIONALS
RV NO_IMPLICIT_LOOPS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05
U opentoken.recognizer.graphic_character%b opentoken-recognizer-graphic_character.adb 4a4c0b64 NE OO PK
W ada%s ada.ads ada.ali
W ada.characters%s a-charac.ads a-charac.ali
W ada.characters.handling%s a-chahan.adb a-chahan.ali
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.graphic_character%s opentoken-recognizer-graphic_character.ads 5e49b5c4 EE OO PF PK
W ada%s ada.ads ada.ali
W ada.exceptions%s a-except.adb a-except.ali
W ada.streams%s a-stream.adb a-stream.ali
W ada.strings%s a-string.ads a-string.ali
W ada.strings.maps%s a-strmap.adb a-strmap.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
D ada.ads 20070406091342 3ffc8e18
D a-charac.ads 20070912115821 2d3ec45b
D a-chahan.ads 20131010125231 1c00991d
D a-chahan.adb 20131010125231 0b9287e4
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-strmap.adb 20090409150019 0a51f71c
D a-stmaco.ads 20090409150019 cef4434b
D a-strsup.ads 20120309145048 a27dcb33
D a-tags.ads 20111212115430 6c0509d0
D a-unccon.ads 20070406091342 f9eb8f06
D interfac.ads 20140225151838 69adb1b9
D opentoken.ads 20150510192240 8bdd0f75
D opentoken-recognizer.ads 20150510192240 ddbf64ff
D opentoken-recognizer-graphic_character.ads 20150510192240 1f4ee7c0
D opentoken-recognizer-graphic_character.adb 20150510192240 490275b9
D system.ads 20151121115557 90249111
D s-bitops.ads 20140225151544 0765e3a3
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-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
X 1 ada.ads
16K9*Ada 19e8 22|31r6 39r28 39r62 46r41 53r18 23|26r6 61r13 62r16 86r28 86r62
. 95r41
X 2 a-charac.ads
16K13*Characters 18e19 23|26r10 61r17
X 3 a-chahan.ads
36K24*Handling 160e28 23|26w21 61r28
46V13*Is_Graphic{boolean} 23|61s37
X 10 a-string.ads
16K13*Strings 35e16 22|31r10 39r32 39r66 46r45 53r22 23|62r20 86r32 86r66
. 95r45
X 13 a-strmap.ads
38K21*Maps 412e21 22|31w18 39r40 39r74 46r53 53r30 23|62r28 86r40 86r74 95r53
47A9*Character_Set<138A9> 22|39r45 46r58 53r35 23|86r45 95r58
51a4*Null_Set{47A9} 22|39r79 23|86r79
83V13*Is_In{boolean} 23|62s33
84e7 Element{character} 23|62r40
85a7 Set{47A9} 23|62r62
138A9 Character_Set_Internal(boolean)<character>
X 20 opentoken.ads
42K9*OpenToken 82e14 22|32r9 34r25 52r25 73r5 23|31r14 100r5
X 21 opentoken-recognizer.ads
43K19*Recognizer 20|42k9 21|78e25 22|32r19 34r35 52r35 73r15 23|31r24 100r15
46E9*Analysis_Verdict 49e14 22|71r26 23|49r26
47n7*Matches{46E9} 23|72r32
48n7*So_Far_So_Good{46E9} 23|54r32 64r32
49n7*Failed{46E9} 23|57r32 67r32 75r32 79r21
52H9*Instance 57e14 22|34r46 52r46
56b7*Report{boolean} 23|89m15
X 22 opentoken-recognizer-graphic_character.ads
32K30*Graphic_Character 21|43k19 22|50E9 73l26 73e43 23|31b35 100l26 100t43
34R9*Instance<21|52R9> 39p13 40r24 45p14 45r41 52c9 56e14 62P25 62r51 68P25
. 69r26 23|37r51 47r26 87r24 94r41
39V13*Get{34R9} 39>18 23|86b13 92l8 92t11
39a18 Exclude{13|47A9} 23|86b18 90r27
45U14*Redefine 45=24 46>24 23|94b14 98l8 98t16
45r24 Inst{34R9} 23|94b24 97m7
46a24 Exclude{13|47A9} 23|95b24 97r24
50E9 State_ID 50e70 55r15
50n22 Opening_Tick{50E9} 55r27 23|39r26 52r12 91r27
50n36 The_Character{50E9} 23|55r32 60r12
50n51 Closing_Tick{50E9} 23|65r32 70r12
50n65 Done{50E9} 23|58r32 68r32 73r32 76r32 78r12
53a7 Excluded{13|47A9} 23|62r79 90m15 97m12
55e7 State{50E9} 23|39m17 51r22 55m23 58m23 65m23 68m23 73m23 76m23 91m15
62U25 Clear<21|67p14> 62=32 23|37b25 40l8 40t13
62r32 The_Token{34R9} 23|37b32 39m7
68U25 Analyze<21|74p14> 69=7 70>7 71<7 23|46b25 81l8 81t15
69r7 The_Token{34R9} 23|47b7 51r12 55m13 58m13 62r69 65m13 68m13 73m13 76m13
70e7 Next_Char{character} 23|48b7 53r13 61r49 62r51 71r13
71e7 Verdict{21|46E9} 23|49b7 54m13 57m13 64m13 67m13 72m13 75m13 79m10
|