sealed trait Answer extends AnyRef
- Alphabetic
- By Inheritance
- Answer
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Abstract Value Members
-
abstract
def
&&(other: Answer): Answer
The logical conjunction of this answer and the given answer.
The logical conjunction of this answer and the given answer. In this case Unknown is considered to either represent the answer Yes or No; hence,
this && other
is treated asthis && (Yes || No)
. -
abstract
def
ifUnknown(f: ⇒ Answer): Answer
If this answer is unknown the given function is evaluated and that result is returned, otherwise
this
answer is returned. -
abstract
def
isNo: Boolean
Returns
true
if and only if this answer isNo
.Returns
true
if and only if this answer isNo
.Effectively the same as a comparison with No.
-
abstract
def
isNotNo: Boolean
Returns
true
if this answer isYes
orUnknown
,false
otherwise. -
abstract
def
isNotYes: Boolean
Returns
true
if this answer isNo
orUnknown
,false
otherwise. -
abstract
def
isUnknown: Boolean
Returns
true
if and only if this answer isUnknown
.Returns
true
if and only if this answer isUnknown
.Effectively the same as a comparison with Unknown.
-
abstract
def
isYes: Boolean
Returns
true
if and only if this answer isYes
.Returns
true
if and only if this answer isYes
.Effectively the same as a comparison with Yes.
-
abstract
def
isYesOrNo: Boolean
Returns
true
if this answer is eitherYes
orNo
; false if this answer isUnknown
. -
abstract
def
join(other: Answer): Answer
Joins this answer and the given answer.
Joins this answer and the given answer. In this case
Unknown
will represent the case that we have both answers; that is we have a set based view w.r.t.Answer
s. Hence,this join Unknown
is considered asthis join {Yes, No}
where the set{Yes, No}
is represented byUnknown
.If the other
Answer
is identical tothis
answerthis
is returned, otherwiseUnknown
is returned. -
abstract
def
negate: Answer
The negation of this
Answer
.The negation of this
Answer
. If the answer isUnknown
the negation is stillUnknown
. -
abstract
def
||(other: Answer): Answer
The logical disjunction of this answer and the given answer.
The logical disjunction of this answer and the given answer. In this case Unknown is considered to either represent the answer Yes or No; hence,
this || other
is treated asthis || (Yes || No)
.
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
- final def &&(other: Boolean): Answer
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native() @IntrinsicCandidate()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
isNoOrUnknown: Boolean
Returns
true
if this answer isNo
orUnknown
,false
otherwise. -
final
def
isYesOrUnknown: Boolean
Returns
true
if this answer isYes
orUnknown
,false
otherwise. -
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
unary_!: Answer
- See also
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
- final def ||(other: Boolean): Answer
Deprecated Value Members
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] ) @Deprecated
- Deprecated