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 string currency_symbol = null;
290 int decimal_separator_len = 0;
291 int group_separator_len = 0;
292 int currency_symbol_len = 0;
293 if ((style & NumberStyles.AllowDecimalPoint) != 0){
294 decimal_separator = format.NumberDecimalSeparator;
295 decimal_separator_len = decimal_separator.Length;
297 if ((style & NumberStyles.AllowThousands) != 0){
298 group_separator = format.NumberGroupSeparator;
299 group_separator_len = group_separator.Length;
301 if ((style & NumberStyles.AllowCurrencySymbol) != 0){
302 currency_symbol = format.CurrencySymbol;
303 currency_symbol_len = currency_symbol.Length;
305 string positive = format.PositiveSign;
306 string negative = format.NegativeSign;
308 for (; sidx < len; sidx++){
316 case State_AllowSign:
317 if ((style & NumberStyles.AllowLeadingSign) != 0){
318 if (c == positive [0] &&
319 s.Substring (sidx, positive.Length) == positive){
320 state = State_Digits;
321 sidx += positive.Length-1;
325 if (c == negative [0] &&
326 s.Substring (sidx, negative.Length) == negative){
327 state = State_Digits;
328 b [didx++] = (byte) '-';
329 sidx += negative.Length-1;
333 state = State_Digits;
334 goto case State_Digits;
337 if (Char.IsDigit (c)){
338 b [didx++] = (byte) c;
341 if (c == 'e' || c == 'E')
342 goto case State_Decimal;
344 if (decimal_separator != null &&
345 decimal_separator [0] == c) {
346 if (String.CompareOrdinal (s, sidx, decimal_separator, 0, decimal_separator_len) == 0) {
347 b [didx++] = (byte) '.';
348 sidx += decimal_separator_len-1;
349 state = State_Decimal;
353 if (group_separator != null &&
354 group_separator [0] == c){
355 if (s.Substring (sidx, group_separator_len) ==
357 sidx += group_separator_len-1;
358 state = State_Digits;
362 if (currency_symbol != null &&
363 currency_symbol [0] == c){
364 if (s.Substring (sidx, currency_symbol_len) ==
366 sidx += currency_symbol_len-1;
367 state = State_Digits;
372 if (Char.IsWhiteSpace (c))
373 goto case State_ConsumeWhiteSpace;
376 exc = new FormatException ("Unknown char: " + c);
380 if (Char.IsDigit (c)){
381 b [didx++] = (byte) c;
385 if (c == 'e' || c == 'E'){
386 if ((style & NumberStyles.AllowExponent) == 0) {
388 exc = new FormatException ("Unknown char: " + c);
391 b [didx++] = (byte) c;
392 state = State_ExponentSign;
396 if (Char.IsWhiteSpace (c))
397 goto case State_ConsumeWhiteSpace;
400 exc = new FormatException ("Unknown char: " + c);
403 case State_ExponentSign:
404 if (Char.IsDigit (c)){
405 state = State_Exponent;
406 goto case State_Exponent;
409 if (c == positive [0] &&
410 s.Substring (sidx, positive.Length) == positive){
411 state = State_Digits;
412 sidx += positive.Length-1;
416 if (c == negative [0] &&
417 s.Substring (sidx, negative.Length) == negative){
418 state = State_Digits;
419 b [didx++] = (byte) '-';
420 sidx += negative.Length-1;
424 if (Char.IsWhiteSpace (c))
425 goto case State_ConsumeWhiteSpace;
428 exc = new FormatException ("Unknown char: " + c);
432 if (Char.IsDigit (c)){
433 b [didx++] = (byte) c;
437 if (Char.IsWhiteSpace (c))
438 goto case State_ConsumeWhiteSpace;
441 exc = new FormatException ("Unknown char: " + c);
444 case State_ConsumeWhiteSpace:
445 if (allow_trailing_white && Char.IsWhiteSpace (c))
449 exc = new FormatException ("Unknown char");
456 fixed (byte *p = &b [0]){
458 if (!ParseImpl (p, out retVal)) {
460 exc = Int32.GetFormatException ();
463 if (IsPositiveInfinity(retVal) || IsNegativeInfinity(retVal)) {
465 exc = new OverflowException ();
475 [MethodImplAttribute(MethodImplOptions.InternalCall)]
476 unsafe private static extern bool ParseImpl (byte *byte_ptr, out double value);
478 public static bool TryParse (string s,
480 IFormatProvider provider,
484 if (!Parse (s, style, provider, true, out result, out exc)) {
492 public static bool TryParse (string s, out double result)
494 return TryParse (s, NumberStyles.Any, null, out result);
497 public override string ToString ()
499 return ToString (null, null);
502 public string ToString (IFormatProvider fp)
504 return ToString (null, fp);
507 public string ToString (string format)
509 return ToString (format, null);
512 public string ToString (string format, IFormatProvider fp)
514 NumberFormatInfo nfi = NumberFormatInfo.GetInstance (fp);
515 return NumberFormatter.NumberToString (format, m_value, nfi);
518 // =========== IConvertible Methods =========== //
520 public TypeCode GetTypeCode ()
522 return TypeCode.Double;
525 object IConvertible.ToType (Type conversionType, IFormatProvider provider)
527 return System.Convert.ToType(m_value, conversionType, provider);
530 bool IConvertible.ToBoolean (IFormatProvider provider)
532 return System.Convert.ToBoolean(m_value);
535 byte IConvertible.ToByte (IFormatProvider provider)
537 return System.Convert.ToByte(m_value);
540 char IConvertible.ToChar (IFormatProvider provider)
542 throw new InvalidCastException();
545 DateTime IConvertible.ToDateTime (IFormatProvider provider)
547 throw new InvalidCastException();
550 decimal IConvertible.ToDecimal (IFormatProvider provider)
552 return System.Convert.ToDecimal(m_value);
555 double IConvertible.ToDouble (IFormatProvider provider)
557 return System.Convert.ToDouble(m_value);
560 short IConvertible.ToInt16 (IFormatProvider provider)
562 return System.Convert.ToInt16(m_value);
565 int IConvertible.ToInt32 (IFormatProvider provider)
567 return System.Convert.ToInt32(m_value);
570 long IConvertible.ToInt64 (IFormatProvider provider)
572 return System.Convert.ToInt64(m_value);
575 sbyte IConvertible.ToSByte (IFormatProvider provider)
577 return System.Convert.ToSByte(m_value);
580 float IConvertible.ToSingle (IFormatProvider provider)
582 return System.Convert.ToSingle(m_value);
586 string IConvertible.ToString (IFormatProvider provider)
588 return ToString(provider);
592 ushort IConvertible.ToUInt16 (IFormatProvider provider)
594 return System.Convert.ToUInt16(m_value);
597 uint IConvertible.ToUInt32 (IFormatProvider provider)
599 return System.Convert.ToUInt32(m_value);
602 ulong IConvertible.ToUInt64 (IFormatProvider provider)
604 return System.Convert.ToUInt64(m_value);