Révision 7 petri/src/element/Place.java
Place.java | ||
---|---|---|
1 | 1 |
package element; |
2 | 2 |
|
3 | 3 |
|
4 |
|
|
5 | 4 |
public class Place { |
6 | 5 |
|
7 | 6 |
private int token; |
8 |
|
|
7 |
/** |
|
8 |
* exception to handle negative value for token |
|
9 |
*/ |
|
9 | 10 |
@SuppressWarnings("serial") |
10 | 11 |
public class UndefinedToken extends Exception{ |
11 | 12 |
public UndefinedToken() { |
... | ... | |
24 | 25 |
public int getToken() { |
25 | 26 |
return this.token; |
26 | 27 |
} |
28 |
/** |
|
29 |
* @return a string representation of the place |
|
30 |
*/ |
|
27 | 31 |
public String toString() { |
28 | 32 |
return "Place Token : "+token; |
29 | 33 |
} |
30 |
|
|
34 |
/** |
|
35 |
* check if the place is not empty |
|
36 |
*/ |
|
31 | 37 |
public boolean isEmpty() { |
32 | 38 |
return (this.token==0); |
33 | 39 |
} |
34 |
|
|
40 |
/** |
|
41 |
* @param int value that the place has to add to its token value |
|
42 |
*/ |
|
35 | 43 |
public void changeToken(int i) { |
36 | 44 |
token += i; |
37 | 45 |
} |
38 |
|
|
46 |
/** |
|
47 |
* @param Object to compare to the place |
|
48 |
*the goal of this method is to check if two places are the same object (same identityHashCode) |
|
49 |
*/ |
|
39 | 50 |
public boolean equals(Object o) { |
40 | 51 |
if((o instanceof Place) &&(System.identityHashCode(((Place)o))==System.identityHashCode(this))) { |
41 | 52 |
return true; |
Formats disponibles : Unified diff