5 // Miguel de Icaza (miguel@ximian.com)
6 // Bob Smith (bob@thestuff.net)
8 // (C) Ximian, Inc. http://www.ximian.com
9 // (C) Bob Smith. http://www.thestuff.net
13 // Copyright (C) 2004 Novell, Inc (http://www.novell.com)
15 // Permission is hereby granted, free of charge, to any person obtaining
16 // a copy of this software and associated documentation files (the
17 // "Software"), to deal in the Software without restriction, including
18 // without limitation the rights to use, copy, modify, merge, publish,
19 // distribute, sublicense, and/or sell copies of the Software, and to
20 // permit persons to whom the Software is furnished to do so, subject to
21 // the following conditions:
23 // The above copyright notice and this permission notice shall be
24 // included in all copies or substantial portions of the Software.
26 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
27 // EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
28 // MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
29 // NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
30 // LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
31 // OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
32 // WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
35 using System.Globalization;
36 using System.Runtime.CompilerServices;
39 using System.Runtime.ConstrainedExecution;
45 public struct Double : IComparable, IFormattable, IConvertible
47 , IComparable <double>, IEquatable <double>
50 public const double Epsilon = 4.9406564584124650e-324;
51 public const double MaxValue = 1.7976931348623157e308;
52 public const double MinValue = -1.7976931348623157e308;
53 public const double NaN = 0.0d / 0.0d;
54 public const double NegativeInfinity = -1.0d / 0.0d;
55 public const double PositiveInfinity = 1.0d / 0.0d;
57 internal double m_value;
59 public int CompareTo (object v)
64 if (!(v is System.Double))
65 throw new ArgumentException (Locale.GetText ("Value is not a System.Double"));
67 double dv = (double)v;
69 if (IsPositiveInfinity(m_value) && IsPositiveInfinity(dv))
72 if (IsNegativeInfinity(m_value) && IsNegativeInfinity(dv))
87 if (m_value > dv) return 1;
88 else if (m_value < dv) return -1;
92 public override bool Equals (object o)
94 if (!(o is System.Double))
97 if (IsNaN ((double)o)) {
104 return ((double) o) == m_value;
108 public int CompareTo (double value)
110 if (IsPositiveInfinity(m_value) && IsPositiveInfinity(value))
113 if (IsNegativeInfinity(m_value) && IsNegativeInfinity(value))
128 if (m_value > value) return 1;
129 else if (m_value < value) return -1;
133 public bool Equals (double value)
142 return value == m_value;
146 public override unsafe int GetHashCode ()
149 return (*((long*)&d)).GetHashCode ();
152 public static bool IsInfinity (double d)
154 return (d == PositiveInfinity || d == NegativeInfinity);
158 [ReliabilityContractAttribute (Consistency.WillNotCorruptState, Cer.Success)]
160 public static bool IsNaN (double d)
162 #pragma warning disable 1718
164 #pragma warning restore
167 public static bool IsNegativeInfinity (double d)
169 return (d < 0.0d && (d == NegativeInfinity || d == PositiveInfinity));
172 public static bool IsPositiveInfinity (double d)
174 return (d > 0.0d && (d == NegativeInfinity || d == PositiveInfinity));
177 public static double Parse (string s)
179 return Parse (s, (NumberStyles.Float | NumberStyles.AllowThousands), null);
182 public static double Parse (string s, IFormatProvider fp)
184 return Parse (s, (NumberStyles.Float | NumberStyles.AllowThousands), fp);
187 public static double Parse (string s, NumberStyles style)
189 return Parse (s, style, null);
192 // We're intentionally using constants here to avoid some bigger headaches in mcs.
193 // This struct must be compiled before System.Enum so we can't use enums here.
194 private const int State_AllowSign = 1;
195 private const int State_Digits = 2;
196 private const int State_Decimal = 3;
197 private const int State_ExponentSign = 4;
198 private const int State_Exponent = 5;
199 private const int State_ConsumeWhiteSpace = 6;
201 public static double Parse (string s, NumberStyles style, IFormatProvider provider)
206 if (!Parse (s, style, provider, false, out result, out exc))
212 [MonoTODO("check if digits are group in correct numbers between the group separators")]
213 internal static bool Parse (string s, NumberStyles style, IFormatProvider provider, bool tryParse, out double result, out Exception exc)
220 exc = new ArgumentNullException ("s");
225 exc = new FormatException ();
229 // yes it's counter intuitive (buggy?) but even TryParse actually throws in this case
230 if ((style & NumberStyles.AllowHexSpecifier) != 0) {
231 string msg = Locale.GetText ("Double doesn't support parsing with '{0}'.", "AllowHexSpecifier");
232 throw new ArgumentException (msg);
235 if (style > NumberStyles.Any) {
237 exc = new ArgumentException();
241 NumberFormatInfo format = NumberFormatInfo.GetInstance(provider);
242 if (format == null) throw new Exception("How did this happen?");
244 if (s == format.NaNSymbol) {
248 if (s == format.PositiveInfinitySymbol) {
249 result = Double.PositiveInfinity;
252 if (s == format.NegativeInfinitySymbol) {
253 result = Double.NegativeInfinity;
258 // validate and prepare string for C
261 byte [] b = new byte [len + 1];
266 if ((style & NumberStyles.AllowLeadingWhite) != 0){
267 while (sidx < len && Char.IsWhiteSpace (c = s [sidx]))
272 exc = Int32.GetFormatException ();
277 bool allow_trailing_white = ((style & NumberStyles.AllowTrailingWhite) != 0);
282 int state = State_AllowSign;
287 string decimal_separator = null;
288 string group_separator = null;
289 int decimal_separator_len = 0;
290 int group_separator_len = 0;
291 if ((style & NumberStyles.AllowDecimalPoint) != 0){
292 decimal_separator = format.NumberDecimalSeparator;
293 decimal_separator_len = decimal_separator.Length;
295 if ((style & NumberStyles.AllowThousands) != 0){
296 group_separator = format.NumberGroupSeparator;
297 group_separator_len = group_separator.Length;
299 string positive = format.PositiveSign;
300 string negative = format.NegativeSign;
302 for (; sidx < len; sidx++){
310 case State_AllowSign:
311 if ((style & NumberStyles.AllowLeadingSign) != 0){
312 if (c == positive [0] &&
313 s.Substring (sidx, positive.Length) == positive){
314 state = State_Digits;
315 sidx += positive.Length-1;
319 if (c == negative [0] &&
320 s.Substring (sidx, negative.Length) == negative){
321 state = State_Digits;
322 b [didx++] = (byte) '-';
323 sidx += negative.Length-1;
327 state = State_Digits;
328 goto case State_Digits;
331 if (Char.IsDigit (c)){
332 b [didx++] = (byte) c;
335 if (c == 'e' || c == 'E')
336 goto case State_Decimal;
338 if (decimal_separator != null &&
339 decimal_separator [0] == c){
340 if (s.Substring (sidx, decimal_separator_len) ==
342 b [didx++] = (byte) '.';
343 sidx += decimal_separator_len-1;
344 state = State_Decimal;
348 if (group_separator != null &&
349 group_separator [0] == c){
350 if (s.Substring (sidx, group_separator_len) ==
352 sidx += group_separator_len-1;
353 state = State_Digits;
358 if (Char.IsWhiteSpace (c))
359 goto case State_ConsumeWhiteSpace;
362 exc = new FormatException ("Unknown char: " + c);
366 if (Char.IsDigit (c)){
367 b [didx++] = (byte) c;
371 if (c == 'e' || c == 'E'){
372 if ((style & NumberStyles.AllowExponent) == 0)
373 throw new FormatException ("Unknown char: " + c);
374 b [didx++] = (byte) c;
375 state = State_ExponentSign;
379 if (Char.IsWhiteSpace (c))
380 goto case State_ConsumeWhiteSpace;
383 exc = new FormatException ("Unknown char: " + c);
386 case State_ExponentSign:
387 if (Char.IsDigit (c)){
388 state = State_Exponent;
389 goto case State_Exponent;
392 if (c == positive [0] &&
393 s.Substring (sidx, positive.Length) == positive){
394 state = State_Digits;
395 sidx += positive.Length-1;
399 if (c == negative [0] &&
400 s.Substring (sidx, negative.Length) == negative){
401 state = State_Digits;
402 b [didx++] = (byte) '-';
403 sidx += negative.Length-1;
407 if (Char.IsWhiteSpace (c))
408 goto case State_ConsumeWhiteSpace;
411 exc = new FormatException ("Unknown char: " + c);
415 if (Char.IsDigit (c)){
416 b [didx++] = (byte) c;
420 if (Char.IsWhiteSpace (c))
421 goto case State_ConsumeWhiteSpace;
424 exc = new FormatException ("Unknown char: " + c);
427 case State_ConsumeWhiteSpace:
428 if (allow_trailing_white && Char.IsWhiteSpace (c))
432 exc = new FormatException ("Unknown char");
439 fixed (byte *p = &b [0]){
441 if (!ParseImpl (p, out retVal)) {
443 exc = Int32.GetFormatException ();
446 if (IsPositiveInfinity(retVal) || IsNegativeInfinity(retVal)) {
448 exc = new OverflowException ();
458 [MethodImplAttribute(MethodImplOptions.InternalCall)]
459 unsafe private static extern bool ParseImpl (byte *byte_ptr, out double value);
461 public static bool TryParse (string s,
463 IFormatProvider provider,
467 if (!Parse (s, style, provider, true, out result, out exc)) {
475 public static bool TryParse (string s, out double result)
477 return TryParse (s, NumberStyles.Any, null, out result);
480 public override string ToString ()
482 return ToString (null, null);
485 public string ToString (IFormatProvider fp)
487 return ToString (null, fp);
490 public string ToString (string format)
492 return ToString (format, null);
495 public string ToString (string format, IFormatProvider fp)
497 NumberFormatInfo nfi = NumberFormatInfo.GetInstance (fp);
498 return NumberFormatter.NumberToString (format, m_value, nfi);
501 // =========== IConvertible Methods =========== //
503 public TypeCode GetTypeCode ()
505 return TypeCode.Double;
508 object IConvertible.ToType (Type conversionType, IFormatProvider provider)
510 return System.Convert.ToType(m_value, conversionType, provider);
513 bool IConvertible.ToBoolean (IFormatProvider provider)
515 return System.Convert.ToBoolean(m_value);
518 byte IConvertible.ToByte (IFormatProvider provider)
520 return System.Convert.ToByte(m_value);
523 char IConvertible.ToChar (IFormatProvider provider)
525 throw new InvalidCastException();
528 DateTime IConvertible.ToDateTime (IFormatProvider provider)
530 throw new InvalidCastException();
533 decimal IConvertible.ToDecimal (IFormatProvider provider)
535 return System.Convert.ToDecimal(m_value);
538 double IConvertible.ToDouble (IFormatProvider provider)
540 return System.Convert.ToDouble(m_value);
543 short IConvertible.ToInt16 (IFormatProvider provider)
545 return System.Convert.ToInt16(m_value);
548 int IConvertible.ToInt32 (IFormatProvider provider)
550 return System.Convert.ToInt32(m_value);
553 long IConvertible.ToInt64 (IFormatProvider provider)
555 return System.Convert.ToInt64(m_value);
558 sbyte IConvertible.ToSByte (IFormatProvider provider)
560 return System.Convert.ToSByte(m_value);
563 float IConvertible.ToSingle (IFormatProvider provider)
565 return System.Convert.ToSingle(m_value);
569 string IConvertible.ToString (IFormatProvider provider)
571 return ToString(provider);
575 ushort IConvertible.ToUInt16 (IFormatProvider provider)
577 return System.Convert.ToUInt16(m_value);
580 uint IConvertible.ToUInt32 (IFormatProvider provider)
582 return System.Convert.ToUInt32(m_value);
585 ulong IConvertible.ToUInt64 (IFormatProvider provider)
587 return System.Convert.ToUInt64(m_value);