← Back to branch summary

~tapaal-contributor/tapaal/autodetect-lens-check2

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/model/tapn/event/TimedTransitionEvent.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/model/tapn/event/TimedTransitionEvent.java
4
4
import dk.aau.cs.util.Require;
5
5
 
6
6
public class TimedTransitionEvent {
7
 
        private TimedTransition source;
 
7
        private final TimedTransition source;
8
8
        
9
9
        public TimedTransitionEvent(TimedTransition source){
10
10
                Require.that(source != null, "source cannot be null");