← Back to branch summary

~tapaal-contributor/tapaal/add-java-info-1890600

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/translations/tapn/StandardTranslation.java

merged in lp:~yrke/tapaal/removeSpecialBatchLoading removing special loading of nets in batch processing

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/translations/tapn/StandardTranslation.java
50
50
        protected static final String TOKEN_TEMPLATE_NAME = "Token";
51
51
        
52
52
        private int extraTokens;
53
 
        private boolean useSymmetry;
 
53
        private final boolean useSymmetry;
54
54
        private int numberOfInitChannels;
55
55
        
56
 
        private Hashtable<String, Location> namesToLocations = new Hashtable<String, Location>();
 
56
        private final Hashtable<String, Location> namesToLocations = new Hashtable<String, Location>();
57
57
        
58
58
 
59
59
        public StandardTranslation(boolean useSymmetry) {
380
380
                private static final int NOT_FOUND = -1;
381
381
                private final String START_OF_SEQUENCE_PATTERN = "^(\\w+?)_1_in$";
382
382
                private final String DEG1_START_OF_SEQUENCE_PATTERN = "^(\\w+?)_1$";
383
 
                private Pattern startPattern = Pattern.compile(START_OF_SEQUENCE_PATTERN);
384
 
                private Pattern deg1StartPattern = Pattern.compile(DEG1_START_OF_SEQUENCE_PATTERN);
385
 
                private Pattern ignoredPlacePattern = Pattern.compile("^P_lock|_BOTTOM_|\\w+_\\d+|\\w+_\\d+_(?:in|out)|P_hp_\\w+_\\d+$");
 
383
                private final Pattern startPattern = Pattern.compile(START_OF_SEQUENCE_PATTERN);
 
384
                private final Pattern deg1StartPattern = Pattern.compile(DEG1_START_OF_SEQUENCE_PATTERN);
 
385
                private final Pattern ignoredPlacePattern = Pattern.compile("^P_lock|_BOTTOM_|\\w+_\\d+|\\w+_\\d+_(?:in|out)|P_hp_\\w+_\\d+$");
386
386
                private final SequenceInfo seqInfo = SequenceInfo.WHOLE;
387
387
 
388
388
                public TransitionTranslation[] interpretTransitionSequence(List<String> firingSequence) {