104 lines
3.7 KiB
Plaintext
104 lines
3.7 KiB
Plaintext
V "GNAT Lib v6"
|
|
A -gnatwa
|
|
A -nostdinc
|
|
A -O2
|
|
A -Wextra
|
|
A -Wall
|
|
A -g
|
|
A -gnatp
|
|
A -gnatg
|
|
A -mtune=generic
|
|
A -march=i586
|
|
P ZX
|
|
|
|
RN
|
|
RV NO_IMPLICIT_CONDITIONALS
|
|
RV NO_DYNAMIC_SIZED_OBJECTS
|
|
RV SPARK_05
|
|
|
|
U system.img_dec%b s-imgdec.adb bd3715ff NE OL PK
|
|
W system%s system.ads system.ali
|
|
W system.img_int%s s-imgint.adb s-imgint.ali
|
|
|
|
U system.img_dec%s s-imgdec.ads 838899e3 NE OL PU PK
|
|
W system%s system.ads system.ali
|
|
|
|
D system.ads 20151123113124 2da59038 system%s
|
|
D s-imgdec.ads 20090409150019 ae2d09db system.img_dec%s
|
|
D s-imgdec.adb 20150304100140 11c1fce6 system.img_dec%b
|
|
D s-imgint.ads 20090409150019 02dbe0c2 system.img_int%s
|
|
X 1 system.ads
|
|
37K9*System 200e11 2|35r9 83r5 3|32r6 32r26 34r14 420r5
|
|
X 2 s-imgdec.ads
|
|
35K16*Img_Dec 1|37k9 2|83l12 83e19 3|34b21 420l12 420t19
|
|
38U14*Image_Decimal 39>7 40=7 41<7 42>7 3|40b14 59l8 59t21
|
|
39i7 V{integer} 3|41b7 51r10 58r26
|
|
40a7 S{string} 3|42b7 46r22 52m10 58m29
|
|
41i7 P{natural} 3|43b7 53m10 55m10 58m32
|
|
42i7 Scale{integer} 3|44b7 58r35 58r61
|
|
50U14*Set_Image_Decimal 51>7 52=7 53=7 54>7 55>7 56>7 57>7 3|58s7 404b14
|
|
. 418l8 418t25
|
|
51i7 V{integer} 3|405b7 413r39
|
|
52a7 S{string} 3|406b7 417m46
|
|
53i7 P{natural} 3|407b7 417m49
|
|
54i7 Scale{integer} 3|408b7 417r52
|
|
55i7 Fore{natural} 3|409b7 417r59
|
|
56i7 Aft{natural} 3|410b7 417r65
|
|
57i7 Exp{natural} 3|411b7 417r70
|
|
67U14*Set_Decimal_Digits 68=7 69>7 70<7 71=7 72>7 73>7 74>7 75>7 3|65b14
|
|
. 398l8 398t26 417s7
|
|
68a7 Digs{string} 3|66b7 75r36 75r42 78r26 78r32 151r31 151r37 152m16 152r22
|
|
. 154m16 154r22 169r16 171r40 174m22 177m22 185m16 185r22 234r18 257r15 282m39
|
|
. 285m40 370r35
|
|
69i7 NDigs{natural} 3|67b7 86r23 89r23
|
|
70a7 S{string} 3|68b7 200m10
|
|
71i7 P{natural} 3|69b7 199m10 199r15 200r13
|
|
72i7 Scale{integer} 3|70b7 92r45 307r23
|
|
73i7 Fore{natural} 3|71b7 255r31 314r34 371r40 377r40 390r37
|
|
74i7 Aft{natural} 3|72b7 98r64
|
|
75i7 Exp{natural} 3|73b7 254r10 288r22
|
|
X 3 s-imgdec.adb
|
|
75b7 Minus{boolean} 211r13
|
|
78b7 Zero{boolean} 155m16 276r23
|
|
83i7 FD{natural} 146r20 159m13 186m16 257r21 258m10 258r16 263r25 263r29
|
|
. 265r25 351r31 351r35 354r31 370r41 378r31 391r28 391r32 393r28
|
|
86i7 LD{natural} 141r18 160m13 166m13 167r19 265r29 307r17 354r35 378r35
|
|
. 393r54
|
|
89i7 ND{natural} 92r40 161m13 167m13 187m16 187r22 259m10 259r16 262r13 266r46
|
|
. 278m10 282m45 282r45 285m46 285r46 288r28 289r25 332r24 355r36 365r16 370r19
|
|
. 379r53 394r50
|
|
92i7 Digits_Before_Point{integer} 158m13 158r36 188m16 188r39 276r40 313r13
|
|
. 322r59 365r21 377r47 379r31 390r44 391r37 393r33 394r55
|
|
98i7 Digits_After_Point{natural} 256r17 262r19 263r34 266r25 307r31 319r32
|
|
. 385r28 394r28
|
|
101i7 Expon{integer} 276m10 280r13 282r32 285r33
|
|
104U17 Round 104>24 135b17 191l11 191t16 256s10 307s10
|
|
104i24 N{integer} 135b24 141r13 146r16 151r16 166r19 169r22 170r38
|
|
113U17 Set 113>22 114r22 197b17 201l11 201t14 215s16 218s13 222s16 234s13
|
|
. 245s13 257s10 260s10 277s10 281s13 284s13 315s13 316s13 372s19 384s16 392s16
|
|
113e22 C{character} 197b22 200r19
|
|
117U17 Set_Blanks_And_Sign 117>38 207b17 225l11 225t30 255s10 314s13 371s19
|
|
. 377s19 390s16
|
|
117i38 N{integer} 207b38 208r25
|
|
123U17 Set_Digits 123>29 123>32 124r22 231b17 236l11 236t21 263s13 265s13
|
|
. 289s10 351s19 354s19 378s19 391s16 393s16
|
|
123i29 S{natural} 231b29 233r19
|
|
123i32 E{natural} 231b32 233r24
|
|
127U17 Set_Zeroes 127>29 128r22 242b17 247l11 247t21 266s13 288s10 329s16
|
|
. 355s19 379s19 385s16 394s16
|
|
127i29 N{integer} 242b29 244r24
|
|
136e10 D{character} 171m19 173r22 174r34
|
|
170i20 J{integer} 171r46 174r28 177r28
|
|
208i10 W{integer} 212m13 212r18 214r27 221r27
|
|
214i17 J{integer}
|
|
221i17 J{integer}
|
|
233i14 J{integer} 234r24
|
|
244i14 J{integer}
|
|
319i16 DA{natural} 322r54 330m16 330r22 332r19 351r40 355r31
|
|
322i16 LZ{integer} 329r28 330r27
|
|
413a7 Digs{string} 417m27 417r27 417r33
|
|
X 4 s-imgint.ads
|
|
36K16*Img_Int 3|32w13 32r33 4|57e19
|
|
47U14*Set_Image_Integer 3|282s13 285s13
|
|
|