fr_b02 / petri / src / element / PlaceTest.java @ 4
Historique | Voir | Annoter | Télécharger (1,073 ko)
1 |
package element; |
---|---|
2 |
|
3 |
import static org.junit.jupiter.api.Assertions.*; |
4 |
|
5 |
import org.junit.jupiter.api.Test; |
6 |
|
7 |
import element.Place.UndefinedToken; |
8 |
|
9 |
class PlaceTest { |
10 |
|
11 |
@Test
|
12 |
void testPlace() {
|
13 |
try {
|
14 |
new Place(-3); |
15 |
fail("the place can't have a value <0 for the token");
|
16 |
} catch (UndefinedToken e) {
|
17 |
} |
18 |
|
19 |
} |
20 |
|
21 |
@Test
|
22 |
void testGetToken() {
|
23 |
|
24 |
try {
|
25 |
Place p = new Place(3); |
26 |
assertEquals(3, p.getToken());
|
27 |
} catch (UndefinedToken e) {
|
28 |
|
29 |
} |
30 |
} |
31 |
|
32 |
@Test
|
33 |
void testToString() {
|
34 |
try {
|
35 |
Place p = new Place(3); |
36 |
assertEquals("Place Token : 3", p.toString());
|
37 |
} catch (UndefinedToken e) {
|
38 |
|
39 |
} |
40 |
|
41 |
} |
42 |
|
43 |
@Test
|
44 |
void testIsEmpty() throws UndefinedToken{ |
45 |
Place p1 = new Place(3); |
46 |
Place p2 = new Place(0); |
47 |
assertTrue(p2.isEmpty()); |
48 |
assertFalse(p1.isEmpty()); |
49 |
} |
50 |
|
51 |
@Test
|
52 |
void testChangeToken() throws UndefinedToken{ |
53 |
Place p1 = new Place(3); |
54 |
p1.changeToken(2);
|
55 |
assertEquals(5,p1.getToken());
|
56 |
} |
57 |
|
58 |
@Test
|
59 |
void testEqualsObject() throws UndefinedToken { |
60 |
Place p1 = new Place(3); |
61 |
Place p3 = new Place(3); |
62 |
|
63 |
assertTrue(p1.equals(p1)); |
64 |
assertFalse(p1.equals(p3)); |
65 |
} |
66 |
|
67 |
} |