fr_b02 / petri / src / arcElement / ArcTest.java
Historique | Voir | Annoter | Télécharger (473 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 ArcTest { |
11 |
|
12 |
@Test
|
13 |
void testEqualsObject() throws UndefinedToken { |
14 |
//test realized with ArcOutering because Arc is abstract
|
15 |
ArcOutering ao1=new ArcOutering(new Place(3), 2); |
16 |
ArcOutering ao2=new ArcOutering(new Place(3), 2); |
17 |
assertTrue(ao1.equals(ao1)); |
18 |
assertFalse(ao1.equals(ao2)); |
19 |
} |
20 |
|
21 |
} |