[−][src]Module rtlola_frontend::ir
This module describes the intermediate representation of a specification.
Re-exports
pub use crate::ast::StreamAccessKind; |
pub use crate::ast::WindowOperation; |
pub use crate::ty::Activation; |
pub use crate::ty::FloatTy; |
pub use crate::ty::IntTy; |
pub use crate::ty::UIntTy; |
pub use crate::ty::ValueTy; |
Structs
Deadline | A deadline used inside the hyper-period of a |
Dependency | Contains information regarding the dependency between two streams which occurs due to a lookup expression. |
EventDrivenStream | Wrapper for output streams providing additional information specific to event-based streams. |
Expression | Represents an expression. |
InputStream | Represents an input stream in an RTLola specification. |
OutputStream | Represents an output stream in an RTLola specification. |
RTLolaIR | Intermediate representation of an RTLola specification. Contains all relevant information found in the underlying specification and is enriched with information collected in semantic analyses. |
Schedule | A schedule for the periodic streams. |
SlidingWindow | Represents an instance of a sliding window. |
TimeDrivenStream | Wrapper for output streams providing additional information specific to timedriven streams. |
Trigger | Wrapper for output streams that are actually triggers. Provides additional information specific to triggers. |
ValSize | The size of a specific value in bytes. |
WindowReference | Allows for referencing a window instance. |
Enums
ArithLogOp | Contains all arithmetical and logical operations. |
Constant | Represents a constant value of a certain kind. |
ExpressionKind | The expressions of the IR. |
MemorizationBound | This enum indicates how much memory is required to store a stream. |
Offset | Offset used in the lookup expression |
StreamReference | Allows for referencing a stream within the specification. |
Tracking | This data type provides information regarding how much data a stream needs to have access to from another stream. |
Type | Represents a value type. Stream types are no longer relevant. |
Traits
Stream | A trait for any kind of stream. |
Type Definitions
InputReference | Allows for referencing an input stream within the specification. |
OutputReference | Allows for referencing an output stream within the specification. |