Ejemplo n.º 1
0
 public void setFinal(boolean value) {
   if (is_final != value) {
     is_final = value;
     Canvas canvas = getAutomaton().getCanvas();
     if (canvas != null) expose(canvas.getGraphics());
   }
 }
Ejemplo n.º 2
0
 public void setInitial(boolean value) {
   if (is_initial != value) {
     is_initial = value;
     getAutomaton().invalidateBounds();
     Canvas canvas = getAutomaton().getCanvas();
     if (canvas != null) expose(canvas.getGraphics());
   }
 }