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

// $OldId: Boolean.java,v 1.19 2002/09/12 21:23:08 paltherr Exp $
// $Id$

package scala;

/** @meta class extends scala.AnyVal;
 */
public abstract class Boolean extends AnyVal {

    public static final boolean True  = true;
    public static final boolean False = false;

    public abstract boolean asBoolean();

    public boolean $amp$amp(boolean that) {
        return asBoolean() && that;
    }

    public boolean $bar$bar(boolean that) {
        return asBoolean() || that;
    }

    public boolean $amp(boolean that) {
        return asBoolean() & that;
    }

    public boolean $bar(boolean that) {
        return asBoolean() | that;
    }

    public boolean $up(boolean that) {
        return asBoolean() ^ that;
    }

    /** @meta method []scala.Boolean;
     */
    public boolean $bang() {
         return !asBoolean();
    }

    public boolean $eq$eq(boolean that) {
        return asBoolean() == that;
    }

    public boolean $bang$eq(boolean that) {
        return asBoolean() != that;
    }

    public String toString() {
        return String.valueOf(asBoolean());
    }

    public int hashCode() {
        return asBoolean() ? 1231 : 1237;
    }

    public boolean equals(java.lang.Object obj) {
        return obj instanceof Boolean && $eq$eq(((Boolean)obj).asBoolean());
    }
}