#interpreter #monitoring #verification

rtlola-interpreter-macros

提供宏,帮助整合rtlola解释器

1个不稳定版本

0.1.0 2024年7月2日

1258过程宏

Download history 158/week @ 2024-07-01

158 每月下载量
用于 rtlola-io-plugins

Apache-2.0

490KB
10K SLoC

RTLola logo

RTLola 解释器宏

Crate API License

RTLola 是一个运行时监控框架。它由RTLola规范语言的解析器、分析器和解释器组成。这个包包含与将你的自定义类型用作解释器输入相关的宏。

有关RTLola框架的更多信息,请确保访问我们的网站:rtlola.org

解释器宏

这个包包含与将你的自定义类型用作解释器输入相关的宏。例如,它包含一个派生宏,它为给定类型实现了InputMapCompositFactory特质,以便监控器可以从它解析事件。

版权

版权所有 (C) CISPA - 海尔姆霍兹信息安全中心 2024。作者:Jan Baumeister,Florian Kohn,Stefan Oswald,Maximilian Schwenger。基于萨尔大学(C)2020年的原始工作。作者:Jan Baumeister,Florian Kohn,Malte Schledjewski,Maximilian Schwenger,Marvin Stenger,和Leander Tentrup。

依赖项

~13–23MB
~325K SLoC