src/library/scala/Boolean.java


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

/*                     __                                               *\
**     ________ ___   / /  ___     Scala API                            **
**    / __/ __// _ | / /  / _ |    (c) 2002-2006, LAMP/EPFL             **
**  __\ \/ /__/ __ |/ /__/ __ |                                         **
** /____/\___/_/ |_/____/_/ | |                                         **
**                          |/                                          **
\*                                                                      */

// $Id$


package scala;


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

    public final boolean value;

    public Boolean(boolean value) {
        this.value = value;
    }

    public boolean equals(java.lang.Object other) {
        return other instanceof Boolean && value == ((Boolean)other).value;
    }
    public int hashCode() {
        int  bits = value ? 1231 : 1237;
        return bits;
    }
    public String toString() {
        return String.valueOf(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.Boolean; */
    public boolean $bang      (            ) { return !value        ; }


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

    public boolean $eq$eq     (boolean that) { return  value == that; }
    public boolean $bang$eq   (boolean that) { return  value != that; }
    public boolean $bar$bar   (boolean that) { return  value || that; }
    public boolean $amp$amp   (boolean that) { return  value && that; }
    public boolean $bar       (boolean that) { return  value |  that; }
    public boolean $amp       (boolean that) { return  value &  that; }
    public boolean $up        (boolean that) { return  value ^  that; }

}