Révision 6 petri/src/arcElement/ArcInterface.java
ArcInterface.java | ||
---|---|---|
1 | 1 |
package arcElement; |
2 |
|
|
2 |
/** |
|
3 |
* Method that an arc must define |
|
4 |
* |
|
5 |
*/ |
|
3 | 6 |
public interface ArcInterface { |
4 |
|
|
7 |
/** |
|
8 |
* Method that do the transition |
|
9 |
* |
|
10 |
*/ |
|
5 | 11 |
public void doTransition(); |
12 |
/** |
|
13 |
* Method that check if it is pullable |
|
14 |
* |
|
15 |
*/ |
|
6 | 16 |
public boolean isPullable(); |
17 |
/** |
|
18 |
* Method that check if it is active |
|
19 |
* |
|
20 |
*/ |
|
7 | 21 |
public boolean isActive(); |
8 | 22 |
|
9 | 23 |
} |
Formats disponibles : Unified diff