~cpn-gui/tapaal/cpn-editor

« back to all changes in this revision

Viewing changes to src/pipe/gui/ExportBatchDialog.java

  • Committer: mglavi14 at aau
  • Date: 2019-06-26 12:57:59 UTC
  • Revision ID: mglavi14@student.aau.dk-20190626125759-57x50hyvrr11pijy
Added query to network and prints temp query as well

Show diffs side-by-side

added added

removed removed

Lines of Context:
524
524
                        LoadedModel loadedModel = loader.load(file);
525
525
                        exportPNML(path, loadedModel);
526
526
                        if(!uniqueQueryNames.isSelected())
527
 
                                Export.toQueryXML(loadedModel.network(), path.toString() + "/query.xml", loadedModel.queries());
 
527
                                Export.toQueryXML(loadedModel.network(), path.toString() + "/query.xml", loadedModel.queries(), false);
528
528
                        else {
529
 
                                Export.toQueryXML(loadedModel.network(), path.toString() + "/query.xml", renameQueries(file.getName(), loadedModel.queries()));
 
529
                                Export.toQueryXML(loadedModel.network(), path.toString() + "/query.xml", renameQueries(file.getName(), loadedModel.queries()), false);
530
530
                        }
531
531
        }
532
532