#include <SafetyProperties.hpp>
|
| SafetyProperties () |
|
virtual | ~SafetyProperties () |
|
void | addEventToLevel (SafetyLevel &level, SafetyEvent event, SafetyLevel &nextLevel, EventType type) |
|
void | addEventToLevelAndAbove (SafetyLevel &level, SafetyEvent event, SafetyLevel &nextLevel, EventType type) |
|
void | addEventToLevelAndBelow (SafetyLevel &level, SafetyEvent event, SafetyLevel &nextLevel, EventType type) |
|
void | addEventToAllLevelsBetween (SafetyLevel &lowerLevel, SafetyLevel &upperLevel, SafetyEvent event, SafetyLevel &nextLevel, EventType type) |
|
SafetyLevel * | getEntryLevel () |
|
bool | verify () |
|
void | addLevel (SafetyLevel &level) |
|
eeros::safety::SafetyProperties::SafetyProperties |
( |
| ) |
|
eeros::safety::SafetyProperties::~SafetyProperties |
( |
| ) |
|
|
virtual |
void eeros::safety::SafetyProperties::addLevel |
( |
SafetyLevel & |
level | ) |
|
SafetyLevel * eeros::safety::SafetyProperties::getEntryLevel |
( |
| ) |
|
void eeros::safety::SafetyProperties::setEntryLevel |
( |
SafetyLevel & |
entryLevel | ) |
|
|
protected |
bool eeros::safety::SafetyProperties::verify |
( |
| ) |
|
std::function<void (SafetyContext*)> eeros::safety::SafetyProperties::exitFunction |
|
protected |
std::vector<SafetyLevel*> eeros::safety::SafetyProperties::levels |
|
protected |
The documentation for this class was generated from the following files: