KBExpectedSupportSystemStateUnit.h

Go to the documentation of this file.

#include <iostream>
#include <typeinfo>
#ifndef KBEXPECTEDSUPPORTSYSTEMSTATEUNIT_H
#define KBEXPECTEDSUPPORTSYSTEMSTATEUNIT_H
 
#include "KBElement.h"
#include "../Procedure/ExpectationElement.h"
#include <boost/serialization/base_object.hpp>
#include <boost/archive/text_oarchive.hpp>
#include <boost/archive/text_iarchive.hpp>
#include <boost/serialization/export.hpp>
 
 
class KBExpectedSupportSystemStateUnit :
    public KBElement,
    public ExpectationElement
{
 public:
    KBExpectedSupportSystemStateUnit();
    virtual ~KBExpectedSupportSystemStateUnit();
    void setExpectedState(int);
    void readInfoFromFile(std::ifstream &);
    int getExpectedState();
    int checkForMatch(std::string , int );
    void copyKBExpectedSupportSystemStateUnit(KBExpectedSupportSystemStateUnit &);
    void saveKBExpectedSupportSystemStateUnitToFile(std::ofstream &);
    void retrieveKBExpectedSupportSystemStateUnitFromFile(std::ifstream &);
    // Serialization using Boost
    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 classes' data members
        ar & boost::serialization::base_object<KBElement>(*this);
        ar & boost::serialization::base_object<ExpectationElement>(*this);
        // Serialize specific data members of this class
        ar & expected_state;
    }
 private:
  int expected_state;
 
};
 
 
BOOST_CLASS_EXPORT_KEY(KBExpectedSupportSystemStateUnit)
#endif //KBEXPECTEDSUPPORTSYSTEMSTATEUNIT_H