Révision 4 petri/src/main/Network.java
Network.java | ||
---|---|---|
4 | 4 |
import java.util.ArrayList; |
5 | 5 |
import java.util.List; |
6 | 6 |
|
7 |
import arc.Arc; |
|
8 |
import arc.ArcCleaner; |
|
9 |
import arc.ArcEntering; |
|
10 |
import arc.ArcOutering; |
|
11 |
import arc.ArcZero; |
|
7 |
import arcElement.Arc;
|
|
8 |
import arcElement.ArcCleaner;
|
|
9 |
import arcElement.ArcEntering;
|
|
10 |
import arcElement.ArcOutering;
|
|
11 |
import arcElement.ArcZero;
|
|
12 | 12 |
import element.Place; |
13 |
import element.Place.UndefinedToken; |
|
13 | 14 |
import element.Transition; |
14 | 15 |
|
15 | 16 |
public class Network { |
... | ... | |
31 | 32 |
Transition transition = new Transition(); |
32 | 33 |
listTransition.add(transition); |
33 | 34 |
} |
34 |
public void addPlace(int value) { |
|
35 |
public void addPlace(int value) throws UndefinedToken {
|
|
35 | 36 |
Place place = new Place(value); |
36 | 37 |
placeList.add(place); |
37 | 38 |
} |
... | ... | |
94 | 95 |
res=res+"]"; |
95 | 96 |
return res; |
96 | 97 |
} |
97 |
public static void main(String[] args) { |
|
98 |
public static void main(String[] args) throws UndefinedToken {
|
|
98 | 99 |
|
99 | 100 |
Network n0=new Network(); |
100 | 101 |
n0.addPlace(5); |
... | ... | |
178 | 179 |
|
179 | 180 |
} |
180 | 181 |
|
182 |
|
|
183 |
public List<Place> getPlaceList() { |
|
184 |
return placeList; |
|
185 |
} |
|
186 |
|
|
187 |
|
|
188 |
public List<Transition> getListTransition() { |
|
189 |
return listTransition; |
|
190 |
} |
|
191 |
|
|
181 | 192 |
} |
Formats disponibles : Unified diff