← Back to branch summary

~tapaal-contributor/tapaal/tapn-ending-for-files-686545

« back to all changes in this revision

Viewing changes to src/pipe/gui/widgets/CTLQueryDialog.java

  • Committer: srba.jiri at gmail
  • Date: 2018-07-06 10:33:18 UTC
  • mfrom: (952.5.187 guirefactor)
  • Revision ID: srba.jiri@gmail.com-20180706103318-u96e2a9ekuqtq08m
merged in branch lp:tapaal/anniversary-next10 refactoring the GUI

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/widgets/CTLQueryDialog.java
44
44
import pipe.dataLayer.NetWriter;
45
45
import pipe.dataLayer.TAPNQuery;
46
46
import pipe.dataLayer.Template;
47
 
import pipe.dataLayer.TAPNQuery.AlgorithmOption;
48
47
import pipe.dataLayer.TAPNQuery.SearchOption;
49
48
import pipe.dataLayer.TAPNQuery.TraceOption;
50
49
import pipe.gui.CreateGui;
105
104
import dk.aau.cs.verification.UPPAAL.UppaalExporter;
106
105
import dk.aau.cs.verification.VerifyTAPN.VerifyPNExporter;
107
106
import dk.aau.cs.verification.VerifyTAPN.VerifyTAPNExporter;
 
107
import pipe.gui.widgets.filebrowser.FileBrowser;
108
108
 
109
109
public class CTLQueryDialog extends JPanel {
110
110
 
2366
2366
                                        if (checkIfSomeReductionOption()) {
2367
2367
                                                querySaved = true;
2368
2368
                                                // Now if a query is saved, the net is marked as modified
2369
 
                                                CreateGui.getView().setNetChanged(true);
 
2369
                                                CreateGui.getDrawingSurface().setNetChanged(true);
2370
2370
                                                exit();
2371
2371
                                        }
2372
2372
                                }
2376
2376
                                        if (checkIfSomeReductionOption()) {
2377
2377
                                                querySaved = true;
2378
2378
                                                // Now if a query is saved and verified, the net is marked as modified
2379
 
                                                CreateGui.getView().setNetChanged(true);
 
2379
                                                CreateGui.getDrawingSurface().setNetChanged(true);
2380
2380
                                                exit();
2381
2381
                                                TAPNQuery query = getQuery();
2382
2382
 
2400
2400
                                        String xmlFile = null, queryFile = null;
2401
2401
                                        ReductionOption reduction = getReductionOption();
2402
2402
                                        try {
2403
 
                                                FileBrowser browser = new FileBrowser(reduction == ReductionOption.VerifyTAPN || reduction == ReductionOption.VerifyTAPNdiscreteVerification || reduction == ReductionOption.VerifyPN ? "Verifytapn XML" : "Uppaal XML",        "xml", xmlFile);
 
2403
                                                FileBrowser browser = FileBrowser.constructor(reduction == ReductionOption.VerifyTAPN || reduction == ReductionOption.VerifyTAPNdiscreteVerification || reduction == ReductionOption.VerifyPN ? "Verifytapn XML" : "Uppaal XML",        "xml", xmlFile);
2404
2404
                                                xmlFile = browser.saveFile();
2405
2405
                                                if (xmlFile != null) {
2406
2406
                                                        String[] a = xmlFile.split(".xml");