Statistiques
| Révision:

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

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

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