fr_b02 / petri / src / arcElement / ArcEnteringTest.java @ 6
Historique | Voir | Annoter | Télécharger (1,001 ko)
1 |
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 |
} |