fr_b02 / petri / src / arcElement / ArcOuteringTest.java @ 4
Historique | Voir | Annoter | Télécharger (1,087 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 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 |
} |