/usr/lib/ada/adalib/gnatprj/stylesw.ali is in libgnatprj6-dev 6.3.0-18+deb9u1.
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 | V "GNAT Lib v6"
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_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05
U stylesw%b stylesw.adb de2013ba 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 cbf6663c 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 20151118101227 4be8ce1b interfaces%s
D opt.ads 20151123112034 ee330e6c opt%s
D output.ads 20151112132540 05f6116c output%s
D stylesw.ads 20140219111205 552dc895 stylesw%s
D stylesw.adb 20131014130134 c2c462e0 stylesw%b
D system.ads 20151123113124 6326c08a 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 20151118101046 53e9e388 system.os_lib%s
D s-stalib.ads 20151112104907 09bd3940 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 20151112132540 9edbaea9 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 2308e8 9|27w6 27r20
816b4*Ignore_Unrecognized_VWY_Switches{boolean} 9|470r19 579r19
1383b4*Style_Check{boolean} 9|108r14 592m7
X 7 output.ads
44K9*Output 213e11 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|178I9} 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|941e10
59I9*Int<integer> 8|278r28 283r30 9|415r46
62I12*Nat{59I9} 8|108r35 9|121r30 140r30
178I9*Column_Number<short_integer> 8|154r30
|