fr_b02 / petri / src / arcElement / ArcTest.java @ 4
Historique | Voir | Annoter | Télécharger (473 octets)
1 | 4 | a19coudr | 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 | } |