make pdf files from fo files using the ProducerLocalizer setup
authorjohn <john>
Sat, 15 Jun 2002 23:30:00 +0000 (23:30 +0000)
committerjohn <john>
Sat, 15 Jun 2002 23:30:00 +0000 (23:30 +0000)
source/mircoders/producer/PDFGeneratingProducerNode.java [new file with mode: 0755]

diff --git a/source/mircoders/producer/PDFGeneratingProducerNode.java b/source/mircoders/producer/PDFGeneratingProducerNode.java
new file mode 100755 (executable)
index 0000000..1c0ed6b
--- /dev/null
@@ -0,0 +1,57 @@
+package mircoders.producer;
+
+import java.util.*;
+import java.io.*;
+import mir.util.*;
+import mir.producer.*;
+import mir.generator.*;
+import mir.misc.PDFUtil;
+import mircoders.global.*;
+import mircoders.localizer.*;
+
+
+
+
+public class PDFGeneratingProducerNode implements ProducerNode {
+  private String generatorExpression;
+  private String destinationExpression;
+
+  public PDFGeneratingProducerNode(String aGenerator, String aDestination) {
+    generatorExpression=aGenerator;
+    destinationExpression=aDestination;
+  }
+
+  public void produce(Map aValueMap, String aVerb, PrintWriter aLogger) throws ProducerFailure {
+      
+    String generatorIdentifier;
+    String destinationIdentifier;
+
+         long startTime;
+         long endTime;
+
+         startTime = System.currentTimeMillis();
+    try {
+      
+      destinationIdentifier = ParameterExpander.expandExpression( aValueMap, destinationExpression );
+      generatorIdentifier = ParameterExpander.expandExpression( aValueMap, generatorExpression );
+
+      aLogger.println("Generating " + generatorIdentifier + " into " + destinationIdentifier);
+      aLogger.flush();
+      
+      PDFUtil.makePDF(generatorIdentifier,destinationIdentifier);
+
+       }
+       catch (Throwable t) {
+         aLogger.println("  error while generating: " + t.getMessage());
+      aLogger.flush();
+    }
+    endTime = System.currentTimeMillis();
+
+    aLogger.println("  Time: " + (endTime-startTime) + " ms<br>");
+    aLogger.flush();
+  }
+
+  public Set buildVerbSet() {
+    return new HashSet();
+  }
+}