daVinci API Definition - Overview of Answers

daVinci_answer ::=		/*Answers from the API. Details.*/
    ok					  /*Positive confirmer. Details.*/
  | communication_error(string)		  /*Negative confirmer. Details*/
  | node_selections_labels(node_ids) 	  /*Labels of sel. nodes. Details.*/
  | node_double_click 			  /*Sel. node double-clicked. Details.*/
  | edge_selection_label(edge_id) 	  /*Label of sel. edge. Details.*/
  | edge_selection_labels(node_id,node_id)/*Dito, parent/child. Details.*/
  | edge_double_click 			  /*Sel. edge double-clicked. Details.*/
  | menu_selection(menu_id) 		  /*ID of selected menu. Details*/
  | icon_selection(icon_id)		  /*ID of selected icon. Details*/
  | popup_selection_node(node_id,menu_id) /*ID of selected popup menu for node. Details.*/
  | popup_selection_edge(edge_id,menu_id) /*ID of selected popup menu for edge. Details.*/
  | context(context_id)			  /*Other context (graph). Details. */
  | context_window(context_id,window_id)  /*Other context (graph) and window. Details.*/
  | open_window 			  /*User opened a window. Details.*/
  | close_window(window_id)		  /*ID of closed window. Details. */
  | tcl_answer(string)			  /*Answer from Tcl script. Details.*/
  | browser_answer(string,string)	  /*File browser result. Details*/
  | create_node 			  /*Drop new node. Details.*/
  | create_node_and_edge(node_id) 	  /*Drop node and edge for parent ID. Details.*/
  | create_edge(node_id,node_id)	  /*Drop edge between nodes. Details.*/
  | drop_node(node_id,context_id,window_id,node_id)
					  /*Drop node from context and window on node. Details.*/
  | disconnect				  /*Termination request. Details*/
  | close				  /*Context (graph) closed. Details.*/
  | quit.				  /*daVinci terminated. Details*/