fr_b02 / petri / src / element / Place.java @ 4
Historique | Voir | Annoter | Télécharger (817 octets)
1 |
package element; |
---|---|
2 |
|
3 |
|
4 |
|
5 |
public class Place { |
6 |
|
7 |
private int token; |
8 |
|
9 |
@SuppressWarnings("serial") |
10 |
public class UndefinedToken extends Exception{ |
11 |
public UndefinedToken() {
|
12 |
super("the token cannot take a value <0"); |
13 |
} |
14 |
|
15 |
} |
16 |
|
17 |
public Place(int token) throws UndefinedToken{ |
18 |
if(token<0) { |
19 |
throw new UndefinedToken(); |
20 |
} |
21 |
this.token=token;
|
22 |
} |
23 |
|
24 |
public int getToken() { |
25 |
return this.token; |
26 |
} |
27 |
public String toString() { |
28 |
return "Place Token : "+token; |
29 |
} |
30 |
|
31 |
public boolean isEmpty() { |
32 |
return (this.token==0); |
33 |
} |
34 |
|
35 |
public void changeToken(int i) { |
36 |
token += i; |
37 |
} |
38 |
|
39 |
public boolean equals(Object o) { |
40 |
if((o instanceof Place) &&(System.identityHashCode(((Place)o))==System.identityHashCode(this))) { |
41 |
return true; |
42 |
} |
43 |
else {
|
44 |
return false; |
45 |
} |
46 |
} |
47 |
|
48 |
} |