2021_mapd-d » FR_B02

package arcElement;

import element.Place;

public class ArcEntering extends Arc{

        private int value;

        /**

         * @param the place link to ArcEntering and the value of this Arc

         * Constructor for ArcEntering

         *

         */

        public ArcEntering(Place place, int value) {

                super(place);

                this.value=value;

        }

        /**

         * Do the transition for the ArcEntering (add to the place value token)

         *

         */

        public void doTransition() {

                this.getPlace().changeToken(this.value);

        }

        /**

         * Check if the ArcEntering is active (always true)

         *@return true

         */

        public boolean isActive() {

                return true;

        }

        /**

         * Check if the ArcEntering is Pullable (always true)

         *@return true

         */

        public boolean isPullable() {

                return true;

        }

        /**

         * @return a string that describe the ArcEntering

         *

         */

        public String toString() {

                return "ArcEntering value:"+value+", "+this.getPlace();

        }

}