~tapaal-maintainers/tapaal/3.7

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/io/queries/TAPNQueryLoader.java

  • Committer: ptaankvist at gmail
  • Date: 2020-10-30 12:00:55 UTC
  • mto: (1102.8.3 tapaal)
  • mto: This revision was merged to the branch mainline in revision 1110.
  • Revision ID: ptaankvist@gmail.com-20201030120055-omphyxf2cr6do49g
Clean up

Show diffs side-by-side

added added

removed removed

Lines of Context:
272
272
                try {
273
273
                        query = XMLCTLQueryParser.parse(queryElement);
274
274
                } catch (XMLQueryParseException e) {
275
 
                    //We thread this to avoid freezing the GUI
276
275
            messages.add(ERROR_PARSING_QUERY_MESSAGE);
277
 
            /*new Thread(() -> {
278
 
                CreateGui.getAppGui().setCursor(Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR));
279
 
                JOptionPane.showMessageDialog(CreateGui.getApp(), ERROR_PARSING_QUERY_MESSAGE, "Error Parsing Query", JOptionPane.ERROR_MESSAGE);
280
 
            }).start();*/
281
276
                }
282
277
                
283
278
                return query;
289
284
                        query = TAPAALQueryParser.parse(queryToParse);
290
285
                } catch (Exception e) {
291
286
                        if(firstQueryParsingWarning) {
292
 
                //We thread this to avoid freezing the GUI
293
287
                messages.add(ERROR_PARSING_QUERY_MESSAGE);
294
 
                /*new Thread(() -> {
295
 
                    CreateGui.getAppGui().setCursor(Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR));
296
 
                    JOptionPane.showMessageDialog(CreateGui.getApp(), ERROR_PARSING_QUERY_MESSAGE, "Error Parsing Query", JOptionPane.ERROR_MESSAGE);
297
 
                }).start();*/
298
288
                firstQueryParsingWarning = false;
299
289
                        }
300
290
                        System.err.println("No query was specified: ");