2021_mapd-d » FR_B02

package main;

import java.util.ArrayList;

import java.util.List;

import arcElement.Arc;

import arcElement.ArcCleaner;

import arcElement.ArcEntering;

import arcElement.ArcOutering;

import arcElement.ArcZero;

import element.Place;

import element.Place.UndefinedToken;

import element.Transition;

public class Network {

        //constant for the methode add arc

        public static int ArcOutering = 2;

        public static int ArcCleaner = 1;

        public static int ArcZero = 0;

        public static int ArcEntering = 3;

        private List<Place> placeList;

        private List<Transition> listTransition;

        public Network() {

                this.placeList=new ArrayList<Place>();

                this.listTransition=new ArrayList<Transition>();

        }

        /**

         * create a new transition

         */

        public void addTransition() {

                Transition transition = new Transition();

                listTransition.add(transition);

        }

        /**

         * create a new place

         */

        public void addPlace(int value) throws UndefinedToken {

                Place place = new Place(value);

                placeList.add(place);

        }

        @SuppressWarnings("serial")

        public class UndefinedIdentifier extends Exception{

                public UndefinedIdentifier() {

                        super("the identifier cannot take this value");

                }

        }

        /**

         * create a new arc

         * @param transtion the transition link to this arc

         * @param place the place link to this arc

         * @param the value of this arc

         * @param identifier the integer that correspond to the type of arc (define as static)

         */

        public void addArc(Transition transition, Place place, int value, int identifier) throws UndefinedIdentifier {

                if (identifier==ArcZero) {

                        transition.getArcList().add(new ArcZero(place, value));

                }

                else if(identifier==ArcCleaner) {

                        transition.getArcList().add(new ArcCleaner(place));

                }

                else if(identifier==ArcOutering) {

                        transition.getArcList().add(new ArcOutering(place,value));

                }else if(identifier==ArcEntering) {

                        transition.getArcList().add( new ArcEntering(place,value));

                }else {

                        throw new UndefinedIdentifier();

                }

        }

        /**

         * delete an arc

         */

        public void deleteArc(Arc a) {

                Arc aToDelete = null;

                for(Transition transition: listTransition) {

                        for(Arc arc:transition.getArcList()) {

                                if(arc.equals(a)) {

                                        aToDelete=arc;                                }

                        }

                        transition.getArcList().remove(aToDelete);

                }

        }

        /**

         * delete a place an the arcs link to it

         */

        public void deletePlace( Place place) {

                List<Arc> aToDelete = new ArrayList<Arc>();

                for(Transition transition: listTransition) {

                        for(Arc arc:transition.getArcList()) {

                                if(arc.getPlace().equals(place)) {

                                        aToDelete.add(arc);

                                }

                        }

                        aToDelete.forEach((Arc a)->{

                                deleteArc(a);

                        });

                        placeList.remove(place);

                }

        }

        /**

         * delete a transition

         */

        public void deleteTransition(Transition transition) {

                listTransition.remove(transition);

        }

        /**

         * fire the transition selected

         */

        public void fire(Transition transition) {

                if (transition.isPullable()==true) {

                        transition.doTransition();

                }

        }

        /**

         * string  representation of a network

         */

        public String toString() {

                String res= "[";

                for(int i=0;listTransition.size()>i;i++ ) {

                        res=res+"transtion "+i+" :"+listTransition.get(i).toString()+", ";

                }

                res=res+"]";

                return res;

        }

        //example of Petri network

        public static void main(String[] args) throws UndefinedToken, UndefinedIdentifier {

                Network n0=new Network();

                n0.addPlace(5);

                n0.addPlace(4);

                n0.addTransition();

                n0.addArc(n0.listTransition.get(0), n0.placeList.get(0), 2, ArcEntering);

                n0.addArc(n0.listTransition.get(0), n0.placeList.get(1), 2, ArcOutering);

                System.out.println("");

                System.out.println("RESEAU DE PETRI une transtion, un arcOutering un arcEntering");

                System.out.println("");

                System.out.println("situtation initial : ");

                System.out.println(n0);

                System.out.println("fire 1 : ");

                n0.fire(n0.listTransition.get(0));

                System.out.println(n0);

                System.out.println("fire 2 : ");

                n0.fire(n0.listTransition.get(0));

                System.out.println(n0);

                System.out.println("fire 3 : ");

                n0.fire(n0.listTransition.get(0));

                System.out.println(n0);

        }

        public List<Place> getPlaceList() {

                return placeList;

        }

        public List<Transition> getListTransition() {

                return listTransition;

        }

}