CopyDir now also copies files

[mir.git] / source / mir / producer / ProducerFactory.java

diff --git a/source/mir/producer/ProducerFactory.java b/source/mir/producer/ProducerFactory.java
index fe985f8..47efeac 100755 (executable)
--- a/source/mir/producer/ProducerFactory.java
+++ b/source/mir/producer/ProducerFactory.java
@@ -34,7 +34,13 @@ package mir.producer;
 import java.util.*;
 
 public interface ProducerFactory {
+  public interface ProducerVerb {
+    String getName();
+    String getDescription();
+  }
+
+  public String getName();
   public Producer makeProducer(String aVerb, Map aStartingValues) throws ProducerFailure, ProducerExc;
-  public Iterator verbs();
+  public Iterator verbs(); /* returns ProducerVerbs */
 }