Packages

o

teststate.dsl

CollectionAssertions

object CollectionAssertions

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. CollectionAssertions
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. sealed abstract class Contains extends AnyRef
  2. sealed abstract class ContainsAll extends AnyRef
  3. sealed abstract class ContainsAny extends AnyRef
  4. sealed abstract class ContainsOnly extends AnyRef
  5. sealed abstract class Distinct extends AnyRef
  6. case class EA[A](expect: A, actual: A) extends Product with Serializable
  7. sealed abstract class ElemChanges extends AnyRef
  8. sealed abstract class EqualIgnoringOrder extends AnyRef
  9. sealed abstract class EqualIncludingOrder extends AnyRef
  10. sealed abstract class Exists extends AnyRef
  11. sealed abstract class Forall extends AnyRef

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
  6. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  7. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  8. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  9. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  10. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  11. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  13. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  14. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  15. final def tallyElements[A](neg: IterableOnce[A], pos: IterableOnce[A]): HashMap[A, Int]
    Attributes
    protected
  16. def toString(): String
    Definition Classes
    AnyRef → Any
  17. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  18. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  19. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  20. object Contains
  21. object ContainsAll
  22. object ContainsAny
  23. object ContainsNone extends ContainsAny

    ∀b.

    ∀b. A ∌ b

  24. object ContainsOnly
  25. object ContainsSome extends ContainsAny

    ∃b.

    ∃b. A ∋ b

  26. object Distinct
  27. object ElemChanges
  28. object EqualIgnoringOrder
  29. object EqualIncludingOrder
  30. object ExistenceOfAll
  31. object Exists
  32. object Forall

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

Inherited from AnyRef

Inherited from Any

Ungrouped