rtlola-interpreter-macros
| Crates.io | rtlola-interpreter-macros |
| lib.rs | rtlola-interpreter-macros |
| version | 0.1.0 |
| source | src |
| created_at | 2024-07-02 09:55:40.276895 |
| updated_at | 2024-07-02 09:55:40.276895 |
| description | Derive macros to help with integrating the rtlola interpreter |
| homepage | http://rtlola.org |
| repository | https://github.com/reactive-systems/RTLola-Interpreter |
| max_upload_size | |
| id | 1289422 |
| size | 75,358 |
Florian Kohn (FlorianKohn)
documentation
README
RTLola Interpreter Macros
RTLola is a runtime monitoring framework. It consists of a parser, analyzer, and interpreter for the RTLola specification language. This crate contains macros relevant for using your own type as an input to the interpreter.
For more information on the RTLola framework make sure to visit our Website: rtlola.org
Interpreter Macros
This crate contains macros relevant for using your own type as an input to the interpreter. I.e. it contains a derive macros that implement the InputMap or CompositFactory traits for a given type such that the monitor can parse an event from it.
Copyright
Copyright (C) CISPA - Helmholtz Center for Information Security 2024. Authors: Jan Baumeister, Florian Kohn, Stefan Oswald, Maximilian Schwenger. Based on original work at Universität des Saarlandes (C) 2020. Authors: Jan Baumeister, Florian Kohn, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, and Leander Tentrup.