fr_b02 / petri / src / arcElement / ArcZeroTest.java @ 6
Historique | Voir | Annoter | Télécharger (991 octets)
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 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 |
} |