libgnatprj4.8-dev 4.8.2-8ubuntu3 / usr / lib / ada / adalib / gnatprj / stylesw.ali

V "GNAT Lib v4.8"
A -nostdinc
A -O2
A -fPIC
A -g
A -gnatn
A -mtune=generic
A -march=x86-64
P ZX

RN
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_RECURSION
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK

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

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

D ada.ads		20070406091342 3ffc8e18
D a-unccon.ads		20070406091342 f9eb8f06
D a-uncdea.ads		20070406091342 f15a5ed1
D hostparm.ads		20120315091549 c164ed60
D interfac.ads		20110906094621 129923ea
D opt.ads		20130206104433 983485a0
D stylesw.ads		20130129141744 552dc895
D stylesw.adb		20121106112827 dd7b39b7
D system.ads		20140416144310 90249111
D s-exctab.ads		20090417131547 66e51330
D s-stalib.ads		20130104124955 f78bcf95
D s-string.ads		20130104124955 46b01415
D s-unstyp.ads		20090409150019 6ae15c76
D s-wchcon.ads		20090417130712 bfeb2e3d
D types.ads		20130104092849 a33fd65d
D unchconv.ads		20070406091342 ca2f9e18
D unchdeal.ads		20070406091342 214516a4
X 4 hostparm.ads
38K9*Hostparm 85e13 8|26w6 26r20
57N4*Max_Line_Length 8|412r51 416r40
X 6 opt.ads
50K9*Opt 2045e8 8|27w6 27r20
1260b4*Style_Check{boolean} 8|107r14 581m7
X 7 stylesw.ads
33K9*Stylesw 339l5 339e12 8|29b14 584l5 584t12
50b4*Style_Check_Array_Attribute_Index{boolean} 8|74m7 160r17 321m16 490m16
56b4*Style_Check_Attribute_Casing{boolean} 8|75m7 159r17 318m16 487m16
61b4*Style_Check_Blanks_At_End{boolean} 8|76m7 161r17 324m16 493m16
65b4*Style_Check_Blank_Lines{boolean} 8|77m7 186r17 455m16 563m16
70b4*Style_Check_Boolean_And_Or{boolean} 8|78m7 162r17 327m16 496m16
79b4*Style_Check_Comments{boolean} 8|79m7 165r20 167r20 330m16 334m16 499m16
108i4*Style_Check_Comments_Spacing{15|62I12} 8|164r10 166r13 331m16 335m16
111b4*Style_Check_DOS_Line_Terminator{boolean} 8|80m7 170r17 338m16 502m16
116b4*Style_Check_End_Labels{boolean} 8|81m7 171r17 341m16 505m16
120b4*Style_Check_Form_Feeds{boolean} 8|82m7 172r17 344m16 508m16
124b4*Style_Check_Horizontal_Tabs{boolean} 8|83m7 173r17 350m16 514m16
128b4*Style_Check_If_Then_Layout{boolean} 8|84m7 174r17 353m16 517m16
151i4*Style_Check_Indentation{15|177I9} 8|73m7 156r27 157r12 314m16 484m16
158b4*Style_Check_Keyword_Casing{boolean} 8|85m7 176r17 359m16 523m16
163b4*Style_Check_Layout{boolean} 8|86m7 107r30 177r17 362m16 526m16
169b4*Style_Check_Max_Line_Length{boolean} 8|87m7 189r10 393m16 425m16 532m16
. 536m16
174b4*Style_Check_Max_Nesting_Level{boolean} 8|88m7 195r10 390m16
179b4*Style_Check_Missing_Overriding{boolean} 8|89m7 180r17 437m16 545m16
184b4*Style_Check_Mode_In{boolean} 8|90m7 175r17 356m16 520m16
188b4*Style_Check_Order_Subprograms{boolean} 8|91m7 179r17 434m16 542m16
193b4*Style_Check_Pragma_Casing{boolean} 8|92m7 181r17 440m16 548m16
197b4*Style_Check_References{boolean} 8|93m7 182r17 443m16 551m16
203b4*Style_Check_Separate_Stmt_Lines{boolean} 8|94m7 184r17 449m16 557m16
212b4*Style_Check_Specs{boolean} 8|95m7 183r17 446m16 554m16
218b4*Style_Check_Standard{boolean} 8|96m7 178r17 428m16 539m16
224b4*Style_Check_Tokens{boolean} 8|97m7 185r17 452m16 560m16
270b4*Style_Check_Xtra_Parens{boolean} 8|98m7 187r17 458m16 566m16
275i4*Style_Max_Line_Length{15|59I9} 8|192r19 394m16 397m16 408m19 409r21
. 412r22 425r53 535m16
280i4*Style_Max_Nesting_Level{15|59I9} 8|198r19 365m16 375m19 376r21 379r22
. 390r49 529m16
289V13*RM_Column_Check{boolean} 8|105b13 108l8 108t23
293U14*Set_Default_Style_Check_Options 8|213b14 217l8 217t39 461s16
297U14*Set_GNAT_Style_Check_Options 8|223b14 227l8 227t36 347s16
301a4*Style_Msg_Buf{string} 8|278m10 290m10 414m22
302i4*Style_Msg_Len{natural} 8|277m10 277r27 278r25 289m10 290r30 415m22
305U14*Set_Style_Check_Options 306>7 307<7 308<7 8|240s7 246b14 583l8 583t31
306s7 Options{string} 8|247b7 296r18 297r24 298r15 367r29 368r26 377r38 386r39
. 387r29 399r29 400r26 410r38 421r39 422r29
307b7 OK{boolean} 8|248b7 288m10 413m22 582m7
308i7 Err_Col{natural} 8|249b7 296m7 297r13 298r24 300m10 300r21 367r19 368r35
. 377r47 385m19 385r30 386r29 387r38 399r19 400r35 410r47 420m19 420r30 421r29
. 422r38 467m16 467r27 572m16 572r27
323U14*Set_Style_Check_Options 323>39 8|216s7 226s7 235b14 242l8 242t31
323s39 Options{string} 8|235b39 240r32
328U14*Reset_Style_Check_Options 8|71b14 99l8 99t33 215s7 225s7 431s16 511s16
331A12*Style_Check_Options{string}<integer> 334r54 8|114r54
334U14*Save_Style_Check_Options 334<40 8|114b14 207l8 207t32
334a40 Options{331A12} 8|114b40 131m13 146m10 152r16 153m10 191m10 197m10
. 201r27 203r17 205m10
X 8 stylesw.adb
33a4 Default_Style{string} 55r39 216r32
55a4 GNAT_Style{string} 226r32
115i7 P{natural} 130m13 130r18 131r22 145m10 145r15 146r19 190m10 190r15
. 191r19 196m10 196r15 197r19 201r22 203r13 204m10 204r15 205r19
117U17 Add 117>22 117>37 127b17 133l11 133t14 156s7 159s7 160s7 161s7 162s7
. 165s10 167s10 170s7 171s7 172s7 173s7 174s7 175s7 176s7 177s7 178s7 179s7
. 180s7 181s7 182s7 183s7 184s7 185s7 186s7 187s7
117e22 C{character} 127b22 131r28
117b37 S{boolean} 127b37 129r13
120U17 Add_Nat 120>26 139b17 142s13 147l11 147t18 192s10 198s10
120i26 N{15|62I12} 139b26 141r13 142r22 146r62
152i11 K{integer} 153r19
236b7 OK{boolean} 240m41 241r22
237i7 EC{natural} 238r29 240m45
251e7 C{character} 298m10 299r25 305r18 315r33 468r61 475r18 573r61
253b7 On{boolean} 304r13 311m16 478m16
257e7 Last_Option{character} 299m10 581r23
260U17 Add_Img 260>26 271b17 274s13 280l11 280t18 416s22
260i26 N{natural} 271b26 273r13 274r22 279r27
263U17 Bad_Style_Switch 263>35 286b17 291l11 291t27 370s19 380s22 402s19
. 468s16 573s16
263s35 Msg{string} 286b35 289r27 290r48
X 15 types.ads
52K9*Types 7|31w6 31r17 15|877e10
59I9*Int<integer> 7|275r28 280r30 8|412r46
62I12*Nat{59I9} 7|108r35 8|120r30 139r30
177I9*Column_Number<short_integer> 7|151r30