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");
224 // yes it's counter intuitive (buggy?) but even TryParse actually throws in this case
225 if ((style & NumberStyles.AllowHexSpecifier) != 0) {
226 string msg = Locale.GetText ("Double doesn't support parsing with '{0}'.", "AllowHexSpecifier");
227 throw new ArgumentException (msg);
230 if (style > NumberStyles.Any) {
232 exc = new ArgumentException();
236 NumberFormatInfo format = NumberFormatInfo.GetInstance(provider);
237 if (format == null) throw new Exception("How did this happen?");
239 if (s == format.NaNSymbol) {
243 if (s == format.PositiveInfinitySymbol) {
244 result = Double.PositiveInfinity;
247 if (s == format.NegativeInfinitySymbol) {
248 result = Double.NegativeInfinity;
253 // validate and prepare string for C
256 byte [] b = new byte [len + 1];
261 if ((style & NumberStyles.AllowLeadingWhite) != 0){
262 while (sidx < len && Char.IsWhiteSpace (c = s [sidx]))
267 exc = Int32.GetFormatException ();
272 bool allow_trailing_white = ((style & NumberStyles.AllowTrailingWhite) != 0);
277 int state = State_AllowSign;
282 string decimal_separator = null;
283 string group_separator = null;
284 int decimal_separator_len = 0;
285 int group_separator_len = 0;
286 if ((style & NumberStyles.AllowDecimalPoint) != 0){
287 decimal_separator = format.NumberDecimalSeparator;
288 decimal_separator_len = decimal_separator.Length;
290 if ((style & NumberStyles.AllowThousands) != 0){
291 group_separator = format.NumberGroupSeparator;
292 group_separator_len = group_separator.Length;
294 string positive = format.PositiveSign;
295 string negative = format.NegativeSign;
297 for (; sidx < len; sidx++){
305 case State_AllowSign:
306 if ((style & NumberStyles.AllowLeadingSign) != 0){
307 if (c == positive [0] &&
308 s.Substring (sidx, positive.Length) == positive){
309 state = State_Digits;
310 sidx += positive.Length-1;
314 if (c == negative [0] &&
315 s.Substring (sidx, negative.Length) == negative){
316 state = State_Digits;
317 b [didx++] = (byte) '-';
318 sidx += negative.Length-1;
322 state = State_Digits;
323 goto case State_Digits;
326 if (Char.IsDigit (c)){
327 b [didx++] = (byte) c;
330 if (c == 'e' || c == 'E')
331 goto case State_Decimal;
333 if (decimal_separator != null &&
334 decimal_separator [0] == c){
335 if (s.Substring (sidx, decimal_separator_len) ==
337 b [didx++] = (byte) '.';
338 sidx += decimal_separator_len-1;
339 state = State_Decimal;
343 if (group_separator != null &&
344 group_separator [0] == c){
345 if (s.Substring (sidx, group_separator_len) ==
347 sidx += group_separator_len-1;
348 state = State_Digits;
353 if (Char.IsWhiteSpace (c))
354 goto case State_ConsumeWhiteSpace;
357 exc = new FormatException ("Unknown char: " + c);
361 if (Char.IsDigit (c)){
362 b [didx++] = (byte) c;
366 if (c == 'e' || c == 'E'){
367 if ((style & NumberStyles.AllowExponent) == 0)
368 throw new FormatException ("Unknown char: " + c);
369 b [didx++] = (byte) c;
370 state = State_ExponentSign;
374 if (Char.IsWhiteSpace (c))
375 goto case State_ConsumeWhiteSpace;
378 exc = new FormatException ("Unknown char: " + c);
381 case State_ExponentSign:
382 if (Char.IsDigit (c)){
383 state = State_Exponent;
384 goto case State_Exponent;
387 if (c == positive [0] &&
388 s.Substring (sidx, positive.Length) == positive){
389 state = State_Digits;
390 sidx += positive.Length-1;
394 if (c == negative [0] &&
395 s.Substring (sidx, negative.Length) == negative){
396 state = State_Digits;
397 b [didx++] = (byte) '-';
398 sidx += negative.Length-1;
402 if (Char.IsWhiteSpace (c))
403 goto case State_ConsumeWhiteSpace;
406 exc = new FormatException ("Unknown char: " + c);
410 if (Char.IsDigit (c)){
411 b [didx++] = (byte) c;
415 if (Char.IsWhiteSpace (c))
416 goto case State_ConsumeWhiteSpace;
419 exc = new FormatException ("Unknown char: " + c);
422 case State_ConsumeWhiteSpace:
423 if (allow_trailing_white && Char.IsWhiteSpace (c))
427 exc = new FormatException ("Unknown char");
434 fixed (byte *p = &b [0]){
436 if (!ParseImpl (p, out retVal)) {
438 exc = Int32.GetFormatException ();
441 if (IsPositiveInfinity(retVal) || IsNegativeInfinity(retVal)) {
443 exc = new OverflowException ();
453 [MethodImplAttribute(MethodImplOptions.InternalCall)]
454 unsafe private static extern bool ParseImpl (byte *byte_ptr, out double value);
456 public static bool TryParse (string s,
458 IFormatProvider provider,
462 if (!Parse (s, style, provider, true, out result, out exc)) {
470 public static bool TryParse (string s, out double result)
472 return TryParse (s, NumberStyles.Any, null, out result);
475 public override string ToString ()
477 return ToString (null, null);
480 public string ToString (IFormatProvider fp)
482 return ToString (null, fp);
485 public string ToString (string format)
487 return ToString (format, null);
490 public string ToString (string format, IFormatProvider fp)
492 NumberFormatInfo nfi = NumberFormatInfo.GetInstance (fp);
493 return NumberFormatter.NumberToString (format, m_value, nfi);
496 // =========== IConvertible Methods =========== //
498 public TypeCode GetTypeCode ()
500 return TypeCode.Double;
503 object IConvertible.ToType (Type conversionType, IFormatProvider provider)
505 return System.Convert.ToType(m_value, conversionType, provider);
508 bool IConvertible.ToBoolean (IFormatProvider provider)
510 return System.Convert.ToBoolean(m_value);
513 byte IConvertible.ToByte (IFormatProvider provider)
515 return System.Convert.ToByte(m_value);
518 char IConvertible.ToChar (IFormatProvider provider)
520 throw new InvalidCastException();
523 DateTime IConvertible.ToDateTime (IFormatProvider provider)
525 throw new InvalidCastException();
528 decimal IConvertible.ToDecimal (IFormatProvider provider)
530 return System.Convert.ToDecimal(m_value);
533 double IConvertible.ToDouble (IFormatProvider provider)
535 return System.Convert.ToDouble(m_value);
538 short IConvertible.ToInt16 (IFormatProvider provider)
540 return System.Convert.ToInt16(m_value);
543 int IConvertible.ToInt32 (IFormatProvider provider)
545 return System.Convert.ToInt32(m_value);
548 long IConvertible.ToInt64 (IFormatProvider provider)
550 return System.Convert.ToInt64(m_value);
553 sbyte IConvertible.ToSByte (IFormatProvider provider)
555 return System.Convert.ToSByte(m_value);
558 float IConvertible.ToSingle (IFormatProvider provider)
560 return System.Convert.ToSingle(m_value);
564 string IConvertible.ToString (IFormatProvider provider)
566 return ToString(provider);
570 ushort IConvertible.ToUInt16 (IFormatProvider provider)
572 return System.Convert.ToUInt16(m_value);
575 uint IConvertible.ToUInt32 (IFormatProvider provider)
577 return System.Convert.ToUInt32(m_value);
580 ulong IConvertible.ToUInt64 (IFormatProvider provider)
582 return System.Convert.ToUInt64(m_value);