From 8233cff5fe8640ec92637623c928569cdf897583 Mon Sep 17 00:00:00 2001
From: john <john>
Date: Sat, 15 Jun 2002 23:30:00 +0000
Subject: [PATCH] make pdf files from fo files using the ProducerLocalizer
 setup

---
 .../producer/PDFGeneratingProducerNode.java        | 57 ++++++++++++++++++++++
 1 file changed, 57 insertions(+)
 create mode 100755 source/mircoders/producer/PDFGeneratingProducerNode.java

diff --git a/source/mircoders/producer/PDFGeneratingProducerNode.java b/source/mircoders/producer/PDFGeneratingProducerNode.java
new file mode 100755
index 00000000..1c0ed6bf
--- /dev/null
+++ b/source/mircoders/producer/PDFGeneratingProducerNode.java
@@ -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();
+  }
+}
-- 
2.11.0