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