annotate Lib/fpformat.py @ 4566:6403c94de50d legacy-trunk

Added safeguard against failure in __del__.
author Guido van Rossum <guido@python.org>
date Wed, 27 Nov 1996 19:39:58 +0000
parents a8022b2a77e6
children 24da035ceb6e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
704
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
1 # General floating point formatting functions.
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
2
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
3 # Functions:
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
4 # fix(x, digits_behind)
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
5 # sci(x, digits_behind)
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
6
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
7 # Each takes a number or a string and a number of digits as arguments.
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
8
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
9 # Parameters:
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
10 # x: number to be formatted; or a string resembling a number
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
11 # digits_behind: number of digits behind the decimal point
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
12
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
13
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
14 import regex
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
15
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
16 # Compiled regular expression to "decode" a number
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
17 decoder = regex.compile( \
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
18 '^\([-+]?\)0*\([0-9]*\)\(\(\.[0-9]*\)?\)\(\([eE][-+]?[0-9]+\)?\)$')
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
19 # \0 the whole thing
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
20 # \1 leading sign or empty
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
21 # \2 digits left of decimal point
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
22 # \3 fraction (empty or begins with point)
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
23 # \5 exponent part (empty or begins with 'e' or 'E')
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
24
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
25 NotANumber = 'fpformat.NotANumber'
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
26
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
27 # Return (sign, intpart, fraction, expo) or raise an exception:
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
28 # sign is '+' or '-'
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
29 # intpart is 0 or more digits beginning with a nonzero
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
30 # fraction is 0 or more digits
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
31 # expo is an integer
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
32 def extract(s):
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
33 if decoder.match(s) < 0: raise NotANumber
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
34 (a1, b1), (a2, b2), (a3, b3), (a4, b4), (a5, b5) = decoder.regs[1:6]
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
35 sign, intpart, fraction, exppart = \
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
36 s[a1:b1], s[a2:b2], s[a3:b3], s[a5:b5]
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
37 if sign == '+': sign = ''
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
38 if fraction: fraction = fraction[1:]
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
39 if exppart: expo = eval(exppart[1:])
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
40 else: expo = 0
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
41 return sign, intpart, fraction, expo
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
42
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
43 # Remove the exponent by changing intpart and fraction
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
44 def unexpo(intpart, fraction, expo):
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
45 if expo > 0: # Move the point left
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
46 f = len(fraction)
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
47 intpart, fraction = intpart + fraction[:expo], fraction[expo:]
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
48 if expo > f:
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
49 intpart = intpart + '0'*(expo-f)
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
50 elif expo < 0: # Move the point right
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
51 i = len(intpart)
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
52 intpart, fraction = intpart[:expo], intpart[expo:] + fraction
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
53 if expo < -i:
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
54 fraction = '0'*(-expo-i) + fraction
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
55 return intpart, fraction
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
56
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
57 # Round or extend the fraction to size digs
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
58 def roundfrac(intpart, fraction, digs):
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
59 f = len(fraction)
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
60 if f <= digs:
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
61 return intpart, fraction + '0'*(digs-f)
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
62 i = len(intpart)
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
63 if i+digs < 0:
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
64 return '0'*-digs, ''
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
65 total = intpart + fraction
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
66 nextdigit = total[i+digs]
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
67 if nextdigit >= '5': # Hard case: increment last digit, may have carry!
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
68 n = i + digs - 1
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
69 while n >= 0:
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
70 if total[n] != '9': break
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
71 n = n-1
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
72 else:
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
73 total = '0' + total
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
74 i = i+1
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
75 n = 0
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
76 total = total[:n] + chr(ord(total[n]) + 1) + '0'*(len(total)-n-1)
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
77 intpart, fraction = total[:i], total[i:]
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
78 if digs >= 0:
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
79 return intpart, fraction[:digs]
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
80 else:
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
81 return intpart[:digs] + '0'*-digs, ''
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
82
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
83 # Format x as [-]ddd.ddd with 'digs' digits after the point
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
84 # and at least one digit before.
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
85 # If digs <= 0, the point is suppressed.
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
86 def fix(x, digs):
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
87 if type(x) != type(''): x = `x`
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
88 try:
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
89 sign, intpart, fraction, expo = extract(x)
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
90 except NotANumber:
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
91 return x
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
92 intpart, fraction = unexpo(intpart, fraction, expo)
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
93 intpart, fraction = roundfrac(intpart, fraction, digs)
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
94 while intpart and intpart[0] == '0': intpart = intpart[1:]
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
95 if intpart == '': intpart = '0'
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
96 if digs > 0: return sign + intpart + '.' + fraction
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
97 else: return sign + intpart
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
98
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
99 # Format x as [-]d.dddE[+-]ddd with 'digs' digits after the point
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
100 # and exactly one digit before.
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
101 # If digs is <= 0, one digit is kept and the point is suppressed.
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
102 def sci(x, digs):
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
103 if type(x) != type(''): x = `x`
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
104 sign, intpart, fraction, expo = extract(x)
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
105 if not intpart:
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
106 while fraction and fraction[0] == '0':
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
107 fraction = fraction[1:]
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
108 expo = expo - 1
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
109 if fraction:
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
110 intpart, fraction = fraction[0], fraction[1:]
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
111 expo = expo - 1
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
112 else:
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
113 intpart = '0'
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
114 else:
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
115 expo = expo + len(intpart) - 1
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
116 intpart, fraction = intpart[0], intpart[1:] + fraction
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
117 digs = max(0, digs)
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
118 intpart, fraction = roundfrac(intpart, fraction, digs)
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
119 if len(intpart) > 1:
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
120 intpart, fraction, expo = \
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
121 intpart[0], intpart[1:] + fraction[:-1], \
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
122 expo + len(intpart) - 1
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
123 s = sign + intpart
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
124 if digs > 0: s = s + '.' + fraction
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
125 e = `abs(expo)`
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
126 e = '0'*(3-len(e)) + e
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
127 if expo < 0: e = '-' + e
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
128 else: e = '+' + e
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
129 return s + 'e' + e
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
130
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
131 # Interactive test run
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
132 def test():
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
133 try:
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
134 while 1:
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
135 x, digs = input('Enter (x, digs): ')
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
136 print x, fix(x, digs), sci(x, digs)
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
137 except (EOFError, KeyboardInterrupt):
a8022b2a77e6 Initial revision
Guido van Rossum <guido@python.org>
parents:
diff changeset
138 pass