Statistiques
| Révision:

fr_b02 / petri / src / main / NetworkTest.java @ 4

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

1
package main;
2

    
3
import static org.junit.jupiter.api.Assertions.*;
4

    
5
import org.junit.jupiter.api.Test;
6

    
7
import arcElement.ArcOutering;
8
import element.Place;
9
import element.Place.UndefinedToken;
10
import element.Transition;
11

    
12
class NetworkTest {
13

    
14
        @Test
15
        void testNetwork() {
16
                Network n= new Network();
17
                assertEquals(Network.class, n.getClass());
18
        }
19

    
20
        @Test
21
        void testAddTransition() throws UndefinedToken {
22
                Network n= new Network();
23
                n.addTransition();
24
                assertEquals(1,n.getListTransition().size());
25
                assertEquals(Transition.class, n.getListTransition().get(0).getClass());
26
        }
27

    
28
        @Test
29
        void testAddPlace() throws UndefinedToken {
30
                Network n= new Network();
31
                n.addPlace(3);
32
                assertEquals(1,n.getPlaceList().size());
33
                assertEquals(Place.class, n.getPlaceList().get(0).getClass());        }
34

    
35
        @Test
36
        void testAddArc() throws UndefinedToken {
37
                Network n= new Network();
38
                ArcOutering ao =new ArcOutering(new Place(3), 4);
39
                n.addTransition();
40
                n.addPlace(3);
41
                n.addArc(n.getListTransition().get(0), n.getPlaceList().get(0), 4, Network.ArcOutering);
42
                assertEquals(n.getListTransition().get(0).getArcList().get(0).toString(), ao.toString());
43
        }
44

    
45
        @Test
46
        void testDeleteArc() {
47
                
48
        }
49

    
50
        @Test
51
        void testDeletePlace() {
52
                
53
        }
54

    
55
        @Test
56
        void testDeleteTransition() {
57
                
58
        }
59

    
60
        @Test
61
        void testFire() {
62
                
63
        }
64

    
65
        @Test
66
        void testToString() {
67
                
68
        }
69

    
70

    
71
}