libgnatcoll1.6-dev 1.6gpl2014-6 / usr / lib / x86_64-linux-gnu / ada / adalib / gnatcoll / gnatcoll-paragraph_filling.ali

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