Class

es.ucm.fdi.sscheck.gen.PStreamMatchers

PStreamSubsetOf

Related Doc: package PStreamMatchers

Permalink

class PStreamSubsetOf[A] extends Matcher[PStream[A]]

Linear Supertypes
Matcher[PStream[A]], (PStream[A]) ⇒ MatchResult, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. PStreamSubsetOf
  2. Matcher
  3. Function1
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new PStreamSubsetOf(expectedSuperStream: PStream[A])

    Permalink

Type Members

  1. final class AndBeWord extends AnyRef

    Permalink
    Definition Classes
    Matcher

  2. final class AndContainWord extends AnyRef

    Permalink
    Definition Classes
    Matcher

  3. final class AndEndWithWord extends AnyRef

    Permalink
    Definition Classes
    Matcher

  4. final class AndFullyMatchWord extends AnyRef

    Permalink
    Definition Classes
    Matcher

  5. final class AndHaveWord extends AnyRef

    Permalink
    Definition Classes
    Matcher

  6. final class AndIncludeWord extends AnyRef

    Permalink
    Definition Classes
    Matcher

  7. final class AndNotWord extends AnyRef

    Permalink
    Definition Classes
    Matcher

  8. final class AndStartWithWord extends AnyRef

    Permalink
    Definition Classes
    Matcher

  9. final class OrBeWord extends AnyRef

    Permalink
    Definition Classes
    Matcher

  10. final class OrContainWord extends AnyRef

    Permalink
    Definition Classes
    Matcher

  11. final class OrEndWithWord extends AnyRef

    Permalink
    Definition Classes
    Matcher

  12. final class OrFullyMatchWord extends AnyRef

    Permalink
    Definition Classes
    Matcher

  13. final class OrHaveWord extends AnyRef

    Permalink
    Definition Classes
    Matcher

  14. final class OrIncludeWord extends AnyRef

    Permalink
    Definition Classes
    Matcher

  15. final class OrNotWord extends AnyRef

    Permalink
    Definition Classes
    Matcher

  16. final class OrStartWithWord extends AnyRef

    Permalink
    Definition Classes
    Matcher

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 ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. def and(notExist: ResultOfNotExist): MatcherFactory1[PStream[A], Existence]

    Permalink
    Definition Classes
    Matcher

  5. def and(existWord: ExistWord): MatcherFactory1[PStream[A], Existence]

    Permalink
    Definition Classes
    Matcher

  6. def and(notWord: NotWord): AndNotWord

    Permalink
    Definition Classes
    Matcher

  7. def and(endWithWord: EndWithWord): AndEndWithWord

    Permalink
    Definition Classes
    Matcher

  8. def and(startWithWord: StartWithWord): AndStartWithWord

    Permalink
    Definition Classes
    Matcher

  9. def and(includeWord: IncludeWord): AndIncludeWord

    Permalink
    Definition Classes
    Matcher

  10. def and(fullyMatchWord: FullyMatchWord): AndFullyMatchWord

    Permalink
    Definition Classes
    Matcher

  11. def and(beWord: BeWord): AndBeWord

    Permalink
    Definition Classes
    Matcher

  12. def and(containWord: ContainWord): AndContainWord

    Permalink
    Definition Classes
    Matcher

  13. def and(haveWord: HaveWord): AndHaveWord

    Permalink
    Definition Classes
    Matcher

  14. def and[U, TC1[_]](rightMatcherFactory1: MatcherFactory1[U, TC1]): MatcherFactory1[PStream[A] with U, TC1]

    Permalink
    Definition Classes
    Matcher

  15. def and[U <: PStream[A]](rightMatcher: Matcher[U]): Matcher[U]

    Permalink
    Definition Classes
    Matcher

  16. def andThen[A](g: (MatchResult) ⇒ A): (PStream[A]) ⇒ A

    Permalink
    Definition Classes
    Function1
    Annotations
    @unspecialized()

  17. def apply(observedStream: PStream[A]): MatchResult

    Permalink
    Definition Classes
    PStreamSubsetOf → Matcher → Function1

  18. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  19. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  20. def compose[U](g: (U) ⇒ PStream[A]): Matcher[U]

    Permalink
    Definition Classes
    Matcher → Function1

  21. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  22. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  23. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  24. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  25. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  26. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  27. def mapArgs(prettify: (Any) ⇒ String): Matcher[PStream[A]]

    Permalink
    Definition Classes
    Matcher

  28. def mapResult(prettify: (MatchResult) ⇒ MatchResult): Matcher[PStream[A]]

    Permalink
    Definition Classes
    Matcher

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

    Permalink
    Definition Classes
    AnyRef

  30. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  31. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  32. def or(notExist: ResultOfNotExist): MatcherFactory1[PStream[A], Existence]

    Permalink
    Definition Classes
    Matcher

  33. def or(existWord: ExistWord): MatcherFactory1[PStream[A], Existence]

    Permalink
    Definition Classes
    Matcher

  34. def or(notWord: NotWord): OrNotWord

    Permalink
    Definition Classes
    Matcher

  35. def or(endWithWord: EndWithWord): OrEndWithWord

    Permalink
    Definition Classes
    Matcher

  36. def or(startWithWord: StartWithWord): OrStartWithWord

    Permalink
    Definition Classes
    Matcher

  37. def or(includeWord: IncludeWord): OrIncludeWord

    Permalink
    Definition Classes
    Matcher

  38. def or(fullyMatchWord: FullyMatchWord): OrFullyMatchWord

    Permalink
    Definition Classes
    Matcher

  39. def or(beWord: BeWord): OrBeWord

    Permalink
    Definition Classes
    Matcher

  40. def or(containWord: ContainWord): OrContainWord

    Permalink
    Definition Classes
    Matcher

  41. def or(haveWord: HaveWord): OrHaveWord

    Permalink
    Definition Classes
    Matcher

  42. def or[U, TC1[_]](rightMatcherFactory1: MatcherFactory1[U, TC1]): MatcherFactory1[PStream[A] with U, TC1]

    Permalink
    Definition Classes
    Matcher

  43. def or[U <: PStream[A]](rightMatcher: Matcher[U]): Matcher[U]

    Permalink
    Definition Classes
    Matcher

  44. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  45. def toString(): String

    Permalink
    Definition Classes
    Function1 → AnyRef → Any

  46. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  47. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  48. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Matcher[PStream[A]]

Inherited from (PStream[A]) ⇒ MatchResult

Inherited from AnyRef

Inherited from Any

Ungrouped