fr_b02 / petri / src / arcElement / ArcCleanerTest.java @ 4
Historique | Voir | Annoter | Télécharger (1,13 ko)
1 | 4 | a19coudr | package arcElement; |
---|---|---|---|
2 | |||
3 | import static org.junit.jupiter.api.Assertions.*; |
||
4 | |||
5 | import org.junit.jupiter.api.Test; |
||
6 | |||
7 | import element.Place; |
||
8 | import element.Place.UndefinedToken; |
||
9 | |||
10 | class ArcCleanerTest { |
||
11 | |||
12 | @Test
|
||
13 | void testArcCleaner() throws UndefinedToken { |
||
14 | ArcCleaner ae = new ArcCleaner(new Place(3)); |
||
15 | assertEquals(ArcCleaner.class, ae.getClass()); |
||
16 | } |
||
17 | |||
18 | @Test
|
||
19 | void testDoTransition() throws UndefinedToken { |
||
20 | Place p=new Place(3); |
||
21 | ArcCleaner ae1 = new ArcCleaner(p);
|
||
22 | ae1.doTransition(); |
||
23 | assertEquals(0, p.getToken());
|
||
24 | |||
25 | } |
||
26 | |||
27 | @Test
|
||
28 | void testIsActive() throws UndefinedToken { |
||
29 | ArcCleaner ae1 = new ArcCleaner(new Place(3)); |
||
30 | assertTrue(ae1.isActive()); |
||
31 | ArcCleaner ae2 = new ArcCleaner(new Place(0)); |
||
32 | assertFalse(ae2.isActive()); |
||
33 | } |
||
34 | |||
35 | @Test
|
||
36 | void testIsPullable() throws UndefinedToken { |
||
37 | ArcCleaner ae1 = new ArcCleaner(new Place(3)); |
||
38 | assertTrue(ae1.isPullable()); |
||
39 | ArcCleaner ae2 = new ArcCleaner(new Place(0)); |
||
40 | assertFalse(ae2.isPullable()); |
||
41 | } |
||
42 | |||
43 | @Test
|
||
44 | void testToString() throws UndefinedToken { |
||
45 | ArcCleaner ae1 = new ArcCleaner(new Place(3)); |
||
46 | Place p = new Place(3); |
||
47 | assertEquals("ArcCleaner, "+p.toString(), ae1.toString()); }
|
||
48 | |||
49 | } |