firas commit

.settings/org.eclipse.core.resources.prefs

 eclipse.preferences.version=1
 encoding//src/main/java=UTF-8
+encoding//src/test/java=UTF-8
 encoding/<project>=UTF-8

src/main/java/org/petriNet/Arc_videur.java

@@ -16,7 +16,7 @@ public class Arc_videur extends Arc_ENTRANT {
 
     @Override
     public boolean verifier_tirable() {
-        if (this.place.get_nombre_jetons() > 0) {
+        if ( this.getPlace().get_nombre_jetons()  > 0) {
             return true;
         }
         return false;
@@ -26,7 +26,7 @@ public class Arc_videur extends Arc_ENTRANT {
     public void valider() {
         // On retire le nombre de jetons du poids de l'arc
         // prendre en cond la place choisie
-        this.place.enlever_jeton(this.place.get_nombre_jetons());
+        this.getPlace().enlever_jeton(this.getPlace().get_nombre_jetons());
     }
 
 

src/main/java/org/petriNet/Arc_zero.java

@@ -17,6 +17,6 @@ package org.petriNet;
 
     @Override
     public boolean verifier_tirable() {
-        return this.place.get_nombre_jetons() == 0;
+        return this.getPlace().get_nombre_jetons() == 0;
     }
 }

src/main/java/org/petriNet/Place.java

@@ -27,7 +27,8 @@ public class Place {
     public void enlever_jeton(int jetons) {
         // verify that the number of tokens is not negative
         if (jetons >= 0) {
-            this.nombre_jeton -= jetons;
+            this.nombre_jeton = Math.max(0, this.nombre_jeton - jetons);
+
         } else {
             System.out.println("The number of tokens cannot be negative.");
         }

src/main/java/org/petriNet/ReseauPetri.java

@@ -111,7 +111,7 @@ public class ReseauPetri implements PetriNetService {
 	public void supprimerPlace(Place place) {
 		this.places.remove(place);
 		// remove all arcs linked to the place
-        this.arcs.removeIf(arc -> arc.getPlace().getId() == place.getId());
+		this.arcs.removeIf(arc -> arc.getPlace().getId() == place.getId());
 	}
 
 	@Override
@@ -209,8 +209,8 @@ public class ReseauPetri implements PetriNetService {
 		System.out.println(this.arcs.size() + " arcs");
 
 		System.out.println("Liste des places :");
-			// On parcourt la liste des arcs pour afficher les places
-			// une liste pur les arcs entrants et une liste pour les arcs sortants
+		// On parcourt la liste des arcs pour afficher les places
+		// une liste pur les arcs entrants et une liste pour les arcs sortants
 		for (Place place : this.places) {
 			List<Arc> arcs_ENTRANTS = new ArrayList<>();
 			List<Arc> arcs_SORTANTS = new ArrayList<>();

src/test/java/org/petriNet/ReseauPetriTest.java

@@ -605,4 +605,13 @@ public class ReseauPetriTest {
         assertEquals(0, Destruction.getArcs().size(), "SA1");
     }
 
+
+
+
+
+
+
+
 }
+
+