/usr/lib/ada/adalib/gnatprj/style.ali is in libgnatprj5-dev 5.3.1-14ubuntu2.
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 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 | V "GNAT Lib v5"
A -nostdinc
A -O2
A -fPIC
A -g
A -gnatn
A -mtune=generic
A -march=x86-64
P SS ZX
RN
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_ELABORATION_CODE
RV SPARK_05
U style%b style.adb bee16002 NE OO PK
W atree%s atree.adb atree.ali
W casing%s casing.adb casing.ali
W csets%s csets.adb csets.ali
W einfo%s einfo.adb einfo.ali
W errout%s errout.adb errout.ali
W namet%s namet.adb namet.ali
W nlists%s nlists.adb nlists.ali
W opt%s opt.adb opt.ali
W sinfo%s sinfo.adb sinfo.ali
W sinput%s sinput.adb sinput.ali
W stand%s stand.adb stand.ali
W stylesw%s stylesw.adb stylesw.ali
W system.secondary_stack%s s-secsta.adb s-secsta.ali
U style%s style.ads 318f31b3 EE OO PK
Z atree%s atree.adb atree.ali
Z casing%s casing.adb casing.ali
Z csets%s csets.adb csets.ali
Z einfo%s einfo.adb einfo.ali
Z err_vars%s err_vars.ads err_vars.ali
W errout%s errout.adb errout.ali
Z opt%s opt.adb opt.ali
Z scans%s scans.adb scans.ali
Z sinfo%s sinfo.adb sinfo.ali
Z sinput%s sinput.adb sinput.ali
W styleg%s styleg.adb styleg.ali AD
Z stylesw%s stylesw.adb stylesw.ali
W types%s types.adb types.ali
D ada.ads 20070406091342 3ffc8e18 ada%s
D a-except.ads 20140730140058 5250cb69 ada.exceptions%s
D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s
D a-uncdea.ads 20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D alloc.ads 20150107084147 61013b91 alloc%s
D aspects.ads 20150313132815 78c0fb99 aspects%s
D atree.ads 20150313134724 561167a4 atree%s
D atree.adb 20150313134724 6f4dcfa0 atree%b
D casing.ads 20140717063745 5c2a7161 casing%s
D csets.ads 20140122165324 e948558f csets%s
D debug.ads 20090420131856 3ea59655 debug%s
D einfo.ads 20150313134724 eedc4daa einfo%s
D einfo.adb 20150313134724 efbc02b9 einfo%b
D elists.ads 20150302112433 8da5cd14 elists%s
D err_vars.ads 20140801132617 d6d090e9 err_vars%s
D errout.ads 20150220143551 c027450c errout%s
D erroutc.ads 20150220143551 e593d57c erroutc%s
D gnat.ads 20140801083227 fd2ad2f1 gnat%s
D g-byorma.ads 20140225151544 2b13b02c gnat.byte_order_mark%s
D hostparm.ads 20140801100131 a20ca6cf hostparm%s
D interfac.ads 20141120112812 6033a23f interfaces%s
D namet.ads 20150302110329 53fa811d namet%s
D namet.adb 20150302110329 235707b9 namet%b
D nlists.ads 20140801095704 a6e0a57f nlists%s
D nlists.adb 20140801095704 55317a56 nlists%b
D opt.ads 20150302110329 e5e8f770 opt%s
D output.ads 20140801093848 2d9479ad output%s
D scans.ads 20140731100213 8f94e6cc scans%s
D sinfo.ads 20150324122610 65b0e0c9 sinfo%s
D sinfo.adb 20141030113441 f62c7b91 sinfo%b
D sinput.ads 20140730103741 ef954964 sinput%s
D sinput.adb 20140730104112 c117c807 sinput%b
D snames.ads 20160413114258 0164078b snames%s
D stand.ads 20140801094828 4852f602 stand%s
D style.ads 20140731100213 1672d137 style%s
D style.adb 20150313132252 e2b3bef1 style%b
D styleg.ads 20140731100213 844c3f46 styleg%s
D styleg.adb 20140731100213 3d62d571 styleg%b
D stylesw.ads 20140219111205 552dc895 stylesw%s
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-imenne.ads 20140225151139 614c06c0 system.img_enum_new%s
D s-memory.ads 20140225151139 597d6634 system.memory%s
D s-os_lib.ads 20150220113817 5853d835 system.os_lib%s
D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s
D s-secsta.ads 20140225151139 86a2856d system.secondary_stack%s
D s-stalib.ads 20150220094550 fa0a3617 system.standard_library%s
D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s
D s-string.ads 20140225151139 8fe54fb7 system.strings%s
D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s
D s-unstyp.ads 20140731130224 9d58a4c0 system.unsigned_types%s
D s-wchcon.ads 20140718092328 1b7d22d2 system.wch_con%s
D table.ads 20090506081141 e3a9ec16 table%s
D table.adb 20141107135941 9716557f table%b
D tree_io.ads 20140718093624 6de0ef2c tree_io%s
D types.ads 20150130153101 63969ace types%s
D uintp.ads 20160413105229 f3f1d794 uintp%s
D unchconv.ads 20070406091342 ca2f9e18 unchecked_conversion%s
D unchdeal.ads 20070406091342 214516a4 unchecked_deallocation%s
D urealp.ads 20130411125352 e500ee51 urealp%s
D widechar.ads 20140801083227 3fd6363b widechar%s
X 7 atree.ads
44K9*Atree 4156e10 36|26w6 26r20
611V13*Comes_From_Source{boolean} 36|117s14 127s13 272s19
614V13*Error_Posted{boolean} 36|122s13 122s40
624V13*Nkind{29|8119E9} 36|52s13 58s19 59s27 280s13 288s13
627V13*No{boolean} 36|60s27 86s31
632V13*Parent{57|384I9} 36|52s20 283s26
640V13*Present{boolean} 36|82s28
645V13*Sloc{57|212I12} 36|107s28 108s28 167s37
1040V13*Original_Node{57|384I9} 36|272s38
X 9 casing.ads
34K9*Casing 91e11 36|27w6 27r20
47E9*Casing_Type 62e5 36|112r14
49n7*All_Upper_Case{47E9} 36|202r26 225r32
55n7*Mixed_Case{47E9} 36|214r32 219r32 232r26
71U14*Set_Casing 36|247s19
86V13*Determine_Casing{47E9} 36|239s19
X 10 csets.ads
32K9*Csets 97e10 36|28w6 28r20
47A9*Char_Array_Flags(boolean)<character>
89a4*Identifier_Char{47A9} 36|148r26 162r19 164r19
X 12 einfo.ads
37K9*Einfo 8992e10 36|29w6 29r20
6580B12*B{boolean}
6582I12*E{57|387I12}
6843V13*Is_Generic_Instance{6580E12} 36|273s28 281s21
7121V13*First_Formal{6582I12} 36|60s31
X 16 errout.ads
40K9*Errout 932e11 35|31w6 68r7 69r7 70r7 71r7 36|30w6 30r20
459i4*Error_Msg_Sloc=459:49{57|212I12} 36|167r19
462i4*Error_Msg_Name_1=462:48{22|179I9} 36|248r19
476i4*Error_Msg_Node_1=476:48{57|384I9} 36|166r19
691U14*Error_Msg 35|68r14 36|168s19
695U14*Error_Msg_S 35|69r14
710U14*Error_Msg_SC 35|70r14
716U14*Error_Msg_SP 35|71r14
720U14*Error_Msg_N 36|67s10 83s13 87s13 249s19 306s10
735U14*Error_Msg_NE 36|289s13 292s13
X 22 namet.ads
38K9*Namet 707e10 36|31w6 31r20
151a4*Name_Buffer{string} 36|245m19
157i4*Name_Len{natural} 36|244m19 245r37
179I9*Name_Id<integer>
322V13*Get_Name_String{string} 36|208s47
404V13*Length_Of_Name{57|62I12} 36|235s24
430V13*Name_Enter{179I9} 36|248s39
X 24 nlists.ads
41K9*Nlists 367e11 36|32w6 32r20
156V13*Next{57|393I12} 36|283s20
221V13*List_Containing{57|433I9} 36|283s42
335V13*Parent{57|393I12} 36|283s34
X 26 opt.ads
50K9*Opt 2285e8 36|33w6 33r20
115n46*Ada_2005{115E9} 36|274r42
138e4*Ada_Version_Explicit{115E9} 36|274r18
X 29 sinfo.ads
54K9*Sinfo 13177e10 36|34w6 34r20
8153n7*N_Defining_Identifier{8119E9} 36|59r43
8302n7*N_Procedure_Specification{8119E9} 36|58r34
8333n7*N_Subprogram_Body{8119E9} 36|288r25
8345n7*N_Subprogram_Declaration{8119E9} 36|280r25
8448n7*N_Compilation_Unit{8119E9} 36|52r34
8818V13*Chars{22|179I9} 36|208s64 235s40
8947V13*Defining_Unit_Name{57|384I9} 36|55s44
9037V13*Entity{57|384I9} 36|201s19
9618V13*Specification{57|384I9} 36|54s44
X 31 sinput.ads
69K9*Sinput 947e11 36|35w6 35r20
311V13*Source_Text{57|202P9} 36|132s21 133s21 189s21
588V13*Get_Source_File_Index{57|567I9} 36|132s34 133s34 189s34
X 32 sinput.adb
788U17 Traverse[7|596] 8|2306b14
X 34 stand.ads
38K9*Stand 496e10 36|36w6 36r20
252i4*Standard_ASCII=252:53{57|384I9} 36|201r34
X 35 style.ads
35K9*Style 222l5 222e10 36|39b14 310l5 310t10
37U14*Body_With_No_Spec 37>33 36|49b14 69l8 69t25
37i33 N{57|384I9} 36|49b33 52r28 54r59 67r71
41U14*Check_Array_Attribute_Index 42>7 43>7 44>7 36|75b14 92l8 92t35
42i7 N{57|384I9} 36|76b7 89r16
43i7 E1{57|384I9} 36|77b7 82r37 85r16 86r35
44i7 D{57|59I9} 36|78b7 82r13 86r16
50U14*Check_Identifier 51>7 52>7 36|103b14 255l8 255t24
51i7 Ref{57|393I12} 36|104b7 107r34 117r33 122r27 201r27 235r47 250r71
52i7 Def{57|393I12} 36|105b7 108r34 122r54 127r32 166r39 167r43 208r71
57U14*Missing_Overriding 57>34 57>47 36|261b14 297l8 297t26
57i34 N{57|384I9} 36|261b34 272r53 280r20 283r59 285r20 288r20 290r68
57i47 E{57|387I12} 36|261b47 273r49 281r42 290r71 294r21
61U14*Subprogram_Not_In_Alpha_Order 61>45 36|303b14 309l8 309t37
61i45 Name{57|384I9} 36|303b45 307r67
67K12*Style_Inst[37|47] 75r14 79r14 83r14 87r14 94r14 98r14 102r14 107r14
. 112r14 116r14 120r14 124r14 129r14 133r14 137r14 141r14 148r14 152r14 159r14
. 164r14 169r14 173r14 177r14 184r14 188r14 192r14 197r14 202r14 210r14 217r14
74U14*Check_Abs_Not=75:25
78U14*Check_Apostrophe=79:25
82U14*Check_Arrow=83:25
82b27 Inside_Depends{boolean}
86U14*Check_Attribute_Name=87:25
86b36 Reserved{boolean}
93U14*Check_Boolean_Operator=94:25
93i38 Node{57|384I9}
97U14*Check_Box=98:25
101U14*Check_Binary_Operator=102:25
106U14*Check_Exponentiation_Operator=107:25
111U14*Check_Colon=112:25
115U14*Check_Colon_Equal=116:25
119U14*Check_Comma=120:25
123U14*Check_Comment=124:25
128U14*Check_Dot_Dot=129:25
132U14*Check_EOF=133:25
136U14*Check_HT=137:25
140U14*Check_Indentation=141:25
147U14*Check_Left_Paren=148:25
151U14*Check_Line_Terminator=152:25
151i37 Len{57|59I9}
158U14*Check_Not_In=159:25
163U14*Check_Pragma_Name=164:25
168U14*Check_Right_Paren=169:25
172U14*Check_Semicolon=173:25
176U14*Check_Then=177:25
176i26 If_Loc{57|212I12}
183U14*Check_Unary_Plus_Or_Minus=184:25
183b41 Inside_Depends{boolean}
187U14*Check_Vertical_Bar=188:25
191U14*Check_Xtra_Parens=192:25
191i33 Loc{57|212I12}
196V13*Mode_In_Check=197:25{boolean}
201U14*No_End_Name=202:25
201i27 Name{57|384I9}
209U14*No_Exit_Name=210:25
209i28 Name{57|384I9}
216U14*Non_Lower_Case_Keyword=217:25
X 36 style.adb
54i16 Spec{57|384I9} 55r64 58r26
55i16 Defnm{57|384I9} 59r34 60r45
107i7 Sref{57|212I12} 132r57 140r22 144r28 148r49 154m22 154r30 162r42 169r59
. 189r57 193r22 240r28 240r36 246r35 246r43
108i7 Sdef{57|212I12} 133r57 140r48 144r42 155m22 155r30 164r42 182r13 184r13
. 206r22
109p7 Tref{57|202P9} 132m13 140r16 144r22 148r43 162r36 189m13 193r16 240r22
. 246r29
110p7 Tdef{57|202P9} 133m13 140r42 144r36 164r36
111i7 Nlen{57|62I12} 235m16 240r55 244r40 246r62
112e7 Cas{9|47E9} 202m19 214m25 219m25 225m25 232m19 240r69 247r31
208a22 Nam{string} 213r25 218r28
262i7 Nod{57|384I9} 283m13 285m13 294r16
X 37 styleg.ads
47k9*Styleg 35|32w6 67r30 37|184e11
49U14*Check_Abs_Not 35|75r25[67]
52U14*Check_Apostrophe 35|79r25[67]
55U14*Check_Arrow 35|83r25[67]
60U14*Check_Attribute_Name 35|87r25[67]
66U14*Check_Boolean_Operator 35|94r25[67]
70U14*Check_Box 35|98r25[67]
73U14*Check_Binary_Operator 35|102r25[67]
77U14*Check_Exponentiation_Operator 35|107r25[67]
81U14*Check_Colon 35|112r25[67]
84U14*Check_Colon_Equal 35|116r25[67]
87U14*Check_Comma 35|120r25[67]
90U14*Check_Comment 35|124r25[67]
94U14*Check_Dot_Dot 35|129r25[67]
97U14*Check_EOF 35|133r25[67]
100U14*Check_HT 35|137r25[67]
103U14*Check_Indentation 35|141r25[67]
109U14*Check_Left_Paren 35|148r25[67]
117U14*Check_Line_Terminator 35|152r25[67]
122U14*Check_Not_In 35|159r25[67]
126U14*Check_Pragma_Name 35|164r25[67]
130U14*Check_Right_Paren 35|169r25[67]
133U14*Check_Semicolon 35|173r25[67]
136U14*Check_Then 35|177r25[67]
148U14*Check_Unary_Plus_Or_Minus 35|184r25[67]
153U14*Check_Vertical_Bar 35|188r25[67]
156U14*Check_Xtra_Parens 35|192r25[67]
160V13*Mode_In_Check{boolean} 35|197r25[67]
165U14*No_End_Name 35|202r25[67]
172U14*No_Exit_Name 35|210r25[67]
178U14*Non_Lower_Case_Keyword 35|217r25[67]
X 39 stylesw.ads
33K9*Stylesw 36|37w6 37r20 39|342e12
50b4*Style_Check_Array_Attribute_Index{boolean} 36|81r10
182b4*Style_Check_Missing_Overriding{boolean} 36|271r10
191b4*Style_Check_Order_Subprograms{boolean} 36|305r10
200b4*Style_Check_References{boolean} 36|131r13
215b4*Style_Check_Specs{boolean} 36|51r10
221b4*Style_Check_Standard{boolean} 36|188r13
X 40 system.ads
67M9*Address
X 44 s-memory.ads
53V13*Alloc{40|67M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{40|67M9} 105i<c,__gnat_realloc>22
X 57 types.ads
52K9*Types 35|33w6 33r20 57|942e10
59I9*Int<integer> 35|44r12 151r43 36|78r12
62I12*Nat{59I9} 36|111r14
144I9*Text_Ptr<59I9>
147A9*Text_Buffer(character)<144I9>
198A12*Big_Source_Buffer{147A9}<144I9>
202P9*Source_Buffer_Ptr(198A12) 36|109r14 110r14
212I12*Source_Ptr{144I9} 35|176r35 191r39 36|107r14 108r14 240r43 246r50
228i4*Standard_Location{212I12} 36|182r20
234i4*Standard_ASCII_Location{212I12} 36|184r20 206r29
384I9*Node_Id<integer> 35|37r37 42r12 43r12 57r38 61r52 93r45 201r34 209r35
. 36|49r37 54r33 55r33 76r12 77r12 261r38 262r13 303r52
387I12*Entity_Id{384I9} 35|57r51 36|261r51
393I12*Node_Or_Entity_Id{384I9} 35|51r13 52r13 36|104r13 105r13
433I9*List_Id<integer>
567I9*Source_File_Index<59I9>
|