Package

es.ucm.fdi.sscheck.prop.tl

flink

Permalink

package flink

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

Type Members

  1. trait DataStreamTLProperty extends AnyRef

    Permalink
  2. case class FlinkFormula[T](formula: Formula[T], discretizer: StreamDiscretizer) extends Product with Serializable

    Permalink
  3. case class FlinkNextFormula[T](formula: NextFormula[T]) extends Product with Serializable

    Permalink
  4. case class Parallelism(numPartitions: Int) extends Product with Serializable

    Permalink

    Used to specify a default parallelism for Flink

  5. trait StreamDiscretizer extends AnyRef

    Permalink
  6. class TestCaseContext[In, Out] extends Serializable

    Permalink

    Runs a test case by 1.

    Runs a test case by 1. Exercise the test case: generate an input DataStream from testCase and an output DataStream applying testSubject to the input, and persist both streams 2. Evaluate the test case exercise: read the persisted input and output streams, and evaluate formulaNext on a discretization of them

  7. case class TimedElement[T](timestamp: Long, value: T) extends Product with Serializable

    Permalink

    timestamp

    milliseconds since epoch

  8. case class TimedWindow[T](timestamp: Long, data: DataSet[TimedElement[T]]) extends Product with Serializable

    Permalink

    Represents a time window with timed values.

    Represents a time window with timed values. Note timestamp can be smaller than the earlier element in data, for example in a tumbling window where a new event starts at a regular rate, independently of the actual elements in the window

    timestamp

    milliseconds since epoch for the start of the window

Value Members

  1. object DataStreamTLProperty

    Permalink
  2. object FlinkFormula extends Serializable

    Permalink
  3. object TestCaseContext extends Serializable

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped