Crate rtlola_streamir 

A common library for bringing the RTLolaMir, the output of the Frontend, into the StreamIR representation. It offers functionality for optimizing the StreamIR through rewriting rules and a framework for formatting the StreamIR in a target language.

Modules

formatter

A framework for automatically translating the StreamIR to a target language.

ir

The internal representation of the StreamIR.

rewrite_rules

A framework for optimizing the StreamIR through rewriting rules Applies the rewriting rules alternating until no rule does any changes anymore.

Macros

arg_text

Returns the text representation of the reference

arg_ty

Mapping of argument names to references

function_names

Allows for easy definition of function names based on streams and windows

Structs

FrontendConfig

Represents the configuration for the whole frontend.

Handler

A handler is responsible for emitting warnings and errors

ParserConfig

The configuration of the parser.

Enums

MemoryBoundMode

The way the memory bound is computed.

ParseError

An error that can happen when parsing a specification into the StreamIR

Traits

ParserConfigExt

Extension to provide additional methods to the ParserConfig.

Functions

optimize

Applies a given list of rewriting rules to the StreamIR.

optimize_all

Applies all general optimizations to the given StreamIR.

parse

Parse a specification directly into the StreamIR representation.

translate

Uses the given formatter for translating the StreamIR to the target language.