libgnatvsn6-dev-arm64-cross 6.3.0-18cross1 / usr / lib / gcc-cross / aarch64-linux-gnu / 6 / adalib / gnatvsn / types.ali

V "GNAT Lib v6"
A -nostdinc
A -O2
A -fPIC
A -g
A -mlittle-endian
A -mabi=lp64
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		e0b5d67b 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		1697e69f 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		20151123113124 6326c08a 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		20151112104907 09bd3940 system.standard_library%s
D s-unstyp.ads		20140731130224 9d58a4c0 system.unsigned_types%s
D types.ads		20151112132540 9edbaea9 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 156e11 8|48w6 127r32
67M9*Address 8|127r39
X 8 types.ads
52K9*Types 941l5 941e10 9|32b14 249l5 249t10
59I9*Int<integer> 62r19 62r34 65r19 65r34 145r25 162r43 172r44 271r25 557r33
. 568r34 568r50 801r30 801r46
62I12*Nat{59I9} 638r21 639r21 640r21 641r21 642r21 643r21 647r17 648r17 649r17
. 650r17 651r17 652r17 660r25 9|38r66 64r16 65r16 186r17 187r17 188r17 189r17
. 190r17 191r17 219r21 220r21 221r21 222r21 223r21 224r21 243r66
65I12*Pos{59I9}
68M9*Word 134r33 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) 117r58
114P9*String_Ptr_Const(string)
117U14*Free[11|20]
120A12*Big_String{string}<integer> 121r38
121P9*Big_String_Ptr(120A12) 127r48
126V13*To_Big_String_Ptr[10|20]{121P9}
130A12*Word_Hex_String{string}<integer> 134r46 9|140r46 142r12
134V13*Get_Hex_String{130A12} 134>29 9|140b13 151l8 151t22
134m29 W{68M9} 9|140b29 141r20
145I9*Text_Ptr<59I9> 148r31 199r51 213r26
148A9*Text_Buffer(character)<145I9> 151r39 155r50 192r29 199r33
151P9*Text_Buffer_Ptr(148A9) 155r63
155U14*Free[11|20]
162I9*Logical_Line_Number<integer> 163r8 169r30
169i4*No_Line_Number{162I9}
172I9*Physical_Line_Number<integer> 173r8
178I9*Column_Number<short_integer> 179r8 184r32
184i4*No_Column_Number{178I9}
187N4*Source_Align
192A12*Source_Buffer{148A9}<145I9>
199A12*Big_Source_Buffer{148A9}<145I9> 203r41
203P9*Source_Buffer_Ptr(199A12)
213I12*Source_Ptr{145I9} 220r27 229r33 235r39 238r31 242r32
220i4*No_Location{213I12}
229i4*Standard_Location{213I12}
235i4*Standard_ASCII_Location{213I12}
238i4*System_Location{213I12}
242i4*First_Source_Ptr{213I12}
271I9*Union_Id<59I9> 352r31 355r31 358r31 361r31 364r31 367r31 370r31 373r31
274N4*List_Low_Bound 353r12 434r26 442r37
280N4*List_High_Bound 353r33 434r44 437r34
289N4*Node_Low_Bound 356r12 385r26 400r32 410r32 419r41
294N4*Node_High_Bound 356r33 385r44
298N4*Elist_Low_Bound 359r12 459r27 462r36
302N4*Elist_High_Bound 359r33 459r46
306N4*Elmt_Low_Bound 362r12 473r26 476r34
312N4*Elmt_High_Bound 362r33 473r44
316N4*Names_Low_Bound 365r12
319N4*Names_High_Bound 365r33
323N4*Strings_Low_Bound 368r12 494r28 497r38
326N4*Strings_High_Bound 368r33 494r49
330N4*Ureal_Low_Bound 374r12
333N4*Ureal_High_Bound 374r33
337N4*Uint_Low_Bound 371r12
340N4*Uint_Table_Start
344N4*Uint_High_Bound 371r33
352I12*List_Range{271I9}
355I12*Node_Range{271I9}
358I12*Elist_Range{271I9}
361I12*Elmt_Range{271I9}
364I12*Names_Range{271I9}
367I12*Strings_Range{271I9}
370I12*Uint_Range{271I9}
373I12*Ureal_Range{271I9}
385I9*Node_Id<integer> 388r25 394r33 400r21 410r21 414r30 419r30
388I12*Entity_Id{385I9}
394I12*Node_Or_Entity_Id{385I9}
400i4*Empty{385I9}
405N4*Empty_List_Or_Node
410i4*Error{385I9} 414r41
414i4*Empty_Or_Error{385I9}
419i4*First_Node_Id{385I9}
434I9*List_Id<integer> 437r23 442r26 448r29
437i4*No_List{434I9}
442i4*Error_List{434I9} 448r40
448i4*First_List_Id{434I9}
459I9*Elist_Id<integer> 462r24 467r30
462i4*No_Elist{459I9} 467r42
467i4*First_Elist_Id{459I9}
473I9*Elmt_Id<integer> 476r23 479r29
476i4*No_Elmt{473I9} 479r40
479i4*First_Elmt_Id{473I9}
494I9*String_Id<integer> 497r25 501r31
497i4*No_String{494I9} 501r44
501i4*First_String_Id{494I9}
518M9*Char_Code_Base 519r8 521r25
521M12*Char_Code{518M9} 522r8 523r8 525r50 532r37 537r42 542r32 548r37 9|118r50
. 120r14 127r32 157r37 167r37 176r42
525V13*Get_Char_Code{521M12} 525>28 526r19 9|118b13 121l8 121t21
525e28 C{character} 9|118b28 120r44
532V13*In_Character_Range{boolean} 532>33 533r19 9|167b13 170l8 170t26
532m33 C{521M12} 9|167b33 169r15
537V13*In_Wide_Character_Range{boolean} 537>38 538r19 9|176b13 179l8 179t31
537m38 C{521M12} 9|176b38 178r15
542V13*Get_Character{character} 542>28 543r19 9|127b13 131l8 131t21
542m28 C{521M12} 9|127b28 129r22 130r29
548V13*Get_Wide_Character{wide_character} 548>33 9|157b13 161l8 161t26
548m33 C{521M12} 9|157b33 159r22 160r34
557I9*Unit_Number_Type<59I9> 562r25 565r23
562i4*Main_Unit{557I9}
565i4*No_Unit{557I9}
568I9*Source_File_Index<59I9> 571r36 572r29 576r30
571i4*Internal_Source_File{568I9}
576i4*No_Source_File{568I9}
604N4*Time_Stamp_Length 607r51
607I12*Time_Stamp_Index{natural} 608r40 9|38r41 243r41
608A9*Time_Stamp_Type<string>(character)<integer> 611r32 617r32 621r33 622r33
. 623r33 624r33 625r33 637r17 653r21 9|38r20 45r32 54r33 63r32 100r32 109r33
. 192r21 218r17 243r20
611a4*Empty_Time_Stamp{608A9}
617a4*Dummy_Time_Stamp{608A9}
621V14*"="{boolean} 621>19 621>25 9|47s24 63b14 94l9 94t11 102s24
621a19 Left{608A9} 9|63b18 68r18 71r13 88r20 88r42 88r63 93r27
621a25 Right{608A9} 9|63b24 68r34 71r36 87r20 87r42 87r63 93r52
622V14*"<="{boolean} 622>19 622>25 9|54b14 57l9 57t12
622a19 Left{608A9} 9|54b19 56r19
622a25 Right{608A9} 9|54b25 56r26
623V14*">="{boolean} 623>19 623>25 9|109b14 112l9 112t12
623a19 Left{608A9} 9|109b19 111r19
623a25 Right{608A9} 9|109b25 111r26
624V14*"<"{boolean} 624>19 624>25 9|45b14 48l9 48t11 111s24
624a19 Left{608A9} 9|45b18 47r19 47r50
624a25 Right{608A9} 9|45b24 47r26 47r66
625V14*">"{boolean} 625>19 625>25 9|56s24 100b14 103l9 103t11
625a19 Left{608A9} 9|100b18 102r19 102r50
625a25 Right{608A9} 9|100b24 102r26 102r66
636U14*Split_Time_Stamp 637>7 638<7 639<7 640<7 641<7 642<7 643<7 9|217b14
. 237l8 237t24
637a7 TS{608A9} 9|218b7 231r27 231r40 232r21 233r21 234r21 235r21 236r21
638i7 Year{62I12} 9|219b7 231m7
639i7 Month{62I12} 9|220b7 232m7
640i7 Day{62I12} 9|221b7 233m7
641i7 Hour{62I12} 9|222b7 234m7
642i7 Minutes{62I12} 9|223b7 235m7
643i7 Seconds{62I12} 9|224b7 236m7
646U14*Make_Time_Stamp 647>7 648>7 649>7 650>7 651>7 652>7 653<7 9|185b14
. 211l8 211t23
647i7 Year{62I12} 9|186b7 197r37 198r38 199r38 200r37
648i7 Month{62I12} 9|187b7 201r37 202r37
649i7 Day{62I12} 9|188b7 203r37 204r37
650i7 Hour{62I12} 9|189b7 205r37 206r37
651i7 Minutes{62I12} 9|190b7 207r37 208r37
652i7 Seconds{62I12} 9|191b7 209r37 210r37
653a7 TS{608A9} 9|192b7 197m7 198m7 199m7 200m7 201m7 202m7 203m7 204m7 205m7
. 206m7 207m7 208m7 209m7 210m7
660I9*Check_Id<59I9> 692r35
663N4*No_Check_Id
666N4*Access_Check
667N4*Accessibility_Check
668N4*Alignment_Check
669N4*Allocation_Check
670N4*Atomic_Synchronization
671N4*Discriminant_Check
672N4*Division_Check
673N4*Duplicated_Tag_Check
674N4*Elaboration_Check
675N4*Index_Check
676N4*Length_Check
677N4*Overflow_Check
678N4*Predicate_Check
679N4*Range_Check
680N4*Storage_Check
681N4*Tag_Check
682N4*Validity_Check
683N4*Container_Checks
684N4*Tampering_Check
689N4*All_Checks 692r55
692I12*Predefined_Check_Id{660I9} 707r34
707A9*Suppress_Array(boolean)<660I9> 708r17 757r18
726E9*Overflow_Mode_Type 742e18 749r6 760r31 765r34
727n7*Not_Set{726E9}
731n7*Strict{726E9}
736n7*Minimized{726E9} 749r31
742n7*Eliminated{726E9} 749r44
748E12*Minimized_Or_Eliminated{726E9}
756R9*Suppress_Record 769e14
757a7*Suppress{707A9}
760e7*Overflow_Mode_General{726E9}
765e7*Overflow_Mode_Assertions{726E9}
778X4*Unrecoverable_Error
785X4*Terminate_Program
801I12*Mechanism_Type{59I9}
852E9*RT_Exception_Code 892e39 900r28
853n7*CE_Access_Check_Failed{852E9} 901r15
854n7*CE_Access_Parameter_Is_Null{852E9} 902r15
855n7*CE_Discriminant_Check_Failed{852E9} 903r15
856n7*CE_Divide_By_Zero{852E9} 904r15
857n7*CE_Explicit_Raise{852E9} 905r15
858n7*CE_Index_Check_Failed{852E9} 906r15
859n7*CE_Invalid_Data{852E9} 907r15
860n7*CE_Length_Check_Failed{852E9} 908r15
861n7*CE_Null_Exception_Id{852E9} 909r15
862n7*CE_Null_Not_Allowed{852E9} 910r15
864n7*CE_Overflow_Check_Failed{852E9} 911r15
865n7*CE_Partition_Check_Failed{852E9} 912r15
866n7*CE_Range_Check_Failed{852E9} 913r15
867n7*CE_Tag_Check_Failed{852E9} 914r15
868n7*PE_Access_Before_Elaboration{852E9} 916r15
869n7*PE_Accessibility_Check_Failed{852E9} 917r15
870n7*PE_Address_Of_Intrinsic{852E9} 918r15
871n7*PE_Aliased_Parameters{852E9} 919r15
872n7*PE_All_Guards_Closed{852E9} 920r15
873n7*PE_Bad_Predicated_Generic_Type{852E9} 921r15
875n7*PE_Current_Task_In_Entry_Body{852E9} 922r15
876n7*PE_Duplicated_Entry_Address{852E9} 923r15
877n7*PE_Explicit_Raise{852E9} 924r15
878n7*PE_Finalize_Raised_Exception{852E9} 925r15
879n7*PE_Implicit_Return{852E9} 926r15
880n7*PE_Misaligned_Address_Value{852E9} 927r15
881n7*PE_Missing_Return{852E9} 928r15
882n7*PE_Overlaid_Controlled_Object{852E9} 929r15
883n7*PE_Potentially_Blocking_Operation{852E9} 930r15
884n7*PE_Stubbed_Subprogram_Called{852E9} 931r15
886n7*PE_Unchecked_Union_Restriction{852E9} 932r15
887n7*PE_Non_Transportable_Actual{852E9} 933r15
888n7*SE_Empty_Storage_Pool{852E9} 936r15
889n7*SE_Explicit_Raise{852E9} 937r15
890n7*SE_Infinite_Recursion{852E9} 938r15
891n7*SE_Object_Too_Large{852E9} 939r15
892n7*PE_Stream_Operation_Not_Allowed{852E9} 934r15
894N4*Last_Reason_Code
897E9*Reason_Kind 897e57 900r59
897n25*CE_Reason{897E9} 901r52 902r52 903r52 904r52 905r52 906r52 907r52
. 908r52 909r52 910r52 911r52 912r52 913r52 914r52
897n36*PE_Reason{897E9} 916r52 917r52 918r52 919r52 920r52 921r52 922r52
. 923r52 924r52 925r52 926r52 927r52 928r52 929r52 930r52 931r52 932r52 933r52
. 934r52
897n47*SE_Reason{897E9} 936r52 937r52 938r52 939r52
900a4*Rkind(897E9)
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|608A9} 243b16 245r35 246r35
38i37 X{8|607I12} 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|130A12} 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 127r10
X 11 unchdeal.ads
20u11*Unchecked_Deallocation 8|50w6 117r26 155r26