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