Statistiques
| Révision:

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

Historique | Voir | Annoter | Télécharger (991 octets)

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