Add method to describe mutex specificities

ta1/Main.java

@@ -37,6 +37,7 @@ class Main {
 
 		t0.describe();
 		t1.describe();
+		sharedMutex.describe();
 
 		t0.start();
 		t1.start();

ta1/Mutex.java

@@ -37,4 +37,6 @@ public abstract class Mutex {
 
 	// Release ownership
 	public abstract void v(int id);
+
+	public abstract void describe();
 }

ta1/MutexTypeD.java

@@ -32,4 +32,8 @@ class MutexTypeD extends Mutex {
 	public String toString() {
 		return "D";
 	}
+
+	public void describe() {
+		System.out.println("Mutex type D");
+	}
 }

ta1/MutexTypeH.java

@@ -28,4 +28,8 @@ class MutexTypeH extends Mutex {
 	public String toString() {
 		return "H";
 	}
+
+	public void describe() {
+		System.out.println("Mutex type H");
+	}
 }

ta1/MutexTypeN.java

@@ -1,4 +1,3 @@
-// Nummy mutex : never refuse ownership
 
 class MutexTypeN extends Mutex {
 
@@ -13,4 +12,8 @@ class MutexTypeN extends Mutex {
 	public String toString() {
 		return "N";
 	}
+
+	public void describe() {
+		System.out.println("Dummy mutex : never refuse ownership");
+	}
 }