#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: