← Back to branch summary

~tapaal-contributor/tapaal/batch-processing-for-workflows-1272214

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/gui/BatchProcessingDialog.java

  • Committer: ptaankvist at gmail
  • Date: 2018-08-20 10:14:01 UTC
  • Revision ID: ptaankvist@gmail.com-20180820101401-cnj39x6le5u3x8j2
Change cells and only process each file once (Also for search statespace and deadlock).

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/gui/BatchProcessingDialog.java
199
199
        private final static String NOT_SATISFIED_STRING_SOUNDNESS = "Not Sound";
200
200
        private final static String NOT_SATISFIED_STRING = "Not Satisfied";
201
201
        private final static String SATISFIED_STRING = "Satisfied";
 
202
        private final static String SATISFIED_SOUNDNESS_STRING = "Sound";
 
203
        private final static String SATISFIED_STRONG_SOUNDNESS_STRING = "Strongly Sound";
 
204
 
202
205
 
203
206
        
204
207
        private static String lastPath = null;
513
516
        }
514
517
 
515
518
        private void addFiles() {
516
 
                FileBrowser browser = FileBrowser.constructor("Timed-Arc Petri Nets","tapn","xml", lastPath);
 
519
                FileBrowser browser = FileBrowser.constructor("Timed-Arc Petri Nets","xml", lastPath);
517
520
                
518
521
                File[] filesArray = browser.openFiles();
519
522
                if (filesArray.length>0) {
1516
1519
                                                        "Query");
1517
1520
                                        if (value != null) {
1518
1521
                                                if ((isResultColumn && value.toString().equals(
1519
 
                                                                SATISFIED_STRING))
 
1522
                                                                SATISFIED_STRING) || 
 
1523
                                                                value.toString().equals(SATISFIED_SOUNDNESS_STRING) || value.toString().equals(SATISFIED_STRONG_SOUNDNESS_STRING))
1520
1524
                                                                || (isQueryColumn && value.toString().equals(
1521
1525
                                                                                "TRUE")))
1522
1526
                                                        setBackground(new Color(91, 255, 91)); // light green
1523
1527
                                                else if ((isResultColumn && (value.toString().equals(
1524
 
                                                                NOT_SATISFIED_STRING) || value.toString().equals(NOT_SATISFIED_STRING_STRONG_SOUNDNESS) || value.toString().equals(NOT_SATISFIED_STRING_SOUNDNESS)))
 
1528
                                                                NOT_SATISFIED_STRING) || 
 
1529
                                                                value.toString().equals(NOT_SATISFIED_STRING_STRONG_SOUNDNESS) || value.toString().equals(NOT_SATISFIED_STRING_SOUNDNESS)))
1525
1530
                                                                || (isQueryColumn && value.toString().equals(
1526
1531
                                                                                "FALSE")))
1527
1532
                                                        setBackground(new Color(255, 91, 91)); // light  red