2021-07-13 20:22:54 +02:00
|
|
|
#include "fsfw/devicehandlers/ChildHandlerFDIR.h"
|
2016-06-15 23:48:41 +02:00
|
|
|
|
2020-10-12 18:18:41 +02:00
|
|
|
ChildHandlerFDIR::ChildHandlerFDIR(object_id_t owner,
|
|
|
|
|
object_id_t faultTreeParent, uint32_t recoveryCount) :
|
2018-07-12 16:29:32 +02:00
|
|
|
DeviceHandlerFailureIsolation(owner, faultTreeParent) {
|
2016-06-15 23:48:41 +02:00
|
|
|
recoveryCounter.setFailureThreshold(recoveryCount);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
ChildHandlerFDIR::~ChildHandlerFDIR() {
|
|
|
|
|
}
|
|
|
|
|
|
