← Back to branch summary

~tapaal-contributor/tapaal/only-dirs-batch-export-1870887

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPN.java

  • Committer: Jiri Srba
  • Date: 2020-04-28 19:15:28 UTC
  • mfrom: (998.2.376 testbranch)
  • Revision ID: srba@cs.aau.dk-20200428191528-3xxjqa1r4jcob5ur
merged in lp:~yrke/tapaal/testbranch doing majour refactoring of the GUI

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPN.java
63
63
        }
64
64
        
65
65
        public String getStatsExplanation(){
66
 
                StringBuffer buffer = new StringBuffer("<html>");
 
66
                StringBuilder buffer = new StringBuilder("<html>");
67
67
                buffer.append("<b>Discovered markings:</b> The number of found markings (each<br />");
68
68
                buffer.append("time a successor is calculated, this number is incremented)<br/>");
69
69
                buffer.append("<br/>");
95
95
                                        result = readVersionNumberFrom(stream);
96
96
                                }
97
97
                                child.waitFor();
98
 
                        } catch (IOException e) {
99
 
                        } catch (InterruptedException e) {
 
98
                        } catch (IOException | InterruptedException e) {
100
99
                        }
101
100
                }
102
101
 
348
347
        }
349
348
 
350
349
        private String createArgumentString(String modelFile, String queryFile, VerificationOptions options) {
351
 
                StringBuffer buffer = new StringBuffer(options.toString());
 
350
                StringBuilder buffer = new StringBuilder(options.toString());
352
351
                buffer.append(' ');
353
352
                buffer.append(modelFile);
354
353
                buffer.append(' ');
364
363
                } catch (IOException e1) {
365
364
                        return "";
366
365
                }
367
 
                StringBuffer buffer = new StringBuffer();
 
366
                StringBuilder buffer = new StringBuilder();
368
367
                String line = null;
369
368
                try {
370
369
                        while ((line = reader.readLine()) != null) {
379
378
        
380
379
        private Tuple<QueryResult, Stats> parseQueryResult(String output, int totalTokens, int extraTokens, TAPNQuery query) {
381
380
                VerifyTAPNOutputParser outputParser = new VerifyTAPNOutputParser(totalTokens, extraTokens, query);
382
 
                Tuple<QueryResult, Stats> result = outputParser.parseOutput(output);
383
 
                return result;
 
381
                return outputParser.parseOutput(output);
384
382
        }
385
383
        
386
384
        public boolean supportsModel(TimedArcPetriNet model, VerificationOptions options) {
387
 
                if(model.hasWeights() || 
388
 
                                model.hasUrgentTransitions()) {
 
385
                if(model.hasWeights() || model.hasUrgentTransitions()) {
389
386
                        return false;
390
387
                }
391
 
                
 
388
 
392
389
                return true;
393
390
        }
394
391