blob: bca3726be1de6f5ca777f450a13b9fc0d46f7457 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
|
/*
Copyright (C) 2003, 2005 Jeroen Frijters
This software is provided 'as-is', without any express or implied
warranty. In no event will the authors be held liable for any damages
arising from the use of this software.
Permission is granted to anyone to use this software for any purpose,
including commercial applications, and to alter it and redistribute it
freely, subject to the following restrictions:
1. The origin of this software must not be misrepresented; you must not
claim that you wrote the original software. If you use this software
in a product, an acknowledgment in the product documentation would be
appreciated but is not required.
2. Altered source versions must be plainly marked as such, and must not be
misrepresented as being the original software.
3. This notice may not be removed or altered from any source distribution.
Jeroen Frijters
jeroen@frijters.net
*/
package java.lang;
import cli.System.BitConverter;
final class VMDouble
{
static double longBitsToDouble(long v)
{
return BitConverter.Int64BitsToDouble(v);
}
static long doubleToLongBits(double v)
{
if(Double.isNaN(v))
{
return 0x7ff8000000000000L;
}
return BitConverter.DoubleToInt64Bits(v);
}
static long doubleToRawLongBits(double v)
{
return BitConverter.DoubleToInt64Bits(v);
}
static String toString(double d, boolean isFloat)
{
if(isFloat)
{
float f = (float)d;
// TODO this is not correct, we need to use the Java algorithm of converting a float to string
if(Float.isNaN(f))
{
return "NaN";
}
if(Float.isInfinite(f))
{
return f < 0f ? "-Infinity" : "Infinity";
}
// HACK really lame hack to apprioximate the Java behavior a little bit
String s = ((cli.System.IConvertible)ikvm.lang.CIL.box_float(f)).ToString(cli.System.Globalization.CultureInfo.get_InvariantCulture());
if(s.indexOf('.') == -1)
{
s += ".0";
}
// make sure -0.0 renders correctly
if(d == 0.0 && BitConverter.DoubleToInt64Bits(d) < 0)
{
return "-" + s;
}
return s;
}
else
{
StringBuffer sb = new StringBuffer();
DoubleToString.append(sb, d);
return sb.toString();
}
}
static native double parseDouble(String s);
}
|
