libgnatvsn4.8-dev 4.8.2-8ubuntu3 / usr / lib / ada / adalib / gnatvsn / types.ali

V "GNAT Lib v4.8"
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

U types%b		types.adb		dd51ae8f 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		d871cff0 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
D a-unccon.ads		20070406091342 f9eb8f06
D system.ads		20140416144310 90249111
D s-carun8.ads		20090417131547 da3bf6cd
D s-exctab.ads		20090417131547 66e51330
D s-stalib.ads		20130104124955 f78bcf95
D s-unstyp.ads		20090409150019 6ae15c76
D types.ads		20130104092849 a33fd65d
D types.adb		20090409150019 7e6e78d2
D unchconv.ads		20070406091342 ca2f9e18
D unchdeal.ads		20070406091342 214516a4
X 3 system.ads
37K9*System 152e11 8|48w6 126r32
64M9*Address 8|126r39
X 8 types.ads
52K9*Types 877l5 877e10 9|32b14 249l5 249t10
59I9*Int<integer> 62r19 62r34 65r19 65r34 144r25 161r43 171r44 264r25 550r33
. 561r34 561r50 789r30 789r47
62I12*Nat{59I9} 631r21 632r21 633r21 634r21 635r21 636r21 640r17 641r17 642r17
. 643r17 644r17 645r17 653r25 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 192r51 206r26
147A9*Text_Buffer(character)<144I9> 150r39 154r50 186r29 192r33
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}
186A12*Source_Buffer{147A9}<144I9>
192A12*Big_Source_Buffer{147A9}<144I9> 196r41
196P9*Source_Buffer_Ptr(192A12)
206I12*Source_Ptr{144I9} 213r27 222r33 228r39 231r31 235r32
213i4*No_Location{206I12}
222i4*Standard_Location{206I12}
228i4*Standard_ASCII_Location{206I12}
231i4*System_Location{206I12}
235i4*First_Source_Ptr{206I12}
264I9*Union_Id<59I9> 345r31 348r31 351r31 354r31 357r31 360r31 363r31 366r31
267N4*List_Low_Bound 346r12 427r26 435r37
273N4*List_High_Bound 346r33 427r44 430r34
282N4*Node_Low_Bound 349r12 378r26 393r32 403r32 412r41
287N4*Node_High_Bound 349r33 378r44
291N4*Elist_Low_Bound 352r12 452r27 455r36
295N4*Elist_High_Bound 352r33 452r46
299N4*Elmt_Low_Bound 355r12 466r26 469r34
305N4*Elmt_High_Bound 355r33 466r44
309N4*Names_Low_Bound 358r12
312N4*Names_High_Bound 358r33
316N4*Strings_Low_Bound 361r12 487r28 490r38
319N4*Strings_High_Bound 361r33 487r49
323N4*Ureal_Low_Bound 367r12
326N4*Ureal_High_Bound 367r33
330N4*Uint_Low_Bound 364r12
333N4*Uint_Table_Start
337N4*Uint_High_Bound 364r33
345I12*List_Range{264I9}
348I12*Node_Range{264I9}
351I12*Elist_Range{264I9}
354I12*Elmt_Range{264I9}
357I12*Names_Range{264I9}
360I12*Strings_Range{264I9}
363I12*Uint_Range{264I9}
366I12*Ureal_Range{264I9}
378I9*Node_Id<integer> 381r25 387r33 393r21 403r21 407r30 412r30
381I12*Entity_Id{378I9}
387I12*Node_Or_Entity_Id{378I9}
393i4*Empty{378I9}
398N4*Empty_List_Or_Node
403i4*Error{378I9} 407r41
407i4*Empty_Or_Error{378I9}
412i4*First_Node_Id{378I9}
427I9*List_Id<integer> 430r23 435r26 441r29
430i4*No_List{427I9}
435i4*Error_List{427I9} 441r40
441i4*First_List_Id{427I9}
452I9*Elist_Id<integer> 455r24 460r30
455i4*No_Elist{452I9} 460r42
460i4*First_Elist_Id{452I9}
466I9*Elmt_Id<integer> 469r23 472r29
469i4*No_Elmt{466I9} 472r40
472i4*First_Elmt_Id{466I9}
487I9*String_Id<integer> 490r25 494r31
490i4*No_String{487I9} 494r44
494i4*First_String_Id{487I9}
511M9*Char_Code_Base 512r8 514r25
514M12*Char_Code{511M9} 515r8 516r8 518r50 525r37 530r42 535r32 541r37 9|118r50
. 120r14 127r32 157r37 167r37 176r42
518V13*Get_Char_Code{514M12} 518>28 519r19 9|118b13 121l8 121t21
518e28 C{character} 9|118b28 120r44
525V13*In_Character_Range{boolean} 525>33 526r19 9|167b13 170l8 170t26
525m33 C{514M12} 9|167b33 169r15
530V13*In_Wide_Character_Range{boolean} 530>38 531r19 9|176b13 179l8 179t31
530m38 C{514M12} 9|176b38 178r15
535V13*Get_Character{character} 535>28 536r19 9|127b13 131l8 131t21
535m28 C{514M12} 9|127b28 129r22 130r29
541V13*Get_Wide_Character{wide_character} 541>33 9|157b13 161l8 161t26
541m33 C{514M12} 9|157b33 159r22 160r34
550I9*Unit_Number_Type<59I9> 555r25 558r23
555i4*Main_Unit{550I9}
558i4*No_Unit{550I9}
561I9*Source_File_Index<59I9> 564r36 565r29 569r30
564i4*Internal_Source_File{561I9}
569i4*No_Source_File{561I9}
597N4*Time_Stamp_Length 600r51
600I12*Time_Stamp_Index{natural} 601r40 9|38r41 243r41
601A9*Time_Stamp_Type<string><integer> 604r32 610r32 614r33 615r33 616r33
. 617r33 618r33 630r17 646r21 9|38r20 45r32 54r33 63r32 100r32 109r33 192r21
. 218r17 243r20
604a4*Empty_Time_Stamp{601A9}
610a4*Dummy_Time_Stamp{601A9}
614V14*"="{boolean} 614>19 614>25 9|47s24 63b14 94l9 94t11 102s24
614a19 Left{601A9} 9|63b18 68r18 71r13 88r20 88r42 88r63 93r27
614a25 Right{601A9} 9|63b24 68r34 71r36 87r20 87r42 87r63 93r52
615V14*"<="{boolean} 615>19 615>25 9|54b14 57l9 57t12
615a19 Left{601A9} 9|54b19 56r19
615a25 Right{601A9} 9|54b25 56r26
616V14*">="{boolean} 616>19 616>25 9|109b14 112l9 112t12
616a19 Left{601A9} 9|109b19 111r19
616a25 Right{601A9} 9|109b25 111r26
617V14*"<"{boolean} 617>19 617>25 9|45b14 48l9 48t11 111s24
617a19 Left{601A9} 9|45b18 47r19 47r50
617a25 Right{601A9} 9|45b24 47r26 47r66
618V14*">"{boolean} 618>19 618>25 9|56s24 100b14 103l9 103t11
618a19 Left{601A9} 9|100b18 102r19 102r50
618a25 Right{601A9} 9|100b24 102r26 102r66
629U14*Split_Time_Stamp 630>7 631<7 632<7 633<7 634<7 635<7 636<7 9|217b14
. 237l8 237t24
630a7 TS{601A9} 9|218b7 231r27 231r40 232r21 233r21 234r21 235r21 236r21
631i7 Year{62I12} 9|219b7 231m7
632i7 Month{62I12} 9|220b7 232m7
633i7 Day{62I12} 9|221b7 233m7
634i7 Hour{62I12} 9|222b7 234m7
635i7 Minutes{62I12} 9|223b7 235m7
636i7 Seconds{62I12} 9|224b7 236m7
639U14*Make_Time_Stamp 640>7 641>7 642>7 643>7 644>7 645>7 646<7 9|185b14
. 211l8 211t23
640i7 Year{62I12} 9|186b7 197r37 198r38 199r38 200r37
641i7 Month{62I12} 9|187b7 201r37 202r37
642i7 Day{62I12} 9|188b7 203r37 204r37
643i7 Hour{62I12} 9|189b7 205r37 206r37
644i7 Minutes{62I12} 9|190b7 207r37 208r37
645i7 Seconds{62I12} 9|191b7 209r37 210r37
646a7 TS{601A9} 9|192b7 197m7 198m7 199m7 200m7 201m7 202m7 203m7 204m7 205m7
. 206m7 207m7 208m7 209m7 210m7
653I9*Check_Id<59I9> 680r35
656N4*No_Check_Id
659N4*Access_Check
660N4*Accessibility_Check
661N4*Alignment_Check
662N4*Atomic_Synchronization
663N4*Discriminant_Check
664N4*Division_Check
665N4*Elaboration_Check
666N4*Index_Check
667N4*Length_Check
668N4*Overflow_Check
669N4*Range_Check
670N4*Storage_Check
671N4*Tag_Check
672N4*Validity_Check
677N4*All_Checks 680r55
680I12*Predefined_Check_Id{653I9} 695r34
695A9*Suppress_Array(boolean)<653I9> 696r17 745r18
714E9*Overflow_Mode_Type 730e18 737r6 748r31 753r34
715n7*Not_Set{714E9}
719n7*Strict{714E9}
724n7*Minimized{714E9} 737r31
730n7*Eliminated{714E9} 737r44
736E12*Minimized_Or_Eliminated{714E9}
744R9*Suppress_Record 757e14
745a7*Suppress{695A9}
748e7*Overflow_Mode_General{714E9}
753e7*Overflow_Mode_Assertions{714E9}
766X4*Unrecoverable_Error
773X4*Terminate_Program
789I12*Mechanism_Type{59I9}
826E9*RT_Exception_Code 863e27 865r32 869r32 873r32
827n7*CE_Access_Check_Failed{826E9} 866r6
828n7*CE_Access_Parameter_Is_Null{826E9}
829n7*CE_Discriminant_Check_Failed{826E9}
830n7*CE_Divide_By_Zero{826E9}
831n7*CE_Explicit_Raise{826E9}
832n7*CE_Index_Check_Failed{826E9}
833n7*CE_Invalid_Data{826E9}
834n7*CE_Length_Check_Failed{826E9}
835n7*CE_Null_Exception_Id{826E9}
836n7*CE_Null_Not_Allowed{826E9}
837n7*CE_Overflow_Check_Failed{826E9}
838n7*CE_Partition_Check_Failed{826E9}
839n7*CE_Range_Check_Failed{826E9}
840n7*CE_Tag_Check_Failed{826E9} 867r6
842n7*PE_Access_Before_Elaboration{826E9} 870r6
843n7*PE_Accessibility_Check_Failed{826E9}
844n7*PE_Address_Of_Intrinsic{826E9}
845n7*PE_All_Guards_Closed{826E9}
846n7*PE_Bad_Predicated_Generic_Type{826E9}
847n7*PE_Current_Task_In_Entry_Body{826E9}
848n7*PE_Duplicated_Entry_Address{826E9}
849n7*PE_Explicit_Raise{826E9}
850n7*PE_Finalize_Raised_Exception{826E9}
851n7*PE_Implicit_Return{826E9}
852n7*PE_Misaligned_Address_Value{826E9}
853n7*PE_Missing_Return{826E9}
854n7*PE_Overlaid_Controlled_Object{826E9}
855n7*PE_Potentially_Blocking_Operation{826E9}
856n7*PE_Stubbed_Subprogram_Called{826E9}
857n7*PE_Unchecked_Union_Restriction{826E9}
858n7*PE_Non_Transportable_Actual{826E9} 871r6
860n7*SE_Empty_Storage_Pool{826E9} 874r6
861n7*SE_Explicit_Raise{826E9}
862n7*SE_Infinite_Recursion{826E9}
863n7*SE_Object_Too_Large{826E9} 875r6
865E12*RT_CE_Exceptions{826E9}
869E12*RT_PE_Exceptions{826E9}
873E12*RT_SE_Exceptions{826E9}
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|601A9} 243b16 245r35 246r35
38i37 X{8|600I12} 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