Révision 5 petri/src/main/NetworkTest.java
| NetworkTest.java | ||
|---|---|---|
| 8 | 8 |
import element.Place; |
| 9 | 9 |
import element.Place.UndefinedToken; |
| 10 | 10 |
import element.Transition; |
| 11 |
import main.Network.UndefinedIdentifier; |
|
| 11 | 12 |
|
| 12 | 13 |
class NetworkTest {
|
| 13 | 14 |
|
| ... | ... | |
| 33 | 34 |
assertEquals(Place.class, n.getPlaceList().get(0).getClass()); } |
| 34 | 35 |
|
| 35 | 36 |
@Test |
| 36 |
void testAddArc() throws UndefinedToken {
|
|
| 37 |
void testAddArc() throws UndefinedToken, UndefinedIdentifier {
|
|
| 37 | 38 |
Network n= new Network(); |
| 39 |
|
|
| 38 | 40 |
ArcOutering ao =new ArcOutering(new Place(3), 4); |
| 39 | 41 |
n.addTransition(); |
| 40 | 42 |
n.addPlace(3); |
| 43 |
//test case correct identifier |
|
| 41 | 44 |
n.addArc(n.getListTransition().get(0), n.getPlaceList().get(0), 4, Network.ArcOutering); |
| 42 | 45 |
assertEquals(n.getListTransition().get(0).getArcList().get(0).toString(), ao.toString()); |
| 46 |
//test case incorrect identifier |
|
| 47 |
try {
|
|
| 48 |
n.addArc(n.getListTransition().get(0), n.getPlaceList().get(0), 4, 8); |
|
| 49 |
fail("the identifier cannot take this value");
|
|
| 50 |
}catch (UndefinedIdentifier e) {
|
|
| 51 |
} |
|
| 52 |
|
|
| 43 | 53 |
} |
| 44 | 54 |
|
| 45 | 55 |
@Test |
| 46 |
void testDeleteArc() {
|
|
| 56 |
void testDeleteArc() throws UndefinedIdentifier, UndefinedToken {
|
|
| 57 |
Network n= new Network(); |
|
| 58 |
n.addPlace(3); |
|
| 59 |
n.addTransition(); |
|
| 60 |
n.addArc(n.getListTransition().get(0), n.getPlaceList().get(0), 4, Network.ArcOutering); |
|
| 61 |
n.deleteArc(n.getListTransition().get(0).getArcList().get(0)); |
|
| 47 | 62 |
|
| 48 | 63 |
} |
| 49 | 64 |
|
| 50 | 65 |
@Test |
| 51 |
void testDeletePlace() {
|
|
| 52 |
|
|
| 66 |
void testDeletePlace() throws UndefinedToken, UndefinedIdentifier {
|
|
| 67 |
Network n= new Network(); |
|
| 68 |
n.addPlace(3); |
|
| 69 |
n.addTransition(); |
|
| 70 |
n.addArc(n.getListTransition().get(0), n.getPlaceList().get(0), 4, Network.ArcOutering); |
|
| 71 |
n.deletePlace(n.getPlaceList().get(0)); |
|
| 72 |
assertEquals(0,n.getPlaceList().size()); |
|
| 73 |
assertEquals(0,n.getListTransition().get(0).getArcList().size()); |
|
| 53 | 74 |
} |
| 54 | 75 |
|
| 55 | 76 |
@Test |
| 56 | 77 |
void testDeleteTransition() {
|
| 57 |
|
|
| 78 |
Network n= new Network(); |
|
| 79 |
n.addTransition(); |
|
| 80 |
n.deleteTransition(n.getListTransition().get(0)); |
|
| 81 |
assertEquals(0,n.getListTransition().size()); |
|
| 58 | 82 |
} |
| 59 | 83 |
|
| 60 | 84 |
@Test |
| 61 |
void testFire() {
|
|
| 62 |
|
|
| 85 |
void testFire() throws UndefinedToken, UndefinedIdentifier {
|
|
| 86 |
Network n= new Network(); |
|
| 87 |
n.addPlace(3); |
|
| 88 |
n.addTransition(); |
|
| 89 |
//test when the transition is able |
|
| 90 |
n.addArc(n.getListTransition().get(0), n.getPlaceList().get(0), 4, Network.ArcEntering); |
|
| 91 |
n.fire(n.getListTransition().get(0)); |
|
| 92 |
assertEquals(7, n.getPlaceList().get(0).getToken()); |
|
| 93 |
Network n1= new Network(); |
|
| 94 |
n1.addPlace(3); |
|
| 95 |
n1.addTransition(); |
|
| 96 |
//test when the transition is not able |
|
| 97 |
n1.addArc(n1.getListTransition().get(0), n1.getPlaceList().get(0), 4, Network.ArcOutering); |
|
| 98 |
n1.fire(n1.getListTransition().get(0)); |
|
| 99 |
assertEquals(3, n1.getPlaceList().get(0).getToken()); |
|
| 63 | 100 |
} |
| 64 | 101 |
|
| 65 |
@Test |
|
| 66 |
void testToString() {
|
|
| 67 |
|
|
| 68 |
} |
|
| 69 |
|
|
| 70 |
|
|
| 71 | 102 |
} |
Formats disponibles : Unified diff