/usr/lib/ada/adalib/gnatvsn/types.ali is in libgnatvsn5-dev 5.5.0-12ubuntu1.
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 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 | V "GNAT Lib v5"
A -nostdinc
A -O2
A -fPIC
A -g
A -mtune=generic
A -march=x86-64
P ZX
RN
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_CONVERSION
RV NO_UNCHECKED_DEALLOCATION
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_ELABORATION_CODE
RV NO_OBSOLESCENT_FEATURES
RV SPARK_05
U types%b types.adb 1df8e21c NE OO PK
W system%s system.ads system.ali
W system.compare_array_unsigned_8%s s-carun8.adb s-carun8.ali
U types%s types.ads 95db56f3 BN EE OO PR PK
W system%s system.ads system.ali
W system.exception_table%s s-exctab.adb s-exctab.ali
W system.standard_library%s s-stalib.adb s-stalib.ali
W system.unsigned_types%s s-unstyp.ads s-unstyp.ali
W unchecked_conversion%s
W unchecked_deallocation%s
D ada.ads 20070406091342 3ffc8e18 ada%s
D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s
D system.ads 20141031112219 1d274481 system%s
D s-carun8.ads 20140225151544 a903718d system.compare_array_unsigned_8%s
D s-exctab.ads 20140225151139 54135002 system.exception_table%s
D s-stalib.ads 20150220094550 fa0a3617 system.standard_library%s
D s-unstyp.ads 20140731130224 9d58a4c0 system.unsigned_types%s
D types.ads 20150130153101 63969ace types%s
D types.adb 20140801083227 7e6e78d2 types%b
D unchconv.ads 20070406091342 ca2f9e18 unchecked_conversion%s
D unchdeal.ads 20070406091342 214516a4 unchecked_deallocation%s
X 3 system.ads
37K9*System 155e11 8|48w6 126r32
67M9*Address 8|126r39
X 8 types.ads
52K9*Types 942l5 942e10 9|32b14 249l5 249t10
59I9*Int<integer> 62r19 62r34 65r19 65r34 144r25 161r43 171r44 270r25 556r33
. 567r34 567r50 798r30 798r46
62I12*Nat{59I9} 637r21 638r21 639r21 640r21 641r21 642r21 646r17 647r17 648r17
. 649r17 650r17 651r17 659r25 9|38r66 64r16 65r16 186r17 187r17 188r17 189r17
. 190r17 191r17 219r21 220r21 221r21 222r21 223r21 224r21 243r66
65I12*Pos{59I9}
68M9*Word 133r33 9|137r21 140r33 141r12
71I9*Short<short_integer> 72r8
75M9*Byte 76r8
79M9*size_t
91e4*EOF{character}
101E12*Graphic_Character{character}
104E12*Line_Terminator{character}
108E12*Upper_Half_Character{character}
112P9*Character_Ptr(character)
113P9*String_Ptr(string) 116r58
116U14*Free[11|20]
119A12*Big_String{string}<integer> 120r38
120P9*Big_String_Ptr(119A12) 126r48
125V13*To_Big_String_Ptr[10|20]{120P9}
129A12*Word_Hex_String{string}<integer> 133r46 9|140r46 142r12
133V13*Get_Hex_String{129A12} 133>29 9|140b13 151l8 151t22
133m29 W{68M9} 9|140b29 141r20
144I9*Text_Ptr<59I9> 147r31 198r51 212r26
147A9*Text_Buffer(character)<144I9> 150r39 154r50 191r29 198r33
150P9*Text_Buffer_Ptr(147A9) 154r63
154U14*Free[11|20]
161I9*Logical_Line_Number<integer> 162r8 168r30
168i4*No_Line_Number{161I9}
171I9*Physical_Line_Number<integer> 172r8
177I9*Column_Number<short_integer> 178r8 183r32
183i4*No_Column_Number{177I9}
186N4*Source_Align
191A12*Source_Buffer{147A9}<144I9>
198A12*Big_Source_Buffer{147A9}<144I9> 202r41
202P9*Source_Buffer_Ptr(198A12)
212I12*Source_Ptr{144I9} 219r27 228r33 234r39 237r31 241r32
219i4*No_Location{212I12}
228i4*Standard_Location{212I12}
234i4*Standard_ASCII_Location{212I12}
237i4*System_Location{212I12}
241i4*First_Source_Ptr{212I12}
270I9*Union_Id<59I9> 351r31 354r31 357r31 360r31 363r31 366r31 369r31 372r31
273N4*List_Low_Bound 352r12 433r26 441r37
279N4*List_High_Bound 352r33 433r44 436r34
288N4*Node_Low_Bound 355r12 384r26 399r32 409r32 418r41
293N4*Node_High_Bound 355r33 384r44
297N4*Elist_Low_Bound 358r12 458r27 461r36
301N4*Elist_High_Bound 358r33 458r46
305N4*Elmt_Low_Bound 361r12 472r26 475r34
311N4*Elmt_High_Bound 361r33 472r44
315N4*Names_Low_Bound 364r12
318N4*Names_High_Bound 364r33
322N4*Strings_Low_Bound 367r12 493r28 496r38
325N4*Strings_High_Bound 367r33 493r49
329N4*Ureal_Low_Bound 373r12
332N4*Ureal_High_Bound 373r33
336N4*Uint_Low_Bound 370r12
339N4*Uint_Table_Start
343N4*Uint_High_Bound 370r33
351I12*List_Range{270I9}
354I12*Node_Range{270I9}
357I12*Elist_Range{270I9}
360I12*Elmt_Range{270I9}
363I12*Names_Range{270I9}
366I12*Strings_Range{270I9}
369I12*Uint_Range{270I9}
372I12*Ureal_Range{270I9}
384I9*Node_Id<integer> 387r25 393r33 399r21 409r21 413r30 418r30
387I12*Entity_Id{384I9}
393I12*Node_Or_Entity_Id{384I9}
399i4*Empty{384I9}
404N4*Empty_List_Or_Node
409i4*Error{384I9} 413r41
413i4*Empty_Or_Error{384I9}
418i4*First_Node_Id{384I9}
433I9*List_Id<integer> 436r23 441r26 447r29
436i4*No_List{433I9}
441i4*Error_List{433I9} 447r40
447i4*First_List_Id{433I9}
458I9*Elist_Id<integer> 461r24 466r30
461i4*No_Elist{458I9} 466r42
466i4*First_Elist_Id{458I9}
472I9*Elmt_Id<integer> 475r23 478r29
475i4*No_Elmt{472I9} 478r40
478i4*First_Elmt_Id{472I9}
493I9*String_Id<integer> 496r25 500r31
496i4*No_String{493I9} 500r44
500i4*First_String_Id{493I9}
517M9*Char_Code_Base 518r8 520r25
520M12*Char_Code{517M9} 521r8 522r8 524r50 531r37 536r42 541r32 547r37 9|118r50
. 120r14 127r32 157r37 167r37 176r42
524V13*Get_Char_Code{520M12} 524>28 525r19 9|118b13 121l8 121t21
524e28 C{character} 9|118b28 120r44
531V13*In_Character_Range{boolean} 531>33 532r19 9|167b13 170l8 170t26
531m33 C{520M12} 9|167b33 169r15
536V13*In_Wide_Character_Range{boolean} 536>38 537r19 9|176b13 179l8 179t31
536m38 C{520M12} 9|176b38 178r15
541V13*Get_Character{character} 541>28 542r19 9|127b13 131l8 131t21
541m28 C{520M12} 9|127b28 129r22 130r29
547V13*Get_Wide_Character{wide_character} 547>33 9|157b13 161l8 161t26
547m33 C{520M12} 9|157b33 159r22 160r34
556I9*Unit_Number_Type<59I9> 561r25 564r23
561i4*Main_Unit{556I9}
564i4*No_Unit{556I9}
567I9*Source_File_Index<59I9> 570r36 571r29 575r30
570i4*Internal_Source_File{567I9}
575i4*No_Source_File{567I9}
603N4*Time_Stamp_Length 606r51
606I12*Time_Stamp_Index{natural} 607r40 9|38r41 243r41
607A9*Time_Stamp_Type<string>(character)<integer> 610r32 616r32 620r33 621r33
. 622r33 623r33 624r33 636r17 652r21 9|38r20 45r32 54r33 63r32 100r32 109r33
. 192r21 218r17 243r20
610a4*Empty_Time_Stamp{607A9}
616a4*Dummy_Time_Stamp{607A9}
620V14*"="{boolean} 620>19 620>25 9|47s24 63b14 94l9 94t11 102s24
620a19 Left{607A9} 9|63b18 68r18 71r13 88r20 88r42 88r63 93r27
620a25 Right{607A9} 9|63b24 68r34 71r36 87r20 87r42 87r63 93r52
621V14*"<="{boolean} 621>19 621>25 9|54b14 57l9 57t12
621a19 Left{607A9} 9|54b19 56r19
621a25 Right{607A9} 9|54b25 56r26
622V14*">="{boolean} 622>19 622>25 9|109b14 112l9 112t12
622a19 Left{607A9} 9|109b19 111r19
622a25 Right{607A9} 9|109b25 111r26
623V14*"<"{boolean} 623>19 623>25 9|45b14 48l9 48t11 111s24
623a19 Left{607A9} 9|45b18 47r19 47r50
623a25 Right{607A9} 9|45b24 47r26 47r66
624V14*">"{boolean} 624>19 624>25 9|56s24 100b14 103l9 103t11
624a19 Left{607A9} 9|100b18 102r19 102r50
624a25 Right{607A9} 9|100b24 102r26 102r66
635U14*Split_Time_Stamp 636>7 637<7 638<7 639<7 640<7 641<7 642<7 9|217b14
. 237l8 237t24
636a7 TS{607A9} 9|218b7 231r27 231r40 232r21 233r21 234r21 235r21 236r21
637i7 Year{62I12} 9|219b7 231m7
638i7 Month{62I12} 9|220b7 232m7
639i7 Day{62I12} 9|221b7 233m7
640i7 Hour{62I12} 9|222b7 234m7
641i7 Minutes{62I12} 9|223b7 235m7
642i7 Seconds{62I12} 9|224b7 236m7
645U14*Make_Time_Stamp 646>7 647>7 648>7 649>7 650>7 651>7 652<7 9|185b14
. 211l8 211t23
646i7 Year{62I12} 9|186b7 197r37 198r38 199r38 200r37
647i7 Month{62I12} 9|187b7 201r37 202r37
648i7 Day{62I12} 9|188b7 203r37 204r37
649i7 Hour{62I12} 9|189b7 205r37 206r37
650i7 Minutes{62I12} 9|190b7 207r37 208r37
651i7 Seconds{62I12} 9|191b7 209r37 210r37
652a7 TS{607A9} 9|192b7 197m7 198m7 199m7 200m7 201m7 202m7 203m7 204m7 205m7
. 206m7 207m7 208m7 209m7 210m7
659I9*Check_Id<59I9> 689r35
662N4*No_Check_Id
665N4*Access_Check
666N4*Accessibility_Check
667N4*Alignment_Check
668N4*Allocation_Check
669N4*Atomic_Synchronization
670N4*Discriminant_Check
671N4*Division_Check
672N4*Duplicated_Tag_Check
673N4*Elaboration_Check
674N4*Index_Check
675N4*Length_Check
676N4*Overflow_Check
677N4*Predicate_Check
678N4*Range_Check
679N4*Storage_Check
680N4*Tag_Check
681N4*Validity_Check
686N4*All_Checks 689r55
689I12*Predefined_Check_Id{659I9} 704r34
704A9*Suppress_Array(boolean)<659I9> 705r17 754r18
723E9*Overflow_Mode_Type 739e18 746r6 757r31 762r34
724n7*Not_Set{723E9}
728n7*Strict{723E9}
733n7*Minimized{723E9} 746r31
739n7*Eliminated{723E9} 746r44
745E12*Minimized_Or_Eliminated{723E9}
753R9*Suppress_Record 766e14
754a7*Suppress{704A9}
757e7*Overflow_Mode_General{723E9}
762e7*Overflow_Mode_Assertions{723E9}
775X4*Unrecoverable_Error
782X4*Terminate_Program
798I12*Mechanism_Type{59I9}
853E9*RT_Exception_Code 893e39 901r19
854n7*CE_Access_Check_Failed{853E9} 902r15
855n7*CE_Access_Parameter_Is_Null{853E9} 903r15
856n7*CE_Discriminant_Check_Failed{853E9} 904r15
857n7*CE_Divide_By_Zero{853E9} 905r15
858n7*CE_Explicit_Raise{853E9} 906r15
859n7*CE_Index_Check_Failed{853E9} 907r15
860n7*CE_Invalid_Data{853E9} 908r15
861n7*CE_Length_Check_Failed{853E9} 909r15
862n7*CE_Null_Exception_Id{853E9} 910r15
863n7*CE_Null_Not_Allowed{853E9} 911r15
865n7*CE_Overflow_Check_Failed{853E9} 912r15
866n7*CE_Partition_Check_Failed{853E9} 913r15
867n7*CE_Range_Check_Failed{853E9} 914r15
868n7*CE_Tag_Check_Failed{853E9} 915r15
869n7*PE_Access_Before_Elaboration{853E9} 917r15
870n7*PE_Accessibility_Check_Failed{853E9} 918r15
871n7*PE_Address_Of_Intrinsic{853E9} 919r15
872n7*PE_Aliased_Parameters{853E9} 920r15
873n7*PE_All_Guards_Closed{853E9} 921r15
874n7*PE_Bad_Predicated_Generic_Type{853E9} 922r15
876n7*PE_Current_Task_In_Entry_Body{853E9} 923r15
877n7*PE_Duplicated_Entry_Address{853E9} 924r15
878n7*PE_Explicit_Raise{853E9} 925r15
879n7*PE_Finalize_Raised_Exception{853E9} 926r15
880n7*PE_Implicit_Return{853E9} 927r15
881n7*PE_Misaligned_Address_Value{853E9} 928r15
882n7*PE_Missing_Return{853E9} 929r15
883n7*PE_Overlaid_Controlled_Object{853E9} 930r15
884n7*PE_Potentially_Blocking_Operation{853E9} 931r15
885n7*PE_Stubbed_Subprogram_Called{853E9} 932r15
887n7*PE_Unchecked_Union_Restriction{853E9} 933r15
888n7*PE_Non_Transportable_Actual{853E9} 934r15
889n7*SE_Empty_Storage_Pool{853E9} 937r15
890n7*SE_Explicit_Raise{853E9} 938r15
891n7*SE_Infinite_Recursion{853E9} 939r15
892n7*SE_Object_Too_Large{853E9} 940r15
893n7*PE_Stream_Operation_Not_Allowed{853E9} 935r15
895N4*Last_Reason_Code
898E9*Reason_Kind 898e57 901r50
898n25*CE_Reason{898E9} 902r52 903r52 904r52 905r52 906r52 907r52 908r52
. 909r52 910r52 911r52 912r52 913r52 914r52 915r52
898n36*PE_Reason{898E9} 917r52 918r52 919r52 920r52 921r52 922r52 923r52
. 924r52 925r52 926r52 927r52 928r52 929r52 930r52 931r52 932r52 933r52 934r52
. 935r52
898n47*SE_Reason{898E9} 937r52 938r52 939r52 940r52
901a4*Rkind(898E9)
X 9 types.adb
38V13 V{8|62I12} 38>16 38>37 87s17 87s39 87s60 88s17 88s39 88s60 231s24 231s37
. 232s18 233s18 234s18 235s18 236s18 243b13 247l8 247t9
38a16 T{8|607A9} 243b16 245r35 246r35
38i37 X{8|606I12} 243b37 245r38 246r38
64i7 Sleft{8|62I12} 88m7 92r19
65i7 Sright{8|62I12} 87m7 92r27
137M12 Wordh{8|68M9} 138r26
138a4 Hex(character) 146r20
141m7 X{8|68M9} 146r25 147m10 147r15
142a7 WS{8|129A12} 146m10 150r14
145i11 J{integer} 146r14
194N7 Z 197r33 198r33 199r33 200r33 201r33 202r33 203r33 204r33 205r33 206r33
. 207r33 208r33 209r33 210r33
X 10 unchconv.ads
20v10*Unchecked_Conversion 8|49w6 126r10
X 11 unchdeal.ads
20u11*Unchecked_Deallocation 8|50w6 116r26 154r26
|