Expand description
This module covers the Mid-Level Intermediate Representation (MIR) of an RTLola specification.
The RtLolaMir is specifically designed to allow convenient navigation and access to data. Hence, it is perfect for working with the specification rather than work on it.
§Most Notable Structs and Enums
- RtLolaMir is the root data structure representing the specification.
- OutputStream represents a single output stream. The data structure is enriched with information regarding streams accessing it or accessed by it and much more. For input streams confer InputStream.
- StreamReference used for referencing streams within the Mir.
- Spawn and Close contain all information regarding the parametrization, spawning and closing behavior of streams.
- Eval contains the information regarding the evaluation condition and the expression of the stream.
- Expression represents an expression. It contains its ExpressionKind and its type. The latter contains all information specific to a certain kind of expression such as sub-expressions of operators.
§See Also
- rtlola_frontend for an overview regarding different representations.
- rtlola_frontend::parse to obtain an RtLolaMir for a specification in form of a string or path to a specification file.
- rtlola_hir::hir::RtLolaHir for a data structs designed for working _on_it.
- RtLolaAst, which is the most basic and down-to-syntax data structure available for RTLola.
Structs§
- Close
- Information on the close behavior of a stream
- Deadline
- This struct represents a single deadline inside a Schedule.
- Dependency
Graph - Represents the dependency graph of the specification
- Discrete
Window - Represents an instance of a discrete window
- Eval
- Information on the evaluation behavior of a stream
- Eval
Clause - Information on an eval clause of a stream
- Event
Driven Stream - Wrapper for output streams providing additional information specific to event-based streams.
- Expression
- Represents an expression
- Input
Stream - Contains all information inherent to an input stream.
- Instance
Aggregation - Represents an instance of an instance aggregation
- Layer
- Represents a layer indicating the position when an expression can be evaluated
- MemBound
Mode - Represents the mode after the memory analysis
- Output
Stream - Contains all information relevant to every kind of output stream.
- Parameter
- Information of a parameter of a parametrized output stream
- RtLola
Hir - This struct constitutes the Mid-Level Intermediate Representation (MIR) of an RTLola specification.
- RtLola
Mir - This struct constitutes the Mid-Level Intermediate Representation (MIR) of an RTLola specification.
- RtLola
MirPrinter - A lightweight wrapper around the Mir to provide a Display implementation for Mir struct
T. - Schedule
- A schedule for the periodic streams.
- Sliding
Window - Represents an instance of a sliding window
- Spawn
- Information on the spawn behavior of a stream
- Stream
Layers - Wrapper to collect the layer when a stream instance is spawned and evaluated
- Tag
- An annotation of a stream.
- Time
Driven Stream - Wrapper for output streams providing additional information specific to time-driven streams.
- Trigger
- A trigger (represented by the output stream
output_reference) - ValSize
- The size of a specific value in bytes.
Enums§
- Activation
Condition - Representation of the activation condition of event-based entities such as streams or spawn conditions
- Arith
LogOp - Arithmetical and logical operations
- Constant
- Represents a constant value of a certain kind.
- Expression
Kind - This enum contains all possible kinds of expressions and their relevant information.
- FixedTy
- FloatTy
- Instance
Operation - A subset of the window operations that are suitable to be performed over a set of instances.
- Instance
Selection - Enum to indicate which instances are part of the aggregation
- IntTy
- Memorization
Bound - This enum indicates how much memory is required to store a stream.
- Offset
- Offset used in the lookup expression
- Origin
- Represents the origin of a stream lookup
- Output
Kind - Whether the given output stream is a regular named output or represents a trigger
- Pacing
Locality - Describes if the pacing is interpreted relatively to a dynamic spawn
- Pacing
Type - Represents an RTLola pacing type.
- Stream
Access Kind - Representation of the different stream accesses
- Stream
Reference - Allows for referencing a stream within the specification.
- Task
- This enum represents the different tasks that have to be executed periodically.
- Type
- Represents an RTLola value type. This does not including pacing information, for this refer to TimeDrivenStream and EventDrivenStream.
- UIntTy
- Window
Operation - The Ast representation of the different aggregation functions
- Window
Reference - Allows for referencing a window instance.
Traits§
Type Aliases§
- Input
Reference - Allows for referencing an input stream within the specification.
- Output
Reference - Allows for referencing an output stream within the specification.
- Trigger
Reference - A type alias for references to triggers.