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