ID of exported PNML model is hardcoded to "ClientsAndServers-PT-N0500P0"

Bug #1928770 reported by Nikolaj Jensen Ulrik
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
verifypn
New
Undecided
Unassigned

Bug Description

Relevant code snippet:
void PetriNet::toXML(std::ostream& out)
    {
        out << "<?xml version=\"1.0\"?>\n"
            << "<pnml xmlns=\"http://www.pnml.org/version-2009/grammar/pnml\">\n"
            << "<net id=\"ClientsAndServers-PT-N0500P0\" type=\"http://www.pnml.org/version-2009/grammar/ptnet\">\n";
        out << "<page id=\"page0\">\n"
            << "<name>\n"
            << "<text>DefaultPage</text>"
            << "</name>";

Seems like a silly error, making reduced nets less self-contained and readable.

description: updated
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.