Trait/Object

org.opalj

Answer

Related Docs: object Answer | package opalj

Permalink

sealed trait Answer extends AnyRef

Models a three state answer (Yes, No, Unknown).

Source
Answer.scala
Linear Supertypes
AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Answer
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def &&(other: Answer): Answer

    Permalink

    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 as this && (Yes || No).

  2. abstract def isNo: Boolean

    Permalink

    Returns true if and only if this answer is No.

    Returns true if and only if this answer is No.

    Effectively the same as a comparison with No.

  3. abstract def isNotNo: Boolean

    Permalink

    Returns true if this answer is Yes or Unknown, false otherwise.

  4. abstract def isNotYes: Boolean

    Permalink

    Returns true if this answer is No or Unknown, false otherwise.

  5. abstract def isUnknown: Boolean

    Permalink

    Returns true if and only if this answer is Unknown.

    Returns true if and only if this answer is Unknown.

    Effectively the same as a comparison with Unknown.

  6. abstract def isYes: Boolean

    Permalink

    Returns true if and only if this answer is Yes.

    Returns true if and only if this answer is Yes.

    Effectively the same as a comparison with Yes.

  7. abstract def isYesOrNo: Boolean

    Permalink

    Returns true if this answer is either Yes or No; false if this answer is Unknown.

  8. abstract def join(other: Answer): Answer

    Permalink

    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. Answers. Hence, this join Unknown is considered as this join {Yes, No} where the set {Yes, No} is represented by Unknown.

    If the other Answer is identical to this answer this is returned, otherwise Unknown is returned.

  9. abstract def negate: Answer

    Permalink

    The negation of this Answer.

    The negation of this Answer. If the answer is Unknown the negation is still Unknown.

  10. abstract def ||(other: Answer): Answer

    Permalink

    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 as this || (Yes || No).

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def &&(other: Boolean): Answer

    Permalink
  4. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  6. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  7. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  8. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  9. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  10. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  11. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  12. def ifUnknown(f: ⇒ Answer): Answer

    Permalink

    If this answer is unknown the given function is evaluated and that result is returned, otherwise this answer is returned.

  13. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  14. final def isNoOrUnknown: Boolean

    Permalink

    Returns true if this answer is No or Unknown, false otherwise.

  15. final def isYesOrUnknown: Boolean

    Permalink

    Returns true if this answer is Yes or Unknown, false otherwise.

  16. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  17. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  18. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  19. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  20. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  21. final def unary_!: Answer

    Permalink

    See also

    Answer#negate

  22. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  23. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  24. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  25. final def ||(other: Boolean): Answer

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped