Java Place.toStringの例

コード例 #1

ファイル: PetrinetGUI.java プロジェクト: randmaster/simple-java-petrinet

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

コード例 #2

ファイル: PetrinetGUI.java プロジェクト: randmaster/simple-java-petrinet

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