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 {

        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>();

        }

        public void addTransition() {

                Transition transition = new Transition();

                listTransition.add(transition);

        }

        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");

                }

        }

        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();

                }

        }

        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);

                }

        }

        public void deletePlace( Place place) {

                Arc aToDelete = null;

                for(Transition transition: listTransition) {

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

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

                                        aToDelete=arc;

                                }

                        }

                        deleteArc( aToDelete);

                        placeList.remove(place);

                }

        }

        public void deleteTransition(Transition transition) {

                listTransition.remove(transition);

        }

        public void fire(Transition transition) {

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

                        transition.doTransition();

                }

        }

        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;

        }

        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;

        }

}