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