public final class OCamlBool extends OCamlValue
OCamlBool
class is the wrapper class for OCaml values of
type bool
.Modifier and Type | Field and Description |
---|---|
static OCamlBool |
FALSE
An representation of
false . |
static OCamlBool |
TRUE
An representation of
true . |
static Wrapper<OCamlBool> |
WRAPPER
Wrapper for
OCamlBool values. |
Modifier and Type | Method and Description |
---|---|
boolean |
booleanValue()
Returns the wrapped value as a
boolean . |
static OCamlBool |
create(boolean v)
Constructs a new
bool value, and wraps it. |
boolean |
equals(java.lang.Object obj) |
Wrapper<? extends OCamlBool> |
getWrapper()
Returns the wrapper used to wrap
Value elements into
instances of the current class. |
Wrapper<? extends OCamlValue> |
getWrapper(int idx)
Returns the wrapper used to wrap
Value elements into
instances of the embedded type at given index. |
int |
hashCode() |
java.lang.String |
toString() |
static OCamlBool |
wrap(org.ocamljava.runtime.values.Value v)
Wraps the passed value.
|
static Wrapper<? extends OCamlBool> |
wrapper()
Returns a wrapper for
OCamlBool values. |
value
public Wrapper<? extends OCamlBool> getWrapper()
Value
elements into
instances of the current class.getWrapper
in class OCamlValue
Value
elements into
instances of the current classpublic Wrapper<? extends OCamlValue> getWrapper(int idx)
Value
elements into
instances of the embedded type at given index.getWrapper
in class OCamlValue
idx
- index of embedded typeValue
elements into
instances of the embedded type at given index.public boolean booleanValue()
boolean
.boolean
public int hashCode()
hashCode
in class OCamlValue
public boolean equals(java.lang.Object obj)
equals
in class OCamlValue
public java.lang.String toString()
toString
in class OCamlValue
public static OCamlBool create(boolean v)
bool
value, and wraps it.v
- value to wrapOCamlBool
instance wrapping the passed valuepublic static OCamlBool wrap(org.ocamljava.runtime.values.Value v)
v
- value to wrap - should not be null
OCamlBool
instance wrapping the passed value