Merge lp:~tapaal-contributor/tapaal/query-parsing-bug-1921580 into lp:tapaal

[Lena Ernstsen]

Fixed not being able to parse a correctly edited query

[Jiri Srba (srba)]

review: Approve

=== modified file 'src/pipe/gui/widgets/QueryDialog.java'
--- src/pipe/gui/widgets/QueryDialog.java	2021-03-02 16:02:35 +0000
+++ src/pipe/gui/widgets/QueryDialog.java	2021-03-29 10:10:55 +0000
@@ -30,6 +30,7 @@
 import javax.swing.undo.UndoableEditSupport;
 
 import dk.aau.cs.TCTL.*;
+import dk.aau.cs.TCTL.CTLParsing.TAPAALCTLQueryParser;
 import dk.aau.cs.TCTL.visitors.*;
 import dk.aau.cs.gui.TabContent;
 import dk.aau.cs.model.tapn.*;
@@ -2292,7 +2293,11 @@
 					TCTLAbstractProperty newQuery = null;
 
 					try {
-						newQuery = TAPAALQueryParser.parse(queryField.getText());
+					    if (lens.isTimed()) {
+                            newQuery = TAPAALQueryParser.parse(queryField.getText());
+                        } else {
+						    newQuery = TAPAALCTLQueryParser.parse(queryField.getText());
+                        }
 					} catch (Throwable ex) {
 						int choice = JOptionPane.showConfirmDialog(
 								CreateGui.getApp(),