[yavgui] Add command "product".

* yavgui/src/command_list.cc,
* yavgui/src/commands_common.hh: Do that.

ChangeLog

+2009-08-06  d-halluin  <d-halluin@lrde.epita.fr>
+
+	[yavgui] Add command "product".
+
+	* yavgui/src/command_list.cc,
+	* yavgui/src/commands_common.hh: Do that.
+
 2009-08-06  d-halluin  <d-halluin@lrde.epita.fr>
 	[yavgui] Allow transition adjustement with left click only.

yavgui/src/command_list.cc

@@ -44,6 +44,8 @@ namespace gui
  			(new commands::IsEmpty ()));
     commands_.push_back(new VcsnCommandSlot
  			(new commands::Sum ()));
+    commands_.push_back(new VcsnCommandSlot
+ 			(new commands::Product ()));
     commands_.push_back(new VcsnCommandSlot
  			(new commands::AutToExp ()));
     commands_.push_back(new VcsnCommandSlot

yavgui/src/commands_common.hh

@@ -91,7 +91,8 @@ namespace gui
 
     COMMAND_BASE(Sum,
 		 FLAG_NAME("sum");
-		 FLAG_TOOLTIP("FIXME.");
+		 FLAG_TOOLTIP("Create a new automaton as the sum"
+			      "of two automata.");
 		 FLAG_ALL;
 		 ,
 		 CODE_ALL(
@@ -104,6 +105,24 @@ namespace gui
 		     )
 		 );
 
+    COMMAND_BASE(Product,
+		 FLAG_NAME("product");
+		 FLAG_TOOLTIP("Create a new automaton as the product"
+			      "of two automata.");
+		 FLAG_B;
+		 FLAG_Z;
+		 ,
+		 CODE_BZ(
+		     GET_CURRENT_INSTANCE(i1);
+		     GET_NEW_INSTANCE(i2);
+		     Automaton& a1 = AUTOMATON(i1, Automaton);
+		     Automaton& a2 = AUTOMATON(i2, Automaton);
+		     MAKE_INSTANCE(i3, product(a1, a2), type);
+		     UPDATE_INSTANCE(i3);
+		     )
+		 CODE_FAIL_OTHERS
+		 );
+
     COMMAND_BASE(AutToExp,
 		 FLAG_NAME("aut_to_exp");
 		 FLAG_TOOLTIP("FIXME.");