summaryrefslogtreecommitdiff
path: root/sources/scala/Double.java
blob: 3a990e497063b33915d87176d57d15523cd0d327 (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
/*                     __                                               *\
**     ________ ___   / /  ___     Scala API                            **
**    / __/ __// _ | / /  / _ |    (c) 2002, LAMP/EPFL                  **
**  __\ \/ /__/ __ |/ /__/ __ |                                         **
** /____/\___/_/ |_/____/_/ | |                                         **
**                          |/                                          **
\*                                                                      */

// $Id$

package scala;

public abstract class Double extends AnyVal {












    public abstract double asDouble();
    public abstract float  asFloat();
    public abstract long   asLong();
    public abstract int    asInt();
    public abstract char   asChar();
    public abstract short  asShort();
    public abstract byte   asByte();

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

    /** @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 +asDouble()        ; }
    /** @meta method []scala.Double; */
    public double  $minus     ()            { return -asDouble()        ; }



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

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

}