Statistiques
| Révision:

fr_b02 / petri / src / arcElement / ArcOuteringTest.java @ 4

Historique | Voir | Annoter | Télécharger (1,087 ko)

1 4 a19coudr
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 ArcOuteringTest {
11
12
        @Test
13
        void testArcOutering() throws UndefinedToken {
14
                ArcOutering ao = new ArcOutering(new Place(3), 2);
15
                assertEquals(ArcOutering.class, ao.getClass());
16
        }
17
18
        @Test
19
        void testToString() throws UndefinedToken {
20
                ArcOutering ao = new ArcOutering(new Place(3), 2);
21
                Place p = new Place(3);
22
                assertEquals("ArcOutering value:2, " + p.toString(), ao.toString());
23
24
        }
25
26
        @Test
27
        void testDoTransition() throws UndefinedToken {
28
                Place p = new Place(3);
29
                ArcOutering ao = new ArcOutering(p, 2);
30
                ao.doTransition();
31
                assertEquals(1, p.getToken());
32
        }
33
34
        @Test
35
        void testIsActive() throws UndefinedToken {
36
                ArcOutering ao = new ArcOutering(new Place(3), 2);
37
                assertTrue(ao.isActive());
38
        }
39
40
        @Test
41
        void testIsPullable() throws UndefinedToken {
42
                ArcOutering ao = new ArcOutering(new Place(3), 2);
43
                assertTrue(ao.isPullable());
44
                ArcOutering ao1 = new ArcOutering(new Place(3), 4);
45
                assertFalse(ao1.isPullable());
46
        }
47
48
}