← Back to branch summary

~yrke/tapaal/tapaal-gradlebuild

« back to all changes in this revision

Viewing changes to src/pipe/gui/widgets/QueryPane.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/QueryPane.java
14
14
import java.io.File;
15
15
import java.io.IOException;
16
16
import java.util.ArrayList;
17
 
import java.util.Arrays;
18
 
import java.util.HashSet;
19
17
import java.util.List;
20
18
 
21
19
import javax.swing.BorderFactory;
23
21
import javax.swing.DefaultListModel;
24
22
import javax.swing.ImageIcon;
25
23
import javax.swing.JButton;
26
 
import javax.swing.JLabel;
27
24
import javax.swing.JList;
28
25
import javax.swing.JOptionPane;
29
26
import javax.swing.JPanel;
30
27
import javax.swing.JScrollPane;
31
 
import javax.swing.ListCellRenderer;
32
28
import javax.swing.ListSelectionModel;
33
29
import javax.swing.event.ListDataEvent;
34
30
import javax.swing.event.ListDataListener;
36
32
import javax.swing.event.ListSelectionListener;
37
33
import pipe.dataLayer.TAPNQuery;
38
34
import pipe.gui.CreateGui;
39
 
import pipe.gui.GuiFrame;
40
35
import pipe.gui.MessengerImpl;
41
36
import pipe.gui.Verifier;
42
 
import pipe.gui.graphicElements.PetriNetObject;
43
 
import pipe.gui.graphicElements.tapn.TimedPlaceComponent;
44
37
import pipe.gui.undo.AddQueryCommand;
45
38
import pipe.gui.undo.RemoveQueriesCommand;
46
39
import pipe.gui.undo.UndoManager;
47
40
import pipe.gui.widgets.QueryDialog.QueryDialogueOption;
48
41
import dk.aau.cs.Messenger;
49
 
import dk.aau.cs.debug.Logger;
50
42
import dk.aau.cs.gui.BatchProcessingDialog;
51
43
import dk.aau.cs.gui.TabContent;
52
 
import dk.aau.cs.gui.TemplateExplorer;
53
44
import dk.aau.cs.gui.undo.Command;
54
 
import dk.aau.cs.gui.undo.DeleteQueriesCommand;
55
45
import dk.aau.cs.gui.undo.SortQueriesCommand;
56
 
import dk.aau.cs.model.tapn.LocalTimedPlace;
57
46
import dk.aau.cs.gui.components.NonsearchableJList;
58
47
import dk.aau.cs.translations.ReductionOption;
59
48
import dk.aau.cs.util.Require;
60
 
import dk.aau.cs.util.StringComparator;
61
49
 
62
50
public class QueryPane extends JPanel {
63
51
        private static final long serialVersionUID = 4062539545170994654L;
504
492
                //Saves the net in a temporary file which is used in batchProcessing
505
493
                //File is deleted on exit
506
494
                try {
507
 
                        tempFile = File.createTempFile(CreateGui.appGui.getCurrentTabName(), ".xml");
508
 
                        CreateGui.appGui.saveNet(CreateGui.getTab().getSelectedIndex(), tempFile, selectedQueries);
 
495
                        tempFile = File.createTempFile(CreateGui.getAppGui().getCurrentTabName(), ".xml");
 
496
                        CreateGui.getAppGui().saveNet(CreateGui.getApp().getSelectedTabIndex(), tempFile, selectedQueries);
509
497
                        BatchProcessingDialog.showBatchProcessingDialog(queryList);
510
498
                        tempFile.deleteOnExit();
511
499
                        if(tempFile == null) {