Module rtlola_hir::hir::selector

source ·
Expand description

This module covers a variety of selectors to extract different kinds of output streams from the High-Level Intermediate Representation (HIR) of an RTLola specification.

The entrypoint is the select method of the HIR which requires at least the Typed State.

Most Notable Structs and Enums

  • StreamSelector is the data structure representing the combination of one or multiple selectors.
  • FilterSelector represents the variants of filters a stream has.
  • PacingSelector allows to select streams based on their pacing type.
  • CloseSelector represents the variants of close conditions a stream has.
  • ParameterSelector allows to select different parameter properties of a stream.

See Also

  • RtLolaHir the High-Level Intermediate Representation (HIR) of an RTLola specification.

Structs

All
A selector struct to capture all streams of the hir.
Dynamic
A selector struct to capture all dynamically created streams of the hir.
Static
A selector struct to capture all statically created streams of the hir.
StreamSelector
A StreamSelector combines different selectors to extract specific stream classes from the Hir. It captures a subset of output streams, where each stream matches all selectors of the StreamSelector.

Enums

CloseSelector
An enum used to select different closing behaviours of a stream.
FilterSelector
An enum used to select different filter behaviours of a stream.
PacingSelector
An enum used to select different pacing behaviours.
ParameterSelector
An enum used to select different parameter configurations of a stream.

Traits

Selectable
Represents a selectable property of an output stream.