Premier invariant

src/train/Element.java

@@ -4,11 +4,8 @@ package train;
  * Cette classe abstraite est la représentation générique d'un élément de base d'un
  * circuit, elle factorise les fonctionnalités communes des deux sous-classes :
  * l'entrée d'un train, sa sortie et l'appartenance au circuit.<br/>
- * Les deux sous-classes sont :
- * <ol>
- *   <li>La représentation d'une gare : classe {@link Station}</li>
- *   <li>La représentation d'une section de voie ferrée : classe {@link Section}</li>
- * </ol>
+ * 
+ * 
  * 
  * @author Fabien Dagnat <fabien.dagnat@imt-atlantique.fr>
  * @author Philippe Tanguy <philippe.tanguy@imt-atlantique.fr>

src/train/Section.java

@@ -8,7 +8,25 @@ package train;
  * @author Philippe Tanguy <philippe.tanguy@imt-atlantique.fr>
  */
 public class Section extends Element {
+	private Train currentTrain = null;
+	
 	public Section(String name) {
 		super(name);
+		this.currentTrain = null;
 	}
+	
+	public synchronized void enterSection(Train t) throws InterruptedException {
+        while (currentTrain != null) {  // Attendre que la section soit libre
+            wait();
+        }
+        currentTrain = t;
+    }
+
+    public synchronized void leaveSection(Train t) {
+        if (currentTrain == t) {
+            currentTrain = null;
+            notifyAll();  // Réveille les trains en attente
+        }
+    }
+	
 }

src/train/Station.java

@@ -10,11 +10,26 @@ package train;
  */
 public class Station extends Element {
 	private final int size;
+	private int currentTrain = 0;
 
 	public Station(String name, int size) {
 		super(name);
 		if(name == null || size <=0)
 			throw new NullPointerException();
 		this.size = size;
+		this.currentTrain = 0;
 	}
+	
+	 public synchronized void enterStation(Train t) throws InterruptedException {
+	        while (currentTrain >= size) { // Si la gare est pleine, attendre
+	            wait();
+	        }
+	        currentTrain++;
+	    }
+
+	    public synchronized void leaveStation(Train t) {
+	        currentTrain--;
+	        notifyAll();  // Réveille les trains en attente
+	    }
+	
 }