public void print(GroupedWriter fout) { super.print(fout); fout.print("name "); fout.printlnGroup(name); if (isInitial()) { fout.print("initial "); fout.printlnGroup("yes"); } if (isFinal()) { fout.print("final "); fout.printlnGroup("yes"); } fout.print("coord "); fout.printlnGroup(x + " " + y); }
public void createMenu(JPopupMenu menu) { menu.add(new InitialItem()); menu.add(new FinalItem()); super.createMenu(menu); }