fr_b02 / petri / src / main / ArcCleaner.java @ 2
Historique | Voir | Annoter | Télécharger (1,258 ko)
1 | 2 | a19coudr | package main; |
---|---|---|---|
2 | |||
3 | public class ArcCleaner extends Arc{ |
||
4 | |||
5 | |||
6 | public ArcCleaner(Place place) {
|
||
7 | super(place);
|
||
8 | |||
9 | } |
||
10 | |||
11 | public void doTransition() { |
||
12 | if (this.isActive()==true) { |
||
13 | this.getPlace().changeToken(-this.getPlace().getToken()); |
||
14 | } |
||
15 | } |
||
16 | |||
17 | public boolean isActive() { |
||
18 | return (this.getPlace().getToken()>0); |
||
19 | } |
||
20 | |||
21 | public boolean isPullable() { |
||
22 | return this.isActive(); |
||
23 | } |
||
24 | public String toString() { |
||
25 | return "ArcCleaner,"+this.getPlace(); |
||
26 | } |
||
27 | public static void main(String[] args) { |
||
28 | System.out.println("TEST METHODS ARCCLEANER"); |
||
29 | |||
30 | System.out.println(" => method isActive()"); |
||
31 | Place emptyPlace = new Place(0); |
||
32 | ArcCleaner arcc1 = new ArcCleaner(emptyPlace);
|
||
33 | Place place3 = new Place(3); |
||
34 | ArcCleaner arcc2 = new ArcCleaner(place3);
|
||
35 | System.out.println("false : "+arcc1.isActive()); |
||
36 | System.out.println("true : "+arcc2.isActive()); |
||
37 | |||
38 | |||
39 | System.out.println(" => method isPullable()"); |
||
40 | System.out.println(arcc1);
|
||
41 | System.out.println("false : "+arcc1.isPullable()); |
||
42 | System.out.println(arcc2);
|
||
43 | System.out.println("true : "+arcc2.isPullable()); |
||
44 | |||
45 | System.out.println(" => method doTranstion()"); |
||
46 | System.out.println("before : "+arcc2); |
||
47 | arcc2.doTransition(); |
||
48 | System.out.println("after : "+arcc2); |
||
49 | |||
50 | } |
||
51 | |||
52 | |||
53 | |||
54 | } |