← 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/BroadcastTranslation.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/BroadcastTranslation.java
58
58
        protected static final String QUERY_PATTERN = "([a-zA-Z][a-zA-Z0-9_]*) (==|<|<=|>=|>) ([0-9])*";
59
59
        protected static final String LOCK_BOOL = "lock";
60
60
 
61
 
        private Hashtable<String, Location> namesToLocations = new Hashtable<String, Location>();
 
61
        private final Hashtable<String, Location> namesToLocations = new Hashtable<String, Location>();
62
62
        protected Hashtable<TimedInputArc, String> inputArcsToCounters = new Hashtable<TimedInputArc, String>();
63
63
        protected Hashtable<TimedInhibitorArc, String> inhibitorArcsToCounters = new Hashtable<TimedInhibitorArc, String>();
64
64
        protected Hashtable<TransportArc, String> transportArcsToCounters = new Hashtable<TransportArc, String>();
713
713
                private final String TAU = "tau";
714
714
                private final String START_OF_SEQUENCE_PATTERN = "^(\\w+?)(_test)?$";
715
715
                private final String END_OF_SEQUENCE_PATTERN = "^(\\w+?)_fire$";
716
 
                private Pattern startPattern = Pattern.compile(START_OF_SEQUENCE_PATTERN);
717
 
                private Pattern endPattern = Pattern.compile(END_OF_SEQUENCE_PATTERN);
 
716
                private final Pattern startPattern = Pattern.compile(START_OF_SEQUENCE_PATTERN);
 
717
                private final Pattern endPattern = Pattern.compile(END_OF_SEQUENCE_PATTERN);
718
718
                private final SequenceInfo seqInfo = SequenceInfo.END;
719
719
 
720
720
                public TransitionTranslation[] interpretTransitionSequence(List<String> firingSequence) {