Statistiques
| Révision:

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

Historique | Voir | Annoter | Télécharger (1,13 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 ArcCleanerTest {
11

    
12
        @Test
13
        void testArcCleaner() throws UndefinedToken {
14
                ArcCleaner ae = new ArcCleaner(new Place(3));
15
                assertEquals(ArcCleaner.class, ae.getClass());
16
        }
17

    
18
        @Test
19
        void testDoTransition() throws UndefinedToken {
20
                Place p=new Place(3);
21
                ArcCleaner ae1 = new ArcCleaner(p);
22
                ae1.doTransition();
23
                assertEquals(0, p.getToken());
24
                
25
        }
26

    
27
        @Test
28
        void testIsActive() throws UndefinedToken {
29
                ArcCleaner ae1 = new ArcCleaner(new Place(3));
30
                assertTrue(ae1.isActive());
31
                ArcCleaner ae2 = new ArcCleaner(new Place(0));
32
                assertFalse(ae2.isActive());
33
        }
34

    
35
        @Test
36
        void testIsPullable()  throws UndefinedToken {
37
                ArcCleaner ae1 = new ArcCleaner(new Place(3));
38
                assertTrue(ae1.isPullable());
39
                ArcCleaner ae2 = new ArcCleaner(new Place(0));
40
                assertFalse(ae2.isPullable());
41
        }
42

    
43
        @Test
44
        void testToString() throws UndefinedToken {
45
                ArcCleaner ae1 = new ArcCleaner(new Place(3));
46
                Place p = new Place(3);
47
                assertEquals("ArcCleaner, "+p.toString(), ae1.toString());        }
48

    
49
}