ModelAcquisition.hh

Go to the documentation of this file.

#ifndef  __DIADES__ALTARICA__MODEL__ACQUISITION__HH
#define  __DIADES__ALTARICA__MODEL__ACQUISITION__HH

#include<string>
#include<arsyntax/altarica-tree.h>
#include<diades/utils/Log.hh>
#include<diades/utils/Exceptions.hh>
#include<diades/altarica/AltaricaModel.hh>

using namespace std;

namespace Diades
{
  namespace Altarica
  {

        typedef ::altarica_tree AltaricaTree;
        using Diades::Utils::FunctionException;

        void getModel(AltaricaTree * tree, AltaricaModel &  model);

        void getConstant(AltaricaTree * tree, AltaricaModel &  model);
        
        void getDomain(AltaricaTree * tree, AltaricaModel  &  model); 

        void getNodeDeclStep1(AltaricaTree * tree,  AltaricaModel & model); 
        void getNodeDeclStep2(AltaricaTree * tree,  AltaricaModel & model); 


        void getIdentifier(AltaricaTree * tree, Identifier & id);
        
        
        const Domain &  getDomainContent(AltaricaTree * tree, AltaricaModel  & model,
                                                                         const Identifier & domainName);



        void getRange(AltaricaTree * tree,int & min, int & max, NodeDecl & node);



        void getSymbolSet(AltaricaTree * tree,  AltaricaModel & model, ValueEnumeration & symbols);



        void getAttributes(AltaricaTree *  attributes, set<Identifier> & newAttributes);


        void getNodeDeclParametersDecl(AltaricaTree * nodeField, NodeDecl & nodeDecl);
        
        void getNodeDeclVariablesDecl(AltaricaTree * nodeField,NodeDecl & nodeDecl);

        
        void getNodeDeclEventsDecl(AltaricaTree * eventDeclNode, NodeDecl &  nodeDecl);
        
        void getSubNodeDeclSet(AltaricaTree * nodeField,NodeDecl & nodeDecl);


        void getNodeDeclAssertionsDef(AltaricaTree * nodeField,NodeDecl & nodeDecl);



        void getNodeDeclTransitionsDef(AltaricaTree * transitionsDefNode,NodeDecl & nodeDecl);


        
        void getNodeDeclSynchronizationDef(AltaricaTree * synchronisationsNodeDecl,NodeDecl & nodeDecl);

        

        void getNodeDeclInitDecl(AltaricaTree * nodeField,NodeDecl &  nodeDecl);
        

        void getNodeDeclParamSetDecl(AltaricaTree * nodeField,NodeDecl &  nodeDecl);
        

        void getIdList(AltaricaTree * idListNodeDecl, set<Identifier> & list);



        void getNodeDeclVariablesDeclPerType(AltaricaTree * varDecl, NodeDecl::VarType type,
                                             NodeDecl &  nodeDecl);





        void  getNodeDeclEventDeclDagList(AltaricaTree * eventDagListNodeDecl,NodeDecl & nodeDecl,
                                          list<EventDecl::Reference> & events);




        void getEventDeclDag(AltaricaTree * eventDagNodeDecl,NodeDecl & nodeDecl,
                             list<EventDecl::Reference> & events);




        void getEventDeclLt(AltaricaTree * eventLtNode,NodeDecl & nodeDecl, 
                            list<EventDecl::Reference> & events);



        void getEventDeclGt(AltaricaTree * eventLtNode,NodeDecl & nodeDecl, 
                            list<EventDecl::Reference> & events);




        void getSubNodeDecl(AltaricaTree * nodeField,NodeDecl & nodeDecl);



        void  getTransitionTgt(AltaricaTree * transitionTgtNode ,
                               Transition & transition,
                               NodeDecl & nodeDecl);




        void getNodeDeclSyncVector(AltaricaTree * vectorNode,
                                   NodeDecl & nodeDecl);





        void getNodeDeclEventDeclInstance(AltaricaTree * eventInstanceNode, 
                                          list<Identifier> & path);





        const Assignment & getAssignment(AltaricaTree * assignmentNode, 
                                         NodeDecl & nodeDecl);
  
        


        







        

        string getLabelType(unsigned type);


        void altaricaNodeCheck(AltaricaTree * parent, AltaricaTree * node, unsigned type, const string & function) throw();

        Diades::Utils::Logger parserLogger();
        
        Diades::Utils::Log parserLog(const char * msg);


        Diades::Utils::Log parserLogDebug(const char * msg);




        
  
 





  







        
        
  

  
  

  








  
  



  
        void logMissingNode(AltaricaTree * syntaxicalNodeDecl);


        void logUnexpectedNode(AltaricaTree * syntaxicalNode);


        void logUnexpectedNode(AltaricaTree * syntaxicalNode, const string & expected);


        void logLine(AltaricaTree * syntaxicalNode);


        string seeLine(AltaricaTree * tree);

 
  };
};


#endif