fr_b02 / petri / src / arcElement / ArcEnteringTest.java @ 4
Historique | Voir | Annoter | Télécharger (1,001 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 ArcEnteringTest { |
||
11 | |||
12 | @Test
|
||
13 | void testArcEntering() throws UndefinedToken { |
||
14 | ArcEntering ae = new ArcEntering(new Place(3), 2); |
||
15 | assertEquals(ArcEntering.class, ae.getClass()); |
||
16 | } |
||
17 | |||
18 | @Test
|
||
19 | void testDoTransition() throws UndefinedToken { |
||
20 | Place p= new Place(3); |
||
21 | ArcEntering ae = new ArcEntering(p, 2); |
||
22 | ae.doTransition(); |
||
23 | assertEquals(5, p.getToken());
|
||
24 | |||
25 | } |
||
26 | |||
27 | @Test
|
||
28 | void testIsActive() throws UndefinedToken { |
||
29 | ArcEntering ae = new ArcEntering(new Place(3), 2); |
||
30 | assertTrue(ae.isActive()); |
||
31 | } |
||
32 | |||
33 | @Test
|
||
34 | void testIsPullable() throws UndefinedToken { |
||
35 | ArcEntering ae = new ArcEntering(new Place(3), 2); |
||
36 | assertTrue(ae.isPullable()); |
||
37 | } |
||
38 | |||
39 | @Test
|
||
40 | void testToString() throws UndefinedToken { |
||
41 | ArcEntering ao = new ArcEntering(new Place(3), 2); |
||
42 | Place p = new Place(3); |
||
43 | assertEquals("ArcEntering value:2, "+p.toString(), ao.toString());
|
||
44 | } |
||
45 | |||
46 | } |