GreatSpnEditorProjectParser.h

Go to the documentation of this file.

#pragma once
 
#include "storm-config.h"
#ifdef STORM_HAVE_XERCES
#include <string>
 
#include <xercesc/parsers/XercesDOMParser.hpp>
#include <xercesc/util/XMLString.hpp>
 
#include "storm-parsers/parser/ExpressionParser.h"
#include "storm/storage/expressions/ExpressionManager.h"
 
#include "storm-gspn/storage/gspn/GSPN.h"
 
#include "storm-gspn/storage/gspn/GspnBuilder.h"
 
namespace storm {
namespace parser {
class GreatSpnEditorProjectParser {
   public:
    GreatSpnEditorProjectParser(std::string const& constantDefinitionString);
 
    storm::gspn::GSPN* parse(xercesc::DOMElement const* elementRoot);
 
   private:
    void traverseProjectElement(xercesc::DOMNode const* const node);
 
    void traverseGspnElement(xercesc::DOMNode const* const node);
    void traverseNodesElement(xercesc::DOMNode const* const node);
    void traverseEdgesElement(xercesc::DOMNode const* const node);
 
    void traverseConstantOrTemplateElement(xercesc::DOMNode const* const node);
    void traversePlaceElement(xercesc::DOMNode const* const node);
    void traverseTransitionElement(xercesc::DOMNode const* const node);
    void traverseArcElement(xercesc::DOMNode const* const node);
 
    int64_t parseInt(std::string str);
    double parseReal(std::string str);
 
    // the constructed gspn
    storm::gspn::GspnBuilder builder;
    std::shared_ptr<storm::expressions::ExpressionManager> manager;
    std::shared_ptr<storm::parser::ExpressionParser> expressionParser;
    std::unordered_map<std::string, std::string> constantDefinitions;
    std::map<storm::expressions::Variable, storm::expressions::Expression> constantsSubstitution;
};
}  // namespace parser
}  // namespace storm
#endif