/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll/gnatcoll-paragraph_filling.ali is in libgnatcoll1.6-dev 1.6gpl2014-6.
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 | V "GNAT Lib v4.9"
A -O2
A -O2
A -fPIC
A -fstack-protector-strong
A -gnatA
A -gnatn
A -gnatws
A -gnat05
A -g
A -mtune=generic
A -march=x86-64
P SS ZX
RN
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_LOCAL_ALLOCATORS
RV NO_NESTED_FINALIZATION
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_OBSOLESCENT_FEATURES
RV SPARK_05
U gnatcoll.paragraph_filling%b gnatcoll-paragraph_filling.adb 0b9209a2 NE OO PK IU
W ada%s ada.ads ada.ali
W ada.exceptions%s a-except.adb a-except.ali
W ada.strings%s a-string.ads a-string.ali
W ada.strings.unbounded%s a-strunb.adb a-strunb.ali
W ada.tags%s a-tags.adb a-tags.ali
W gnatcoll%s gnatcoll.ads gnatcoll.ali
W gnatcoll.paragraph_filling%s gnatcoll-paragraph_filling.adb gnatcoll-paragraph_filling.ali
W gnatcoll.paragraph_filling.badnesses%s gnatcoll-paragraph_filling-badnesses.adb gnatcoll-paragraph_filling-badnesses.ali
W gnatcoll.paragraph_filling.words%s gnatcoll-paragraph_filling-words.adb gnatcoll-paragraph_filling-words.ali
W interfaces%s interfac.ads interfac.ali
W system.secondary_stack%s s-secsta.adb s-secsta.ali
W system.soft_links%s s-soflin.adb s-soflin.ali
W system.standard_library%s s-stalib.adb s-stalib.ali
U gnatcoll.paragraph_filling%s gnatcoll-paragraph_filling.ads b6a74321 EE NE OO PK IU
W ada%s ada.ads ada.ali
W ada.strings%s a-string.ads a-string.ali
W ada.strings.unbounded%s a-strunb.adb a-strunb.ali
W gnatcoll%s gnatcoll.ads gnatcoll.ali
D ada.ads 20070406091342 3ffc8e18
D a-calend.ads 20120515092648 d86d6c8c
D a-charac.ads 20070912115821 2d3ec45b
D a-chlat1.ads 20140225151544 66457d31
D a-contai.ads 20101025135029 61e5e089
D a-cgarso.ads 20070406091342 9129bfa8
D a-convec.ads 20120217141546 0aaf3975
D a-convec.adb 20140220134615 a022038f
D a-except.ads 20140129161953 f86a4103
D a-finali.ads 20111121113555 52ecdc1b
D a-iteint.ads 20110906092602 7c7305e9
D a-stream.ads 20140122164720 1a984740
D a-string.ads 20070406091342 90ac6797
D a-strmap.ads 20090409150019 9cb836fb
D a-strsea.ads 20101008130255 b9bc90ba
D a-strunb.ads 20120426100351 3f91d4c5
D a-strunb.adb 20121001094122 516b4fe5
D a-tags.ads 20111212115430 6c0509d0
D a-unccon.ads 20070406091342 f9eb8f06
D a-uncdea.ads 20070406091342 f15a5ed1
D gnat.ads 20110801150502 fd2ad2f1
D g-expect.ads 20110801150502 8c6f1a8c
D g-os_lib.ads 20090409150019 0db74523
D g-regpat.ads 20110801150502 b85d88ef
D g-string.ads 20090409150019 c6abc540
D gnatcoll.ads 20140810010057 6a5da479
D gnatcoll-paragraph_filling.ads 20140810010057 e36b339d
D gnatcoll-paragraph_filling.adb 20140810010057 b22157b8
D gnatcoll-paragraph_filling-badnesses.ads 20140810010057 f867de93
D gnatcoll-paragraph_filling-words.ads 20140810010057 0d820046
D gnatcoll-paragraph_filling-words.adb 20140810010057 dc058c36
D gnatcoll-utils.ads 20140810010057 1d777100
D interfac.ads 20140225151838 69adb1b9
D system.ads 20140921225607 90249111
D s-atocou.ads 20131010110730 cd7c94ca
D s-atocou.adb 20131010121735 62bad392
D s-carun8.ads 20140225151544 a903718d
D s-exctab.ads 20140225151139 54135002
D s-finmas.ads 20140225151139 814daec4
D s-finroo.ads 20120426095924 4ff27390
D s-os_lib.ads 20140225151139 73b554c6
D s-parame.ads 20140225151139 ab8cb46a
D s-pooglo.ads 20110804083314 542f33d0
D s-regpat.ads 20120410054430 825a9b7f
D s-secsta.ads 20140225151139 86a2856d
D s-soflin.ads 20140225151139 aa763b52
D s-stache.ads 20140225151139 a37c21ec
D s-stalib.ads 20140225151139 a891183f
D s-stoele.ads 20140225151139 2dc34a04
D s-stoele.adb 20140225151139 ed88f8fb
D s-stopoo.ads 20131010103753 b16154c2
D s-stposu.ads 20121005142121 ffeba1c5
D s-stratt.ads 20131014135145 aedef97e
D s-string.ads 20140225151139 8fe54fb7
D s-traent.ads 20140225151139 b5116092
D s-unstyp.ads 20140225151139 510692af
X 1 ada.ads
16K9*Ada 19e8 27|26r6 48r14 56r14 81r14 94r13 28|26r6 26r40 27r6 27r40 162r14
X 7 a-convec.ads
55R9*Vector<10|48R9>
243U14*Append 28|248s10[30|36] 251s13[30|36]
X 11 a-iteint.ads
24h9 Forward_Iterator
32h9 Reversible_Iterator<24R9[7|70]>
X 13 a-string.ads
16K13*Strings 35e16 27|26r10 48r18 56r18 81r18 94r17 28|26r10 26r44 27w10
. 27r44 162r18
32n33*Backward{32E9} 28|353r48 390r45 417r45
X 16 a-strunb.ads
76K21*Unbounded 489e26 27|26w18 48r26 56r26 81r26 94r25 28|26w18 26r52 162r26
79R9*Unbounded_String<10|48R9> 473e14 27|48r36 56r36 81r36 94r35 28|44r46
. 49r17 65r35 99r35 117r46 120r21 162r36 178r14 282r14 294r17 318r14 322r25
84V13*Length{natural} 28|102s21 126s21
94V13*To_Unbounded_String{79R9} 28|124s20 263s17 286s14
111U14*Append 28|139s19 144s16
115U14*Append 28|136s19 138s19 148s10
123V14*"&"{79R9} 28|125s12
139V13*Element{character} 28|103s13
143U14*Replace_Element 28|363s19 364s19 397s16 398s16 424s16 425s16
248V13*Index{natural} 28|301s20 353s19 390s16 417s16
X 26 gnatcoll.ads
24K9*GNATCOLL 26e13 27|28r9 97r5 28|29r6 30r5 31r6 32r5 34r14 165r14 434r5
X 27 gnatcoll-paragraph_filling.ads
28K18*Paragraph_Filling 26|24k9 27|97l14 97e31 28|29r15 30r14 31r15 32r14
. 34b23 42r25 115r25 165r23 180r14 183r28 199r28 434l14 434t31
39i4*Default_Max_Line_Length{positive} 46r37 55r37 79r37 92r36 28|160r37
. 176r37 280r37 317r37
44V13*Greedy_Fill{16|79R9} 45>7 46>7 47>7 28|158b13 168l8 168t19 323s9
45s7 Paragraph{string} 28|159b7 164r29
46i7 Max_Line_Length{positive} 28|160b7 167r30
47s7 Line_Prefix{string} 28|161b7 167r47 323r50
53V13*Pretty_Fill{16|79R9} 54>7 55>7 28|315b13 432l8 432t19
54s7 Paragraph{string} 28|316b7 323r22
55i7 Max_Line_Length{positive} 28|317b7 323r33 358r22 393r42 420r42
77V13*Knuth_Fill{16|79R9} 78>7 79>7 80>7 28|174b13 272l8 272t18
78s7 Paragraph{string} 28|175b7 180r64 262r10 263r38
79i7 Max_Line_Length{positive} 28|176b7 270r55
80s7 Line_Prefix{string} 28|177b7 271r25
90V13*No_Fill{16|79R9} 91>6 92>6 93>6 28|278b13 287l8 287t15
91s6 Paragraph{string} 28|279b7 286r35
92i6 Max_Line_Length{positive} 28|280b7 284r28
93s6 Line_Prefix{string} 28|281b7 284r45
X 28 gnatcoll-paragraph_filling.adb
37A9 Badness_Values(29|30I9)<30|34I9> 202r30
39A9 Word_Indexes(30|34I9)<30|34I9> 184r45 190r23 200r45 203r30 242r23
41V13 Greedy_Fill{16|79R9} 42>7 43>7 44>7 114b13 152l8 152t19 167s14
42r7 Paragraph{30|45R9} 115b7 123r10 125r24 130r28 132r49
43i7 Max_Line_Length{positive} 116b7 119r33
44s7 Line_Prefix{string} 117b7 119r51 124r41 139r35 140r30
48V13 Nth_Index{natural} 49>7 50>7 51>7 293b13 309l8 309t17 345s19 347s19
. 349s19 379s16 381s16 383s16 385s16 408s16 410s16 412s16
49r7 Source{16|79R9} 294b7 301r27
50s7 Pattern{string} 295b7 301r35
51i7 N{natural} 296b7 300r25
56V13 Can_And_Should_Move_A_Word{boolean} 57>7 58>7 59>7 60>7 72b13 93l8
. 93t34 357s19
57i7 Max_Line_Length{positive} 73b7 79r57 80r59 81r60 84r27 87r27
58i7 Length_Of_First_Line{positive} 74b7 80r37 83r27
59i7 Length_Of_Second_Line{positive} 75b7 79r10 81r37 86r27
60i7 Length_Of_Last_Word{positive} 76b7 79r34 83r50 86r51
65V13 Count_Lines{natural} 65>26 99b13 108l8 108t19 324s45
65r26 Source{16|79R9} 99b26 102r29 103r22
100i7 Result{natural} 104m13 104r23 107r14
102i11 J{integer} 103r30
119i7 Max{integer} 134r45
120r7 Result{16|79R9} 124m10 126r29 136m27 136r27 138m27 138r27 139m27 139r27
. 144m24 144r24 148m18 148r18 151r14
121i7 Current{natural} 126m10 134r19 135m19 135r30 140m19 143m16 143r27
130i14 Count<integer> 132r60
132a16 W{string} 134r29 143r37 144r32
164s7 Para=164:29{string} 165r73
165r7 W{30|45R9} 167r27
180r7 Para{30|45R9} 267r31 270r26 270r49
182V16 Calculate_Best{39A9} 183>10 184>10 198b16 234l11 234t25 270s33
183r10 Paragraph{30|45R9} 199b10 202r62 203r60 208r35 214r36
184i10 Max_Line_Length{positive} 200b10 214r53
188V16 Determine_First_Words{30|41R12} 189>10 190>10 240b16 257l11 257t32
. 269s12
189i10 Last_Word{30|43I12} 241b10 245r33
190a10 Best_Words{39A9} 242b10 250r18
202a10 Minimum_Badnesses{37A9} 206m10 209m13 215r22 219r32 220m22
203a10 Result{39A9} 221m22 228r23 228r39 229r28 229r46 232r17
208i14 Y<integer> 209r32 211r35 214r50 219r51 220r41 221r30
211i17 X<integer> 214r47 215r41 221r51
213i19 Badness{29|30I9} 217r29 219r22 220r51
228i14 Count<integer> 229r36 229r54
244i10 X{30|34I9} 250m13 251r29 252r23 253r33 254r18
245i10 Y{30|34I9} 250r30 253r28 254m13
246r10 Result{30|41R12} 248m18 248r18 251m21 251r21 256r17
298i7 Result{natural} 301m10 301r44 306r20 308r14
300i11 Count{integer}
322r7 Result{16|79R9} 324r58 345r30 347r30 349r30 353r26 363m36 363r36 364m36
. 364r36 379r27 381r27 383r27 385r27 390r23 397m33 397r33 398m33 398r33 408r27
. 410r27 412r27 417r23 424m33 424r33 425m33 425r33 431r14
324i7 Number_Of_Lines{natural} 339r34 375r10 379r50 381r50 383r50 385r50
. 403r13 408r50 410r50 412r50
325b7 Did_Something{boolean} 338m10 365m19 371r24 399m16 426m16
326i7 Count{natural} 337m10 337r27
339i14 Line_Number{integer} 345r53 347r53 349r53
344i16 Index_0{natural} 350r61
346i16 Index_1{natural} 350r51 351r61 353r39 354r51 364r44
348i16 Index_2{natural} 351r51
350i16 Length_1{positive} 359r22
351i16 Length_2{positive} 360r22
352i16 Word_Start{natural} 354r61 363r44
354i16 Word_Length{positive} 361r22
378i13 Index_0{natural} 386r58
380i13 Index_1{natural} 386r48 387r58
382i13 Index_2{natural} 387r48 388r58 390r36 391r48 398r41
384i13 Index_3{natural} 388r48
386i13 Length_1{positive} 394r40 395r40
387i13 Length_2{positive} 394r29 395r29
388i13 Length_3{positive} 393r16
389i13 Word_Start{natural} 391r58 397r41
391i13 Word_Length{positive} 393r27 395r51
406i13 Index_0{natural} 413r58
407i13 Index_1{natural} 413r48 414r58
409i13 Index_2{natural} 414r48 415r58 417r36 418r48 425r41
411i13 Index_3{natural} 415r48
413i13 Length_1{positive} 421r40 422r40
414i13 Length_2{positive} 421r29 422r29
415i13 Length_3{positive} 420r16
416i13 Word_Start{natural} 418r58 424r41
418i13 Word_Length{positive} 420r27 422r51
X 29 gnatcoll-paragraph_filling-badnesses.ads
28K44*Badnesses 28|31w33 32r32 29|80e41
30I9*Badness_Value<integer> 28|37r58 213r38
31i4*Zero{30I9} 28|206r35
32i4*Infinity{30I9} 28|209r42 217r39
38V14*"+"{30I9} 28|80s76 84s44 214s70
42V14*"<"{boolean} 28|81s77 219s30
51V13*Line_Badness{30I9} 28|214s22
66V13*Line_Badness{30I9} 28|80s23 81s23 82s23 85s23
X 30 gnatcoll-paragraph_filling-words.ads
29K44*Words 28|29w33 30r32 42r43 115r43 165r41 180r32 183r46 199r46 30|89e37
34I9*Word_Index<integer> 28|37r34 39r32 39r56 244r19 245r19 248r26
36K12*Word_Vectors[7|45] 28|35r8
41R12*Word_Vector{7|55R9[36]} 28|190r44 242r44 246r19
43I12*Word_Count<integer> 28|189r23 241r23
45R9*Words 28|42r49 115r49 165r47 180r38 183r52 199r52
45i16 After_Last_Word{43I12} 28|123r20 130r38
47V13*Index_Paragraph{45R9} 28|165s56 180s47
52V13*Nth_Word{string} 28|125s14 132s39
55V13*Last_Word{43I12} 28|202s51 203s49 208s24 270s15
67V13*Merge_Lines{16|79R9} 28|266s14
68r7 W{45R9} 28|267r10
69r7 Split_Before_Word{41R12} 28|268r10
70s7 Line_Prefix{string} 28|271r10
|