← Back to branch summary

~tapaal-contributor/tapaal/disappearing-tokens-1940098

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/model/tapn/event/TimedTransitionEvent.java

  • Committer: Kenneth Yrke Jørgensen
  • Date: 2011-04-12 09:50:16 UTC
  • mfrom: (329.1.188 tapaal-1.5)
  • Revision ID: mail@yrke.dk-20110412095016-e4hqdgab5596ja09
Merged with branch addning support for new 1.5 features

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/model/tapn/event/TimedTransitionEvent.java
 
1
package dk.aau.cs.model.tapn.event;
 
2
 
 
3
import dk.aau.cs.model.tapn.TimedTransition;
 
4
import dk.aau.cs.util.Require;
 
5
 
 
6
public class TimedTransitionEvent {
 
7
        private TimedTransition source;
 
8
        
 
9
        public TimedTransitionEvent(TimedTransition source){
 
10
                Require.that(source != null, "source cannot be null");
 
11
                this.source = source;
 
12
        }
 
13
        
 
14
        public TimedTransition source(){
 
15
                return source;
 
16
        }
 
17
}