Trait/Object

es.ucm.fdi.sscheck.prop.tl.flink

DataStreamTLProperty

Related Docs: object DataStreamTLProperty | package flink

Permalink

trait DataStreamTLProperty extends AnyRef

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

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. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  5. def buildFreshExecutionEnvironment(): ExecutionEnvironment

    Permalink

    returns

    a newly created ExecutionEnvironment, for which no data set or action has been defined, and that it's not started

  6. def buildFreshStreamExecutionEnvironment(): StreamExecutionEnvironment

    Permalink

    If override the returned environment should have event time set.

    If override the returned environment should have event time set.

    returns

    a newly created StreamExecutionEnvironment, for which no stream or action has been defined, and that it's not started.

  7. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  8. def defaultParallelism: Parallelism

    Permalink

    Override for custom configuration

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

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

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

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  12. def forAllDataStream[In, Out](generator: TSGen[In])(testSubject: (DataStream[In]) ⇒ DataStream[Out])(formula: FlinkFormula[Letter[In, Out]])(implicit arg0: TypeInformation[In], arg1: TypeInformation[Out], pp1: (TSGen[In]) ⇒ Pretty): Prop

    Permalink

    returns

    a ScalaCheck property that is executed by:

    • generating an input DataStream: we generate a sequence of TimedElement with generator, and then we build a DataStream[In] from it by using the timestamp of each element as its **event time**, and then discarding the timestamp. Elements in the generated sequence are expected to be sorted by timestamp in ascending order.
    • generating an output DataStream applying testSubject on the input DataStream
    • checking formula.formula on a discretization of those DataStream created by formula.discretizer The property is satisfied iff all the test cases satisfy the formula. A new streaming context is created for each test case to isolate its execution. Note: this assumes a stream execution environment configured with event time, which is used to get more deterministic behaviour, and to place the generated elements on the stream.
  13. final def getClass(): Class[_]

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

    Permalink
    Definition Classes
    AnyRef → Any
  15. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  16. def maxNumberLettersPerTestCase: Int

    Permalink

    Override for custom configuration

    Override for custom configuration

    Maximum number of letters (i.e., tumbling windows) that the test case will wait for, 100 by default

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

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

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

    Permalink
    Definition Classes
    AnyRef
  20. def showNSampleElementsOnEvaluation: Int

    Permalink

    How many elements of each window to print during test case evaluation

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  23. final def wait(): Unit

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

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

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

Inherited from AnyRef

Inherited from Any

Ungrouped