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