Statistiques
| Révision:

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
}