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