+ public static class PDFPreFormattingProducerNodeBuilder extends DefaultProducerNodeBuilders.AbstractProducerNodeBuilder {
+ private final static String MARKER_KEY_ATTRIBUTE = DefaultProducerNodeBuilders.KEY_ATTRIBUTE;
+ private final static String[] MARKER_REQUIRED_ATTRIBUTES = { MARKER_KEY_ATTRIBUTE };
+ private final static String[] MARKER_OPTIONAL_ATTRIBUTES = {};
+ private final static String[] MARKER_SUBNODES = {};
+
+ private String key;
+
+ public PDFPreFormattingProducerNodeBuilder() {
+ super(MARKER_SUBNODES);
+ }
+
+ public void setAttributes(Map anAttributes) throws ProducerConfigExc {
+ ReaderTool.checkAttributes(anAttributes, MARKER_REQUIRED_ATTRIBUTES, MARKER_OPTIONAL_ATTRIBUTES);
+
+ key = (String) anAttributes.get(MARKER_KEY_ATTRIBUTE);
+ };
+
+ public ProducerNode constructNode() {
+ return new PDFPreFormattingProducerNode(key);
+ };
+ }
+