fr_b02 / petri / src / element / PlaceTest.java @ 4
Historique | Voir | Annoter | Télécharger (1,073 ko)
1 | 4 | a19coudr | 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 | } |