Crate rtlola2solidity

Source
Expand description

Provides a formatter for the StreamIR to generate Solidity code Requires the streamir-lib to parse a specification into StreamIR. At the moment, only event-based streams are supported.

Modules§

interface
A module to define the interaction with the resulting contract

Structs§

SolidityFormatter
The main struct holding the required information for generating Rust code

Enums§

RequirementKey
Sorts the construct in the resulting files
SolidityFormatterError
An error returned when translating RTLola to Solidity
TriggerAction
Defined the action if a trigger is violated in the contract
TriggerFunctionMode
The function interface for trigger functions