← Back to branch summary

~tapaal-contributor/tapaal/unselect-objects-after-undo-1894108

« back to all changes in this revision

Viewing changes to tests/TimeInvariantTests.java

- Did some refactorings in the model.
- Added double click shortcut to shared places/transitions list.

Show diffs side-by-side

added added

removed removed

Lines of Context:
tests/TimeInvariantTests.java
 
1
package tests;
 
2
 
 
3
import static org.junit.Assert.assertFalse;
 
4
import static org.junit.Assert.assertTrue;
 
5
 
 
6
import java.math.BigDecimal;
 
7
 
 
8
import org.junit.Test;
 
9
 
 
10
import dk.aau.cs.model.tapn.Bound;
 
11
import dk.aau.cs.model.tapn.IntBound;
 
12
import dk.aau.cs.model.tapn.TimeInvariant;
 
13
import dk.aau.cs.util.RequireException;
 
14
 
 
15
public class TimeInvariantTests {
 
16
        
 
17
        @Test(expected=RequireException.class)
 
18
        public void TimeInvariantConstructor(){
 
19
                new TimeInvariant(true, Bound.Infinity);
 
20
        }
 
21
        
 
22
        @Test
 
23
        public void TimeInvariantConstructor_inf(){
 
24
                new TimeInvariant(false, Bound.Infinity);
 
25
        }
 
26
        
 
27
        @Test
 
28
        public void TimeInvariantConstructor_valid(){
 
29
                new TimeInvariant(true, new IntBound(4));
 
30
        }
 
31
        
 
32
        @Test(expected=RequireException.class)
 
33
        public void TimeInvariantConstructor_invalid_zero(){
 
34
                new TimeInvariant(false, new IntBound(0));
 
35
        }
 
36
        
 
37
        @Test
 
38
        public void isSatisfied_test1(){
 
39
                TimeInvariant inv = new TimeInvariant(true, new IntBound(5));
 
40
                assertTrue(inv.isSatisfied(new BigDecimal(4)));
 
41
                assertTrue(inv.isSatisfied(new BigDecimal(5)));
 
42
                assertFalse(inv.isSatisfied(new BigDecimal(6)));
 
43
        }
 
44
        
 
45
        @Test
 
46
        public void isSatisfied_test2(){
 
47
                TimeInvariant inv = new TimeInvariant(false, new IntBound(5));
 
48
                assertTrue(inv.isSatisfied(new BigDecimal(4.999)));
 
49
                assertFalse(inv.isSatisfied(new BigDecimal(5)));
 
50
                assertFalse(inv.isSatisfied(new BigDecimal(6)));
 
51
        }
 
52
        
 
53
        @Test
 
54
        public void isSatisfied_test3(){
 
55
                TimeInvariant inv = new TimeInvariant(false, Bound.Infinity);
 
56
                assertTrue(inv.isSatisfied(new BigDecimal(4)));
 
57
                assertTrue(inv.isSatisfied(new BigDecimal(Integer.MAX_VALUE)));
 
58
        }
 
59
}