2021_mapd-d » FR_B02

package arcElement;

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

import org.junit.jupiter.api.Test;

import element.Place;

import element.Place.UndefinedToken;

class ArcEnteringTest {

        @Test

        void testArcEntering() throws UndefinedToken {

                ArcEntering ae = new ArcEntering(new Place(3), 2);

                assertEquals(ArcEntering.class, ae.getClass());

        }

        @Test

        void testDoTransition() throws UndefinedToken {

                Place p= new Place(3);

                ArcEntering ae = new ArcEntering(p, 2);

                ae.doTransition();

                assertEquals(5, p.getToken());

        }

        @Test

        void testIsActive()  throws UndefinedToken {

                ArcEntering ae = new ArcEntering(new Place(3), 2);

                assertTrue(ae.isActive());

        }

        @Test

        void testIsPullable()  throws UndefinedToken {

                ArcEntering ae = new ArcEntering(new Place(3), 2);

                assertTrue(ae.isPullable());

        }

        @Test

        void testToString() throws UndefinedToken {

                ArcEntering ao = new ArcEntering(new Place(3), 2);

                Place p = new Place(3);

                assertEquals("ArcEntering value:2, "+p.toString(), ao.toString());

        }

}