graph.addEdge("BC", "B", "C");
graph.addEdge("CA", "C", "A");
A.addAttribute("xyz", 0, 1, 0);
B.addAttribute("xyz", 1, 0, 0);
C.addAttribute("xyz", -1, 0, 0);
A.addAttribute("ui.label", "Quit");
B.addAttribute("ui.label", "Editable text");
C.addAttribute("ui.label", "Click to edit");