DisplaySupportSystemState.h

Go to the documentation of this file.

#include <typeinfo>
#ifndef DISPLAYSUPPORTSYSTEMSTATE_H_
#define DISPLAYSUPPORTSYSTEMSTATE_H_
 
#include <boost/serialization/base_object.hpp>
#include <boost/archive/text_iarchive.hpp>
#include <boost/archive/text_oarchive.hpp>
#include <iostream>
#include <string>
#include "SystemDisplay.h"
#include <boost/serialization/export.hpp>
 
class DisplaySupportSystemState : public SystemDisplay {
public:
    DisplaySupportSystemState();
    virtual ~DisplaySupportSystemState();
    int getDisplayedSupportSystemOperationalState() const;
    void setDisplayedSupportSystemOperationalState(int displayed_support_system_operational_state);
    int getDisplayedSupportSystemOperationalStateWhenFail() const;
    void setDisplayedSupportSystemOperationalStateWhenFail(int displayed_support_system_operational_state_when_fail);
    void readInfoFromFile(std::ifstream & fin);
    void updateDisplayedSupportSystemOperationalState(double failure_probability);
    void copyDisplaySupportSystemState(DisplaySupportSystemState &);
    void saveDisplaySupportSystemStateToFile(std::ofstream &);
    void retrieveDisplaySupportSystemStateFromFile(std::ifstream &);
    friend class boost::serialization::access;
    template<class Archive>
    void serialize(Archive &ar, const unsigned int version) {
//     std::cout << "Serializing class: " << typeid(*this).name() << std::endl;
        // Serialize base class if it contains relevant state
        ar & boost::serialization::base_object<SystemDisplay>(*this);
        ar & displayed_support_system_operational_state;
    }
 
private:
    int displayed_support_system_operational_state;
    int displayed_support_system_operational_state_when_fail;
};
 
 
BOOST_CLASS_EXPORT_KEY(DisplaySupportSystemState)
#endif /* DISPLAYSUPPORTSYSTEMSTATE_H_ */