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