Statistiques
| Révision:

fr_b02 / petri / src / main / ArcZero.java @ 2

Historique | Voir | Annoter | Télécharger (1,255 ko)

1
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
}