← Documentation
ADS-IDAC Engine 5.0.0
KBExpectedAlarmStateUnit.cpp
Go to the documentation of this file.
1// KBExpectedAlarmStateUnit.cpp: implementation of the KBExpectedAlarmStateUnit class.
2//
4
6#include "../Global/TermConversions.h"
7#include "../Branch/BranchRecord.h"
8#include <boost/serialization/export.hpp>
9#include "../Global/SimulationContext.h"
10#include <boost/archive/binary_oarchive.hpp>
11#include <boost/archive/binary_iarchive.hpp>
12BOOST_CLASS_EXPORT_IMPLEMENT(KBExpectedAlarmStateUnit)
13using namespace std;
14
15
17// Construction/Destruction
19
21{
24}
25
27{
28
29}
34 fin >> expected_state;
35}
36int KBExpectedAlarmStateUnit::checkForMatch(string _alarm_name, int _alarm_state){
37 string str = this->getInfoName();
38 int n_return = 0;
39 if(_alarm_name.compare(KBElement::getInfoName()) == 0){
40 if (_alarm_state == expected_state){
42 }
43 else{
45 }
46 }
47 else{
48 n_return = 0;
49 }
50 return n_return;
51}
56}
58 fout << "KBExpectedAlarmStateUnit " << expected_state << '\n';
59 this->saveKBElementToFile(fout);
61}
63 string str;
64 fin >> str >> expected_state;
65 if (str != "KBExpectedAlarmStateUnit"){
66 ofstream fout("err messages.txt", ios::app);
67 cout << "KBExpectedAlarmStateUnit::retrieveKBExpectedAlarmStateUnitFromFile error in previous function" << endl;
68 fout << r5pars_.timesno << " KBExpectedAlarmStateUnit::retrieveKBExpectedAlarmStateUnitFromFile error in previous function" << '\n';
69 fout.close();
70 r5pars_.sim_err = true;
71 g_sim.Branch_center.setTempESMessage("KBExpectedAlarmStateUnit::retrieveKBExpectedAlarmStateUnitFromFile Prior error");
73 return;
74 }
77}
SimulationContext g_sim
Global simulation context: the single instance, defined in SimulationContext.cpp.
void setTempTypeOfConsequence(Consequence)
Stores the consequence of the end state the running sequence will get.
void setTempESMessage(std::string)
Stores the description of the end state the running sequence will get if it is terminated (set by mod...
void saveExpectationElementToFile(std::ofstream &)
void retrieveExpectationElementFromFile(std::ifstream &)
void copyExpectationElement(ExpectationElement &)
void readInfoFromFile(std::ifstream &)
Definition: KBElement.cpp:27
void retrieveKBElementFromFile(std::ifstream &)
Definition: KBElement.cpp:36
void saveKBElementToFile(std::ofstream &)
Definition: KBElement.cpp:33
void copyKBElement(KBElement &)
Definition: KBElement.cpp:30
std::string getInfoName()
Definition: KBElement.cpp:26
void readInfoFromFile(std::ifstream &)
int checkForMatch(std::string, int)
void copyKBExpectedAlarmStateUnit(KBExpectedAlarmStateUnit &)
void retrieveKBExpectedAlarmStateUnitFromFile(std::ifstream &)
void saveKBExpectedAlarmStateUnitToFile(std::ofstream &)
struct @0 r5pars_
constexpr int AlarmState
Definition: SimConstants.h:284
constexpr int Failed
Definition: SimConstants.h:103
constexpr int Succeed
Definition: SimConstants.h:104
constexpr int None
Definition: SimConstants.h:75
BranchRecord Branch_center
Dynamic event tree state.