--- /dev/null
+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();
+ }
+}