Revision 75:5199fac0b4d2

View differences:

src/main/java/tt/jointeuclid2ni/sipp/SafeIntervals.java
22 22
        return safeIntervals.size();
23 23
    }
24 24

  
25
    public void removeSafePoint(int id, double time) {
25
    public void removeSafePoint(int id, int time) {
26 26
        if (id == lastID + 1) {
27 27
            shortenLastSafeInterval(time);
28 28
        } else {
......
32 32
        lastID = id;
33 33
    }
34 34

  
35
    private void appendNewSafeInterval(double time) {
35
    private void appendNewSafeInterval(int time) {
36 36
        Interval last = safeIntervals.getLast();
37 37
        last.end = time;
38 38

  
......
45 45
        safeIntervals.add(Interval.fromValueToInfinity(time));
46 46
    }
47 47

  
48
    private void shortenLastSafeInterval(double time) {
48
    private void shortenLastSafeInterval(int time) {
49 49
        Interval last = safeIntervals.getLast();
50 50
        last.start = time;
51 51
    }

Also available in: Unified diff