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