Instantiation.cpp

Go to the documentation of this file.

// Instantiation.cpp: implementation of the Instantiation class.
//
 
#include "Instantiation.h"
#include "ReasonMachine.h"
using namespace std;
 
// Construction/Destruction
 
Instantiation::Instantiation()
{
    this->m_label_pt = NULL;
    this->m_indefinite_instance_pt = NULL;
    this->m_ID_indefinite = "";
    this->m_ID_lable_group_name = "";
}
 
Instantiation::~Instantiation()
{
/*
    Label * m_label_pt;
    ConceptComposedUnit * m_indefinite_instance_pt;
    vector<ConceptComposedUnit *> m_instance_list;
    
    vector<string> m_ID_instance_list;
    string m_ID_indefinite;
    string m_ID_lable;
*/
    this->m_instance_list.clear();
    this->m_ID_instance_list.clear();
}
 
void Instantiation::CopyInfoFromAnotherInstantiationGroup(Instantiation *_inst_pt)
{//
    vector<string>::iterator str_itr;
    string ID;
    this->m_ID_indefinite = _inst_pt->m_ID_indefinite;
    this->m_ID_lable_group_name = _inst_pt->m_ID_lable_group_name;
    for(str_itr = _inst_pt->m_ID_instance_list.begin(); str_itr != _inst_pt->m_ID_instance_list.end(); str_itr++)
    {
        ID = *str_itr;
        this->m_ID_instance_list.push_back(ID);
    }
}
 
void Instantiation::ConvertInstantiationInfoToString()
{
    vector<ConceptComposedUnit *>::iterator CC_itr;
    string ID;
    this->m_ID_indefinite = this->m_indefinite_instance_pt->m_ID;
    if(this->m_ID_instance_list.size() == 0)
    {
        for(CC_itr = this->m_instance_list.begin(); CC_itr != this->m_instance_list.end(); CC_itr++)
        {
            ID = (*CC_itr)->m_ID;
            this->m_ID_instance_list.push_back(ID);
        }
    }
}
 
void Instantiation::BuildConnectionsForThisInstantiation(void * _pt)
{
    ReasonMachine * RM_pt;
    RM_pt = (ReasonMachine *)_pt;
/*  
    vector<string> m_ID_instance_list;
    string m_ID_indefinite;
    string m_ID_lable;
*/
    //ConceptComposedUnit * m_indefinite_instance_pt;
    this->m_indefinite_instance_pt =(ConceptComposedUnit *)(RM_pt->m_Concept_Base->FindConceptByID(this->m_ID_indefinite));
    if(this->m_indefinite_instance_pt == NULL)
    {this->ErrorMessage("could not find the indefinite concept " + this->m_ID_indefinite); return;}
 
    //vector<ConceptComposedUnit *> m_instance_list;
    vector<string>::iterator str_itr;
    ConceptComposedUnit * CC_pt;
    for(str_itr = this->m_ID_instance_list.begin(); str_itr != this->m_ID_instance_list.end(); str_itr++)
    {
        CC_pt = (ConceptComposedUnit *)(RM_pt->m_Concept_Base->FindConceptByID(*str_itr));
        if(CC_pt == NULL)
        {this->ErrorMessage("could not find the concept " + *str_itr); return;}
        this->m_instance_list.push_back(CC_pt);
    }
 
    //Label * m_label_pt;
    //Inst_pt->m_label_pt = this->CheckExistanceOfLabelGroupByName(name);
    this->m_label_pt = RM_pt->m_IB->CheckExistanceOfLabelGroupByName(this->m_ID_lable_group_name);
    if(this->m_label_pt == NULL)
    {this->ErrorMessage("could not find the label group " + this->m_ID_lable_group_name); return;}
}
 
void Instantiation::ErrorMessage(string str)
{
    cout << r5pars_.timesno << "  " << str << " in Instantiation.cpp" <<'\n';
    ofstream fout("err messages.txt", ios::app);
    fout << r5pars_.timesno << "  " << str << '\n';
    fout.close();
    //r5pars_.terminateall = true;
}