summaryrefslogtreecommitdiff
path: root/src/library/scala/Double.java
blob: c00cdf3e20f4af36c43bca1d98d9e2d9379d132d (plain) (blame)
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
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
/*                     __                                               *\
**     ________ ___   / /  ___     Scala API                            **
**    / __/ __// _ | / /  / _ |    (c) 2002-2006, LAMP/EPFL             **
**  __\ \/ /__/ __ |/ /__/ __ |                                         **
** /____/\___/_/ |_/____/_/ | |                                         **
**                          |/                                          **
\*                                                                      */

// $Id$


package scala;


/** @meta class extends scala.AnyVal; */
public abstract class Double  extends AnyVal implements java.io.Serializable {

    public final double  value;

    public Double (double  value) {
        this.value = value;
    }

    public boolean equals(java.lang.Object other) {
        return other instanceof Double  && value == ((Double )other).value;
    }
    public int hashCode() {
        long bits = java.lang.Double.doubleToLongBits(value);
        return (int)(bits ^ (bits >>> 32));
    }
    public String toString() {
        return String.valueOf(value);
    }

    /** @meta method []scala.Byte; */
    public byte toByte() { return (byte)value; }

    /** @meta method []scala.Short; */
    public short toShort() { return (short)value; }

    /** @meta method []scala.Char; */
    public char toChar() { return (char)value; }

    /** @meta method []scala.Int; */
    public int toInt() { return (int)value; }

    /** @meta method []scala.Long; */
    public long toLong() { return (long)value; }

    /** @meta method []scala.Float; */
    public float toFloat() { return (float)value; }

    /** @meta method []scala.Double; */
    public double toDouble() { return (double)value; }

    /** @meta method (scala.Any)scala.Boolean; */
    public boolean $eq$eq  (java.lang.Object other) { return  equals(other); }
    /** @meta method (scala.Any)scala.Boolean; */
    public boolean $bang$eq(java.lang.Object other) { return !equals(other); }

    /** @meta method []scala.Double ; */
    public double  $plus      (            ) { return +value        ; }
    /** @meta method []scala.Double ; */
    public double  $minus     (            ) { return -value        ; }

    public String  $plus      (String  that) { return  value +  that; }

    public boolean $eq$eq     (double  that) { return  value == that; }
    public boolean $bang$eq   (double  that) { return  value != that; }
    public boolean $less      (double  that) { return  value <  that; }
    public boolean $greater   (double  that) { return  value >  that; }
    public boolean $less$eq   (double  that) { return  value <= that; }
    public boolean $greater$eq(double  that) { return  value >= that; }
    public double  $plus      (double  that) { return  value +  that; }
    public double  $minus     (double  that) { return  value -  that; }
    public double  $times     (double  that) { return  value *  that; }
    public double  $div       (double  that) { return  value /  that; }
    public double  $percent   (double  that) { return  value %  that; }

    public boolean $eq$eq     (float  that) { return  value == that; }
    public boolean $bang$eq   (float  that) { return  value != that; }
    public boolean $less      (float  that) { return  value <  that; }
    public boolean $greater   (float  that) { return  value >  that; }
    public boolean $less$eq   (float  that) { return  value <= that; }
    public boolean $greater$eq(float  that) { return  value >= that; }
    public double  $plus      (float  that) { return  value +  that; }
    public double  $minus     (float  that) { return  value -  that; }
    public double  $times     (float  that) { return  value *  that; }
    public double  $div       (float  that) { return  value /  that; }
    public double  $percent   (float  that) { return  value %  that; }

    public boolean $eq$eq     (long  that) { return  value == that; }
    public boolean $bang$eq   (long  that) { return  value != that; }
    public boolean $less      (long  that) { return  value <  that; }
    public boolean $greater   (long  that) { return  value >  that; }
    public boolean $less$eq   (long  that) { return  value <= that; }
    public boolean $greater$eq(long  that) { return  value >= that; }
    public double  $plus      (long  that) { return  value +  that; }
    public double  $minus     (long  that) { return  value -  that; }
    public double  $times     (long  that) { return  value *  that; }
    public double  $div       (long  that) { return  value /  that; }
    public double  $percent   (long  that) { return  value %  that; }

    public boolean $eq$eq     (int  that) { return  value == that; }
    public boolean $bang$eq   (int  that) { return  value != that; }
    public boolean $less      (int  that) { return  value <  that; }
    public boolean $greater   (int  that) { return  value >  that; }
    public boolean $less$eq   (int  that) { return  value <= that; }
    public boolean $greater$eq(int  that) { return  value >= that; }
    public double  $plus      (int  that) { return  value +  that; }
    public double  $minus     (int  that) { return  value -  that; }
    public double  $times     (int  that) { return  value *  that; }
    public double  $div       (int  that) { return  value /  that; }
    public double  $percent   (int  that) { return  value %  that; }

    public boolean $eq$eq     (char  that) { return  value == that; }
    public boolean $bang$eq   (char  that) { return  value != that; }
    public boolean $less      (char  that) { return  value <  that; }
    public boolean $greater   (char  that) { return  value >  that; }
    public boolean $less$eq   (char  that) { return  value <= that; }
    public boolean $greater$eq(char  that) { return  value >= that; }
    public double  $plus      (char  that) { return  value +  that; }
    public double  $minus     (char  that) { return  value -  that; }
    public double  $times     (char  that) { return  value *  that; }
    public double  $div       (char  that) { return  value /  that; }
    public double  $percent   (char  that) { return  value %  that; }

    public boolean $eq$eq     (short  that) { return  value == that; }
    public boolean $bang$eq   (short  that) { return  value != that; }
    public boolean $less      (short  that) { return  value <  that; }
    public boolean $greater   (short  that) { return  value >  that; }
    public boolean $less$eq   (short  that) { return  value <= that; }
    public boolean $greater$eq(short  that) { return  value >= that; }
    public double  $plus      (short  that) { return  value +  that; }
    public double  $minus     (short  that) { return  value -  that; }
    public double  $times     (short  that) { return  value *  that; }
    public double  $div       (short  that) { return  value /  that; }
    public double  $percent   (short  that) { return  value %  that; }

    public boolean $eq$eq     (byte  that) { return  value == that; }
    public boolean $bang$eq   (byte  that) { return  value != that; }
    public boolean $less      (byte  that) { return  value <  that; }
    public boolean $greater   (byte  that) { return  value >  that; }
    public boolean $less$eq   (byte  that) { return  value <= that; }
    public boolean $greater$eq(byte  that) { return  value >= that; }
    public double  $plus      (byte  that) { return  value +  that; }
    public double  $minus     (byte  that) { return  value -  that; }
    public double  $times     (byte  that) { return  value *  that; }
    public double  $div       (byte  that) { return  value /  that; }
    public double  $percent   (byte  that) { return  value %  that; }

}