Browse Source

greatSPN parser fixes - part I

tempestpy_adaptions
Sebastian Junges 8 years ago
parent
commit
bd668dd237
  1. 10
      src/storm-gspn/parser/GreatSpnEditorProjectParser.cpp

10
src/storm-gspn/parser/GreatSpnEditorProjectParser.cpp

@ -13,8 +13,8 @@ namespace storm {
namespace parser { namespace parser {
storm::gspn::GSPN* GreatSpnEditorProjectParser::parse(xercesc::DOMElement const* elementRoot) { storm::gspn::GSPN* GreatSpnEditorProjectParser::parse(xercesc::DOMElement const* elementRoot) {
if (storm::adapters::XMLtoString(elementRoot->getTagName()) == "project") { if (storm::adapters::XMLtoString(elementRoot->getTagName()) == "project") {
GreatSpnEditorProjectParser p;
return p.parse(elementRoot);
traverseProjectElement(elementRoot);
return builder.buildGspn();
} else { } else {
// If the top-level node is not a "pnml" or "" node, then throw an exception. // If the top-level node is not a "pnml" or "" node, then throw an exception.
STORM_LOG_THROW(false, storm::exceptions::UnexpectedException, "Failed to identify the root element.\n"); STORM_LOG_THROW(false, storm::exceptions::UnexpectedException, "Failed to identify the root element.\n");
@ -311,11 +311,11 @@ namespace storm {
if (kind.compare("INPUT") == 0) { if (kind.compare("INPUT") == 0) {
builder.addInputArc(head, tail, mult);
builder.addInputArc(tail, head, mult);
} else if (kind.compare("INHIBITOR") == 0) { } else if (kind.compare("INHIBITOR") == 0) {
builder.addInhibitionArc(head, tail, mult);
builder.addInhibitionArc(tail, head, mult);
} else if (kind.compare("OUTPUT") == 0) { } else if (kind.compare("OUTPUT") == 0) {
builder.addOutputArc(head, tail, mult);
builder.addOutputArc(tail, head, mult);
} else { } else {
// TODO error! // TODO error!
} }

Loading…
Cancel
Save