← 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/simulation/TimeDelayStep.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/simulation/TimeDelayStep.java
 
1
package dk.aau.cs.model.tapn.simulation;
 
2
 
 
3
import java.math.BigDecimal;
 
4
import java.text.DecimalFormat;
 
5
 
 
6
import pipe.gui.Pipe;
 
7
import dk.aau.cs.model.tapn.LocalTimedMarking;
 
8
 
 
9
public class TimeDelayStep implements TimedArcPetriNetStep {
 
10
        private BigDecimal delay;
 
11
        private static final DecimalFormat df = createDecimalFormat();
 
12
 
 
13
        public TimeDelayStep(BigDecimal delay) {
 
14
                this.delay = delay;
 
15
        }
 
16
 
 
17
        public LocalTimedMarking performStepFrom(LocalTimedMarking marking) {
 
18
                return marking.delay(delay);
 
19
        }
 
20
        
 
21
        public BigDecimal delay() {
 
22
                return delay;
 
23
        }
 
24
 
 
25
        @Override
 
26
        public String toString() {
 
27
                return "TimeDelay: " + df.format(delay);
 
28
        }
 
29
 
 
30
        private static DecimalFormat createDecimalFormat() {
 
31
                DecimalFormat df = new DecimalFormat();
 
32
                df.setMaximumFractionDigits(Pipe.AGE_DECIMAL_PRECISION);
 
33
                df.setMinimumFractionDigits(Pipe.AGE_DECIMAL_PRECISION);
 
34
                return df;
 
35
        }
 
36
 
 
37
}