/petri/src/element/Place.java - Annoter - FR_B02 - Gestion de projets élèves

fr_b02 / petri / src / element / Place.java @ 4

Historique | Voir | Annoter | Télécharger (817 octets)

-            a19coudr
+package element;
             a19coudr
             a19coudr
-            a19coudr
+public class Place {
         private int token;
-            a19coudr
+        @SuppressWarnings("serial")
         public class UndefinedToken extends Exception{
                 public UndefinedToken() {
                         super("the token cannot take a value <0");
+                }
+        }
         public Place(int token) throws UndefinedToken{
                 if(token<0) {
                         throw new UndefinedToken();
+                }
-            a19coudr
+                this.token=token;
+        }
         public int getToken() {
                 return this.token;
+        }
         public String toString() {
                 return "Place Token : "+token;
+        }
         public boolean isEmpty() {
                 return (this.token==0);
+        }
         public void changeToken(int i) {
                 token += i;
+        }
         public boolean equals(Object o) {
                 if((o instanceof Place) &&(System.identityHashCode(((Place)o))==System.identityHashCode(this))) {
                         return true;
+                }
                 else {
                         return false;
+                }
+        }
+}