← Back to branch summary

~tapaal-contributor/tapaal/display-shared-places-transitions-1879126

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/verification/VerifyTAPN/VerifyDTAPNOutputParser.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/VerifyDTAPNOutputParser.java
6
6
import java.util.regex.Matcher;
7
7
import java.util.regex.Pattern;
8
8
 
9
 
import dk.aau.cs.model.tapn.NetworkMarking;
10
9
import dk.aau.cs.model.tapn.TAPNQuery;
11
 
import dk.aau.cs.model.tapn.TimedArcPetriNet;
12
 
import dk.aau.cs.model.tapn.TimedArcPetriNetNetwork;
13
 
import dk.aau.cs.model.tapn.TimedToken;
14
10
import dk.aau.cs.util.Tuple;
15
11
import dk.aau.cs.verification.BoundednessAnalysisResult;
16
 
import dk.aau.cs.verification.NameMapping;
17
12
import dk.aau.cs.verification.QueryResult;
18
 
import dk.aau.cs.verification.QueryType;
19
13
import dk.aau.cs.verification.Stats;
20
14
 
21
15
public class VerifyDTAPNOutputParser {
28
22
        private static final Pattern storedPattern = Pattern.compile("\\s*stored markings:\\s*(\\d+)\\s*");
29
23
        private static final Pattern maxUsedTokensPattern = Pattern.compile("\\s*Max number of tokens found in any reachable marking:\\s*(>)?(\\d+)\\s*");
30
24
        private static final Pattern transitionStatsPattern = Pattern.compile("<([^:\\s]+):(\\d+)>");
31
 
        private static final Pattern placeBoundPattern = Pattern.compile("<([^;\\s]+);(\\d+)>");
32
 
        private static final Pattern placeBoundPatternUnknown = Pattern.compile("<([^;\\s]+);\\?>");
 
25
        private static final Pattern placeBoundPattern = Pattern.compile("<([^;\\s]+);(\\d+)>");
 
26
    private static final Pattern placeBoundPatternUnknown = Pattern.compile("<([^;\\s]+);\\?>");
33
27
        
34
28
        private static final Pattern wfMinExecutionPattern = Pattern.compile("Minimum execution time: (-?\\d*)");
35
29
        private static final Pattern wfMaxExecutionPattern = Pattern.compile("Maximum execution time: (-?\\d*)");