Statistiques
| Révision:

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

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

1
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
}