libgnatprj5-dev-arm64-cross 5.3.1-14ubuntu2cross1 / usr / lib / gcc-cross / aarch64-linux-gnu / 5 / adalib / gnatprj / stylesw.ali

V "GNAT Lib v5"
A -nostdinc
A -O2
A -fPIC
A -g
A -gnatn
A -mlittle-endian
A -mabi=lp64
P ZX

RN
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_RECURSION
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U stylesw%b		stylesw.adb		fd998267 NE OO PK
W hostparm%s		hostparm.ads		hostparm.ali
W interfaces%s		interfac.ads		interfac.ali
W opt%s			opt.adb			opt.ali
W output%s		output.adb		output.ali

U stylesw%s		stylesw.ads		36bb525b EE NE OO PK
W types%s		types.adb		types.ali

D ada.ads		20070406091342 3ffc8e18 ada%s
D a-unccon.ads		20070406091342 f9eb8f06 ada.unchecked_conversion%s
D a-uncdea.ads		20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D hostparm.ads		20140801100131 a20ca6cf hostparm%s
D interfac.ads		20141120112812 6033a23f interfaces%s
D opt.ads		20150302110329 e5e8f770 opt%s
D output.ads		20140801093848 2d9479ad output%s
D stylesw.ads		20140219111205 552dc895 stylesw%s
D stylesw.adb		20131014130134 c2c462e0 stylesw%b
D system.ads		20141031112219 1d274481 system%s
D s-conca2.ads		20140225151544 02a0d7d0 system.concat_2%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-os_lib.ads		20150220113817 5853d835 system.os_lib%s
D s-stalib.ads		20150220094550 fa0a3617 system.standard_library%s
D s-string.ads		20140225151139 8fe54fb7 system.strings%s
D s-unstyp.ads		20140731130224 9d58a4c0 system.unsigned_types%s
D s-wchcon.ads		20140718092328 1b7d22d2 system.wch_con%s
D types.ads		20150130153101 63969ace types%s
D unchconv.ads		20070406091342 ca2f9e18 unchecked_conversion%s
D unchdeal.ads		20070406091342 214516a4 unchecked_deallocation%s
X 4 hostparm.ads
38K9*Hostparm 73e13 9|26w6 26r20
49N4*Max_Line_Length 9|415r51 419r40
X 6 opt.ads
50K9*Opt 2285e8 9|27w6 27r20
791b4*Ignore_Unrecognized_VWY_Switches{boolean} 9|470r19 579r19
1359b4*Style_Check{boolean} 9|108r14 592m7
X 7 output.ads
44K9*Output 227e11 9|28w6 28r20
137U14*Write_Line 9|471s19 580s19
X 8 stylesw.ads
33K9*Stylesw 342l5 342e12 9|30b14 595l5 595t12
50b4*Style_Check_Array_Attribute_Index{boolean} 9|75m7 161r17 324m16 497m16
56b4*Style_Check_Attribute_Casing{boolean} 9|76m7 160r17 321m16 494m16
61b4*Style_Check_Blanks_At_End{boolean} 9|77m7 162r17 327m16 500m16
65b4*Style_Check_Blank_Lines{boolean} 9|78m7 189r17 458m16 570m16
70b4*Style_Check_Boolean_And_Or{boolean} 9|79m7 163r17 330m16 503m16
79b4*Style_Check_Comments{boolean} 9|80m7 165r10 167r23 169r23 333m16 337m16
. 506m16
108i4*Style_Check_Comments_Spacing{18|62I12} 9|166r13 168r16 334m16 338m16
111b4*Style_Check_DOS_Line_Terminator{boolean} 9|81m7 173r17 341m16 509m16
116b4*Style_Check_End_Labels{boolean} 9|82m7 174r17 344m16 512m16
120b4*Style_Check_Form_Feeds{boolean} 9|83m7 175r17 347m16 515m16
124b4*Style_Check_Horizontal_Tabs{boolean} 9|84m7 176r17 353m16 521m16
128b4*Style_Check_If_Then_Layout{boolean} 9|85m7 177r17 356m16 524m16
154i4*Style_Check_Indentation{18|177I9} 9|74m7 157r27 158r12 317m16 491m16
161b4*Style_Check_Keyword_Casing{boolean} 9|86m7 179r17 362m16 530m16
166b4*Style_Check_Layout{boolean} 9|87m7 108r30 180r17 365m16 533m16
172b4*Style_Check_Max_Line_Length{boolean} 9|88m7 192r10 396m16 428m16 539m16
. 543m16
177b4*Style_Check_Max_Nesting_Level{boolean} 9|89m7 198r10 393m16
182b4*Style_Check_Missing_Overriding{boolean} 9|90m7 183r17 440m16 552m16
187b4*Style_Check_Mode_In{boolean} 9|91m7 178r17 359m16 527m16
191b4*Style_Check_Order_Subprograms{boolean} 9|92m7 182r17 437m16 549m16
196b4*Style_Check_Pragma_Casing{boolean} 9|93m7 184r17 443m16 555m16
200b4*Style_Check_References{boolean} 9|94m7 185r17 446m16 558m16
206b4*Style_Check_Separate_Stmt_Lines{boolean} 9|95m7 187r17 452m16 564m16
215b4*Style_Check_Specs{boolean} 9|96m7 186r17 449m16 561m16
221b4*Style_Check_Standard{boolean} 9|97m7 181r17 431m16 546m16
227b4*Style_Check_Tokens{boolean} 9|98m7 188r17 455m16 567m16
273b4*Style_Check_Xtra_Parens{boolean} 9|99m7 190r17 461m16 573m16
278i4*Style_Max_Line_Length{18|59I9} 9|195r19 397m16 400m16 411m19 412r21
. 415r22 428r53 542m16
283i4*Style_Max_Nesting_Level{18|59I9} 9|201r19 368m16 378m19 379r21 382r22
. 393r49 536m16
292V13*RM_Column_Check{boolean} 9|106b13 109l8 109t23
296U14*Set_Default_Style_Check_Options 9|216b14 220l8 220t39 464s16
300U14*Set_GNAT_Style_Check_Options 9|226b14 230l8 230t36 350s16
304a4*Style_Msg_Buf{string} 9|281m10 293m10 417m22
305i4*Style_Msg_Len{natural} 9|280m10 280r27 281r25 292m10 293r30 418m22
308U14*Set_Style_Check_Options 309>7 310<7 311<7 9|243s7 249b14 594l8 594t31
309a7 Options{string} 9|250b7 299r18 300r24 301r15 370r29 371r26 380r38 389r39
. 390r29 402r29 403r26 413r38 424r39 425r29
310b7 OK{boolean} 9|251b7 291m10 416m22 593m7
311i7 Err_Col{natural} 9|252b7 299m7 300r13 301r24 303m10 303r21 370r19 371r35
. 380r47 388m19 388r30 389r29 390r38 402r19 403r35 413r47 423m19 423r30 424r29
. 425r38 473m19 473r30 582m19 582r30
326U14*Set_Style_Check_Options 326>39 9|219s7 229s7 238b14 245l8 245t31
326a39 Options{string} 9|238b39 243r32
331U14*Reset_Style_Check_Options 9|72b14 100l8 100t33 218s7 228s7 434s16
. 518s16
334A12*Style_Check_Options{string}<integer> 337r54 9|115r54
337U14*Save_Style_Check_Options 337<40 9|115b14 210l8 210t32
337a40 Options{334A12} 9|115b40 132m13 147m10 153r16 154m10 194m10 200m10
. 204r27 206r17 208m10
X 9 stylesw.adb
34a4 Default_Style{string} 56r39 219r32
56a4 GNAT_Style{string} 229r32
116i7 P{natural} 131m13 131r18 132r22 146m10 146r15 147r19 193m10 193r15
. 194r19 199m10 199r15 200r19 204r22 206r13 207m10 207r15 208r19
118U17 Add 118>22 118>37 128b17 134l11 134t14 157s7 160s7 161s7 162s7 163s7
. 167s13 169s13 173s7 174s7 175s7 176s7 177s7 178s7 179s7 180s7 181s7 182s7
. 183s7 184s7 185s7 186s7 187s7 188s7 189s7 190s7
118e22 C{character} 128b22 132r28
118b37 S{boolean} 128b37 130r13
121U17 Add_Nat 121>26 140b17 143s13 148l11 148t18 195s10 201s10
121i26 N{18|62I12} 140b26 142r13 143r22 147r62
153i11 K{integer} 154r19
239b7 OK{boolean} 243m41 244r22
240i7 EC{natural} 241r29 243m45
254e7 C{character} 301m10 302r25 308r18 318r33 471r62 474r64 482r18 580r63
. 583r64
256b7 On{boolean} 307r13 314m16 485m16
260e7 Last_Option{character} 302m10 592r23
263U17 Add_Img 263>26 274b17 277s13 283l11 283t18 419s22
263i26 N{natural} 274b26 276r13 277r22 282r27
266U17 Bad_Style_Switch 266>35 289b17 294l11 294t27 373s19 383s22 405s19
. 474s19 583s19
266a35 Msg{string} 289b35 292r27 293r48
X 18 types.ads
52K9*Types 8|31w6 31r17 18|942e10
59I9*Int<integer> 8|278r28 283r30 9|415r46
62I12*Nat{59I9} 8|108r35 9|121r30 140r30
177I9*Column_Number<short_integer> 8|154r30