PnmlParser.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-gspn/storage/gspn/GSPN.h"
 
#include "storm-gspn/storage/gspn/GspnBuilder.h"
 
namespace storm {
namespace parser {
 
/* Parses a pnml-file to a gspn.
   IMPORTANT: The names of places, transitions and arcs must differ from each other.
 */
class PnmlParser {
   public:
    storm::gspn::GSPN* parse(xercesc::DOMElement const* elementRoot);
 
   private:
    void traversePnmlElement(xercesc::DOMElement const* const element);
 
    void traverseNetOrPage(xercesc::DOMNode const* const node);
 
    void traversePlace(xercesc::DOMNode const* const node);
 
    void traverseTransition(xercesc::DOMNode const* const node);
 
    void traverseArc(xercesc::DOMNode const* const node);
 
    uint_fast64_t traverseInitialMarking(xercesc::DOMNode const* const node);
 
    int_fast64_t traverseCapacity(xercesc::DOMNode const* const node);
 
    uint_fast64_t traverseMultiplicity(xercesc::DOMNode const* const node);
 
    std::string traverseTransitionValue(xercesc::DOMNode const* const node);
 
    bool traverseTransitionType(xercesc::DOMNode const* const node);
 
    std::string traverseArcType(xercesc::DOMNode const* const node);
 
    uint_fast64_t traversePriority(xercesc::DOMNode const* const node);
 
    // the constructed gspn
    storm::gspn::GspnBuilder builder;
 
    // default value for initial tokens
    uint_fast64_t defaultNumberOfInitialTokens = 0;
 
    // default value for capacities
    int_fast64_t defaultCapacity = -1;
 
    // default value for the transition type (false == immediate transition)
    bool defaultTransitionType = false;
 
    // default value for the arc type
    std::string defaultArcType = "normal";
 
    // default multiplicity for arcs
    uint_fast64_t defaultMultiplicity = 1;
 
    // default priority for transitions
    uint_fast64_t defaultPriority = 0;
};
}  // namespace parser
}  // namespace storm
 
#endif