2021_mapd-d » FR_B02

package element;

import static org.junit.Assert.assertEquals;

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

import org.junit.jupiter.api.Test;

import arcElement.ArcEntering;

import arcElement.ArcOutering;

import element.Place.UndefinedToken;

class TransitionTest {

        @Test

        void testToString() throws UndefinedToken {

                Transition t = new Transition();

                ArcOutering ao =new ArcOutering(new Place(3),5);

                t.getArcList().add(ao);

                assertEquals(" ["+ao.toString() +" // ] ",t.toString());

        }

        @Test

        void testTransition() {

                Transition t = new Transition();

                assertEquals(Transition.class, t.getClass());

        }

        @Test

        void testIsPullable() throws UndefinedToken {

                //case 1 is not pullable

                Transition t = new Transition();

                ArcOutering ao =new ArcOutering(new Place(3),5);

                t.getArcList().add(ao);

                assertFalse(t.isPullable());

                //case 2 is pullable

                Transition t1 = new Transition();

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

                t1.getArcList().add(ae);

                assertTrue(t1.isPullable());

        }

        @Test

        void testDoTransition() throws UndefinedToken {

                Transition t1 = new Transition();

                Place p=new Place(3);

                ArcEntering ae =new ArcEntering(p,5);

                t1.getArcList().add(ae);

                t1.doTransition();

                assertEquals(8,p.getToken());

        }

        @Test

        void testGetArcList() throws UndefinedToken {

                Transition t = new Transition();

                ArcOutering ao =new ArcOutering(new Place(3),5);

                t.getArcList().add(ao);

                assertEquals(ao,t.getArcList().get(0));

        }

}