/usr/lib/ada/adalib/gnatvsn/stringt.ali is in libgnatvsn4.9-dev 4.9.3-3ubuntu5.
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 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 | V "GNAT Lib v4.9"
A -nostdinc
A -O2
A -fPIC
A -g
A -mtune=generic
A -march=x86-64
P ZX
RN
RV NO_EXCEPTIONS
RV NO_IMPLICIT_CONDITIONALS
RV NO_RECURSION
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV NO_OBSOLESCENT_FEATURES
RV SPARK_05
U stringt%b stringt.adb 0fdab4e8 OO PK
W ada.exceptions%s a-except.adb a-except.ali
W alloc%s alloc.ads alloc.ali
W interfaces%s interfac.ads interfac.ali
W namet%s namet.adb namet.ali
W output%s output.adb output.ali AD
W system%s system.ads system.ali
W table%s table.adb table.ali AD
U stringt%s stringt.ads 2fe525e4 BN EB EE NE OO PK
W system%s system.ads system.ali
W types%s types.adb types.ali
D ada.ads 20070406091342 3ffc8e18
D a-except.ads 20140129161953 f86a4103
D a-unccon.ads 20070406091342 f9eb8f06
D a-uncdea.ads 20070406091342 f15a5ed1
D alloc.ads 20120330092659 daf1344a
D debug.ads 20090420131856 3ea59655
D hostparm.ads 20130411123322 c164ed60
D interfac.ads 20140225151838 69adb1b9
D namet.ads 20140129155348 0b5fbeae
D opt.ads 20140225154805 0424f3ab
D output.ads 20140219102553 2d9479ad
D stringt.ads 20140220134420 b6600148
D stringt.adb 20140220135208 a629aaff
D system.ads 20160213141829 90249111
D s-conca2.ads 20140225151544 02a0d7d0
D s-exctab.ads 20140225151139 54135002
D s-memory.ads 20140225151139 597d6634
D s-os_lib.ads 20140225151139 73b554c6
D s-parame.ads 20140225151139 ab8cb46a
D s-stalib.ads 20140225151139 a891183f
D s-string.ads 20140225151139 8fe54fb7
D s-traent.ads 20140225151139 b5116092
D s-unstyp.ads 20140225151139 510692af
D s-wchcon.ads 20140225151139 1b7d22d2
D table.ads 20090506081141 e3a9ec16
D table.adb 20130104091825 d2a5ae47
D tree_io.ads 20130910150933 92caaa96
D types.ads 20140129155348 09a1b5bd
D unchconv.ads 20070406091342 ca2f9e18
D unchdeal.ads 20070406091342 214516a4
X 5 alloc.ads
42K9*Alloc 163e10 13|32w6 47r30 48r30 64r30 65r30
127N4*String_Chars_Initial 13|47r36
128N4*String_Chars_Increment 13|48r36
130N4*Strings_Initial 13|64r36
131N4*Strings_Increment 13|65r36
X 9 namet.ads
38K9*Namet 609e10 13|33w6 33r18
127a4*Name_Buffer{string} 13|88m10 315r44 339m10
133i4*Name_Len{natural} 13|88r23 92m7 92r19 314r21 336m7 338r21
X 11 output.ads
44K9*Output 230e11 13|34w6 34r18
106U14*Write_Char 13|411s10 412s10 419s10 422s10 423s10 438s10 439s10 455s10
. 476s10
123U14*Write_Int 13|470s16
130U14*Write_Str 13|452s10 461s16 469s16 471s16
X 12 stringt.ads
35K9*Stringt 177l5 177e12 13|37b14 480l5 480t12
53i4*Null_String_Id{28|493I9} 13|128m7
60U14*Initialize 13|120b14 129l8 129t18
64U14*Lock 13|135b14 141l8 141t12
67U14*Unlock 13|377b14 381l8 381t14
70U14*Mark 13|147b14 151l8 151t12
74U14*Release 13|157b14 161l8 161t15
79U14*Start_String 13|127s7 169b14 172l8 172t20 312s7
85U14*Start_String 85>28 13|176b14 204l8 204t20
85i28 S{28|493I9} 13|176b28 183r25 183r58 187r27 195r39 197r51 203r61
92U14*Store_String_Char 92>33 13|210b14 215l8 215t25 219s7 229s10 315s10
92m33 C{28|520M12} 13|210b33 212r28
93U14*Store_String_Char 93>33 13|217b14 220l8 220t25 264s10 272s10
93e33 C{character} 13|217b33 219r41
96U14*Store_String_Chars 96>34 13|226b14 231l8 231t26
96s34 S{string} 13|226b34 228r16 228r27 229r44
97U14*Store_String_Chars 97>34 13|233b14 255l8 255t26
97i34 S{28|493I9} 13|233b34 244r49 245r49
100U14*Store_String_Int 100>32 13|261b14 265s10 269s13 274l8 274t24
100i32 N{28|59I9} 13|261b32 263r10 265r29 268r13 269r31 272r66
103U14*Unstore_String_Char 13|387b14 392l8 392t27
107V13*End_String{28|493I9} 174r19 13|99b13 102l8 102t18 128s25 318s14
110V13*String_Length{28|62I12} 110>28 175r19 13|84s42 245s34 325b13 328l8
. 328t21 336s28 457s24 470s27
110i28 Id{28|493I9} 13|325b28 327r29
113V13*Get_String_Char{28|520M12} 113>30 113>46 114r19 13|89s27 108b13 114l8
. 114t23 297s16 297s42 340s27 458s18
113i30 Id{28|493I9} 13|108b30 110r22 111r62 113r49
113i46 Index{28|59I9} 13|108b46 111r33 113r68
118V13*String_Equal{boolean} 118>27 118>30 13|289b13 304l8 304t20
118i27 L{28|493I9} 13|289b27 290r44 297r33
118i30 R{28|493I9} 13|289b30 293r32 297r59
121U14*String_To_Name_Buffer 121>37 13|334b14 342l8 342t29
121i37 S{28|493I9} 13|334b37 336r43 340r44
126U14*Add_String_To_Name_Buffer 126>41 13|83b14 93l8 93t33
126i41 S{28|493I9} 13|83b41 84r57 89r44
131V13*String_Chars_Address{14|64M9} 13|280b13 283l8 283t28
134V13*String_From_Name_Buffer{28|493I9} 13|310b13 319l8 319t31
139V13*Strings_Address{14|64M9} 13|348b13 351l8 351t23
142U14*Tree_Read 13|357b14 361l8 361t17
147U14*Tree_Write 13|367b14 371l8 371t18
151U14*Write_Char_Code 151>31 13|398b14 441l8 441t23 463s16
151m31 Code{28|520M12} 13|398b31 418r10 419r37 425r13 426r29 429r13 430r30
. 433r13 434r30 437r26
161U14*Write_String_Table_Entry 161>40 13|447b14 478l8 478t32
161i40 Id{28|493I9} 13|447b40 451r10 457r39 458r35 470r42
X 13 stringt.adb
43K12 String_Chars[25|55] 113r14 122r7 137r7 139r7 150r28 160r7 171r40 184r53
. 193r12 196r13 197r16 212r7 246r34 250r7 251r7 252r9 282r14 359r7 369r7
. 379r7 389r7
55R9 String_Entry 58e14 61r30
56i7*String_Index{28|59I9} 113r53 171m24 183r28 186m39 187r30 192m39 197r54
. 244r52
57i7*Length{28|62I12} 111r66 171m63 183r61 195r42 203m36 203r64 213m36 214r38
. 253m36 254r38 290r47 293r35 327r33 390m36 391r38
60K12 Strings[25|55] 101r14 110r47 111r47 113r34 123r7 138r7 140r7 149r23
. 159r7 171r7 178r7 183r10 183r43 186r10 186r25 187r12 192r10 192r25 195r24
. 197r36 203r7 203r22 203r46 213r7 213r22 214r9 214r24 244r34 253r7 253r22
. 254r9 254r24 290r29 293r17 327r14 350r14 360r7 370r7 380r7 390r7 390r22
. 391r9 391r24
73i4 Strings_Last{28|493I9} 149m7 159r25
74i4 String_Chars_Last{28|59I9} 150m7 160r30
84i7 Len{natural} 87r21 92r30
87i11 J{integer} 88r34 89r52
195i14 J<integer> 197r70
228i11 J{integer} 229r47
244i7 S_First{28|59I9} 252r29 252r40
245i7 S_Len{28|59I9} 247r45 252r50 254r47
246i7 Old_Last{28|59I9} 247r34 251r27
247i7 New_Last{28|59I9} 250r30 251r43
290i7 Len{28|62I12} 293r10 296r24
296i14 J<integer> 297r36 297r62
314i11 J{integer} 315r57
338i11 J{integer} 339r23 340r52
400U17 Write_Hex_Byte 400>33 407b17 413l11 413t25 426s13 430s13 434s13 437s10
400m33 J{28|520M12} 407b33 411r28 412r28
408a10 Hexd(character) 411r22 412r22
448m7 C{28|520M12} 458m13 460r16 463r33
457i14 J<integer> 458r39 468r16
X 14 system.ads
37K9*System 12|32w6 32r18 131r41 139r36 13|280r41 348r36 14|152e11
64M9*Address 12|131r48 139r43 13|280r48 348r43
X 17 s-memory.ads
53V13*Alloc{14|64M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{14|64M9} 105i<c,__gnat_realloc>22
X 25 table.ads
43K9*Table 13|35w6 43r32 60r27 25|238e10
47+12 Table_Component_Type 13|44r6 61r6
48I12 Table_Index_Type 13|45r6 62r6
50*7 Table_Low_Bound{48I12} 13|46r6 63r6
51i7 Table_Initial{28|65I12} 13|47r6 64r6
52i7 Table_Increment{28|62I12} 13|48r6 65r6
53s7 Table_Name{string} 13|49r6 66r6
55k12*Table 13|43r38 60r33 25|237e13
106A12*Table_Type(28|517M9)<28|59I9>
109A15*Big_Table_Type{106A12[13|60]}<28|493I9>
117P12*Table_Ptr(109A15[13|60])
121p7*Table{117P12[13|60]} 13|111r55[60] 113r27[43] 113r42[60] 183r18[60]
. 183r51[60] 186r18[60] 187r20[60] 192r18[60] 195r31[60] 195r32[60] 197r29[43]
. 197r44[60] 203r15[60] 203r54[60] 213r15[60] 214r17[60] 244r42[60] 251r20[43]
. 252r22[43] 253r15[60] 254r17[60] 282r27[43] 290r37[60] 293r25[60] 327r22[60]
. 350r22[60] 390r15[60] 391r17[60]
128b7*Locked{boolean} 13|137m20[43] 138m15[60] 379m20[43] 380m15[60]
138U17*Init 13|122s20[43] 123s15[60]
145V16*Last{28|493I9} 13|101s22[60] 110s55[60] 149s31[60] 150s41[43] 171s53[43]
. 184s66[43] 186s33[60] 192s33[60] 193s25[43] 203s30[60] 213s30[60] 214s32[60]
. 246s47[43] 253s30[60] 254s32[60] 390s30[60] 391s32[60]
152U17*Release 13|139s20[43] 140s15[60]
165U17*Set_Last 13|159s15[60] 160s20[43] 250s20[43]
174U17*Increment_Last 13|178s15[60]
178U17*Decrement_Last 13|389s20[43]
182U17*Append 13|171s15[60] 196s26[43] 212s20[43]
213U17*Tree_Write 13|369s20[43] 370s15[60]
216U17*Tree_Read 13|359s20[43] 360s15[60]
X 28 types.ads
52K9*Types 12|33w6 33r18 28|885e10
59I9*Int<integer> 12|100r36 113r54 13|45r30 56r22 74r24 89r47 108r54 244r27
. 245r27 246r27 247r27 261r36 340r47
62I12*Nat{59I9} 12|110r51 13|57r22 290r22 325r51
65I12*Pos{59I9}
493I9*String_Id<integer> 12|53r21 85r32 97r38 107r31 110r33 113r35 118r34
. 121r41 126r45 134r44 161r45 13|62r30 73r24 83r45 99r31 108r35 176r32 233r38
. 289r34 310r44 325r33 334r41 447r45
496i4*No_String{493I9} 13|451r15
500i4*First_String_Id{493I9} 13|63r30 73r37 110r28 350r29
517M9*Char_Code_Base
520M12*Char_Code{517M9} 12|92r37 113r66 151r38 13|44r30 108r66 210r37 398r38
. 400r37 407r37 408r33 448r11
524V13*Get_Char_Code{520M12} 13|219s26 229s29 315s29
541V13*Get_Character{character} 13|89s12 340s12
|