Esempi in Java per Place

Esempio n. 1

File: PetrinetGUI.java Progetto: randmaster/simple-java-petrinet

 @Override
 public String getText() {
   if (place == null) {
     return null;
   }
   return place.toString();
 }

Esempio n. 2

File: PetrinetGUI.java Progetto: randmaster/simple-java-petrinet

 public PlaceLabel(Place p) {
   super(p.toString());
   this.place = p;
 }