Runtime monitor generator based on HPL properties
Project description
HPL Runtime Monitor Generator
This package provides a runtime monitor generator for HPL properties.
Installing
Installing a pre-packaged release:
pip install hpl-rv-gen
Installing from source:
git clone https://github.com/git-afsantos/hpl-rv-gen.git
cd hpl-rv-gen
pip install -e .
Usage
When used as a library, you can generate Python code for a runtime monitor class with a few simple steps. For example:
from hpl.parser import property_parser
from hplrv.rendering import TemplateRenderer
p = property_parser()
r = TemplateRenderer()
input_property = 'globally: no (/a or /b)'
hpl_property = p.parse(input_property)
code = r.render_monitor(hpl_property)
print(code)
Bugs, Questions and Support
Please use the issue tracker.
Contributing
See CONTRIBUTING.
Acknowledgment
Until March 2021, this work was financed by the ERDF – European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia within project PTDC/CCI-INF/29583/2017 (POCI-01-0145-FEDER-029583).
Project details
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Hashes for hpl_rv_gen-0.2.0-py2-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 581db750a574398c9c8e16a8a72476d37eb2d63bb3d5d8d968c8b709e6cf8a03 |
|
MD5 | 425185f1cda191d02d5d30b3152927c9 |
|
BLAKE2b-256 | 3a5c5e1911aee9bbe4681475094b98ed4a33e05b080efaff22d221e406810707 |