#include <SafetyProperties.hpp>
|
| | SafetyProperties () |
| |
| virtual | ~SafetyProperties () |
| |
| void | addEventToLevel (int32_t levelId, uint32_t event, int32_t nextLevelId, EventType type) |
| |
| void | addEventToLevelAndAbove (int32_t levelId, uint32_t event, int32_t nextLevelId, EventType type) |
| |
| void | addEventToLevelAndBelow (int32_t levelId, uint32_t event, int32_t nextLevelId, EventType type) |
| |
| void | addEventToAllLevelsBetween (int32_t lowerLevelId, int32_t upperLevelId, uint32_t event, int32_t nextLevelId, EventType type) |
| |
| SafetyLevel * | entryLevelPtr () |
| |
| bool | verify () |
| |
| eeros::safety::SafetyProperties::SafetyProperties |
( |
| ) |
|
| eeros::safety::SafetyProperties::~SafetyProperties |
( |
| ) |
|
|
virtual |
| void eeros::safety::SafetyProperties::addEventToAllLevelsBetween |
( |
int32_t |
lowerLevelId, |
|
|
int32_t |
upperLevelId, |
|
|
uint32_t |
event, |
|
|
int32_t |
nextLevelId, |
|
|
EventType |
type |
|
) |
| |
| void eeros::safety::SafetyProperties::addEventToLevel |
( |
int32_t |
levelId, |
|
|
uint32_t |
event, |
|
|
int32_t |
nextLevelId, |
|
|
EventType |
type |
|
) |
| |
| void eeros::safety::SafetyProperties::addEventToLevelAndAbove |
( |
int32_t |
levelId, |
|
|
uint32_t |
event, |
|
|
int32_t |
nextLevelId, |
|
|
EventType |
type |
|
) |
| |
| void eeros::safety::SafetyProperties::addEventToLevelAndBelow |
( |
int32_t |
levelId, |
|
|
uint32_t |
event, |
|
|
int32_t |
nextLevelId, |
|
|
EventType |
type |
|
) |
| |
| SafetyLevel * eeros::safety::SafetyProperties::entryLevelPtr |
( |
| ) |
|
| SafetyLevel & eeros::safety::SafetyProperties::level |
( |
uint32_t |
levelId | ) |
|
|
protectedvirtual |
| bool eeros::safety::SafetyProperties::verify |
( |
| ) |
|
| uint32_t eeros::safety::SafetyProperties::entryLevel |
|
protected |
| std::vector<SafetyLevel> eeros::safety::SafetyProperties::levels |
|
protected |
The documentation for this class was generated from the following files: