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)
387 throw new FormatException ("Unknown char: " + c);
388 b [didx++] = (byte) c;
389 state = State_ExponentSign;
393 if (Char.IsWhiteSpace (c))
394 goto case State_ConsumeWhiteSpace;
397 exc = new FormatException ("Unknown char: " + c);
400 case State_ExponentSign:
401 if (Char.IsDigit (c)){
402 state = State_Exponent;
403 goto case State_Exponent;
406 if (c == positive [0] &&
407 s.Substring (sidx, positive.Length) == positive){
408 state = State_Digits;
409 sidx += positive.Length-1;
413 if (c == negative [0] &&
414 s.Substring (sidx, negative.Length) == negative){
415 state = State_Digits;
416 b [didx++] = (byte) '-';
417 sidx += negative.Length-1;
421 if (Char.IsWhiteSpace (c))
422 goto case State_ConsumeWhiteSpace;
425 exc = new FormatException ("Unknown char: " + c);
429 if (Char.IsDigit (c)){
430 b [didx++] = (byte) c;
434 if (Char.IsWhiteSpace (c))
435 goto case State_ConsumeWhiteSpace;
438 exc = new FormatException ("Unknown char: " + c);
441 case State_ConsumeWhiteSpace:
442 if (allow_trailing_white && Char.IsWhiteSpace (c))
446 exc = new FormatException ("Unknown char");
453 fixed (byte *p = &b [0]){
455 if (!ParseImpl (p, out retVal)) {
457 exc = Int32.GetFormatException ();
460 if (IsPositiveInfinity(retVal) || IsNegativeInfinity(retVal)) {
462 exc = new OverflowException ();
472 [MethodImplAttribute(MethodImplOptions.InternalCall)]
473 unsafe private static extern bool ParseImpl (byte *byte_ptr, out double value);
475 public static bool TryParse (string s,
477 IFormatProvider provider,
481 if (!Parse (s, style, provider, true, out result, out exc)) {
489 public static bool TryParse (string s, out double result)
491 return TryParse (s, NumberStyles.Any, null, out result);
494 public override string ToString ()
496 return ToString (null, null);
499 public string ToString (IFormatProvider fp)
501 return ToString (null, fp);
504 public string ToString (string format)
506 return ToString (format, null);
509 public string ToString (string format, IFormatProvider fp)
511 NumberFormatInfo nfi = NumberFormatInfo.GetInstance (fp);
512 return NumberFormatter.NumberToString (format, m_value, nfi);
515 // =========== IConvertible Methods =========== //
517 public TypeCode GetTypeCode ()
519 return TypeCode.Double;
522 object IConvertible.ToType (Type conversionType, IFormatProvider provider)
524 return System.Convert.ToType(m_value, conversionType, provider);
527 bool IConvertible.ToBoolean (IFormatProvider provider)
529 return System.Convert.ToBoolean(m_value);
532 byte IConvertible.ToByte (IFormatProvider provider)
534 return System.Convert.ToByte(m_value);
537 char IConvertible.ToChar (IFormatProvider provider)
539 throw new InvalidCastException();
542 DateTime IConvertible.ToDateTime (IFormatProvider provider)
544 throw new InvalidCastException();
547 decimal IConvertible.ToDecimal (IFormatProvider provider)
549 return System.Convert.ToDecimal(m_value);
552 double IConvertible.ToDouble (IFormatProvider provider)
554 return System.Convert.ToDouble(m_value);
557 short IConvertible.ToInt16 (IFormatProvider provider)
559 return System.Convert.ToInt16(m_value);
562 int IConvertible.ToInt32 (IFormatProvider provider)
564 return System.Convert.ToInt32(m_value);
567 long IConvertible.ToInt64 (IFormatProvider provider)
569 return System.Convert.ToInt64(m_value);
572 sbyte IConvertible.ToSByte (IFormatProvider provider)
574 return System.Convert.ToSByte(m_value);
577 float IConvertible.ToSingle (IFormatProvider provider)
579 return System.Convert.ToSingle(m_value);
583 string IConvertible.ToString (IFormatProvider provider)
585 return ToString(provider);
589 ushort IConvertible.ToUInt16 (IFormatProvider provider)
591 return System.Convert.ToUInt16(m_value);
594 uint IConvertible.ToUInt32 (IFormatProvider provider)
596 return System.Convert.ToUInt32(m_value);
599 ulong IConvertible.ToUInt64 (IFormatProvider provider)
601 return System.Convert.ToUInt64(m_value);