[][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 Schedule.

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.