equal
deleted
inserted
replaced
212 |
212 |
213 private Formatter getFormatter() throws ConfigurationException, FormatterException { |
213 private Formatter getFormatter() throws ConfigurationException, FormatterException { |
214 String formatterName = options.getFormatterName(); |
214 String formatterName = options.getFormatterName(); |
215 formatterName = formatterName == null ? Configuration.DEFAULT_FORMATTER_PREFETCHING : formatterName; |
215 formatterName = formatterName == null ? Configuration.DEFAULT_FORMATTER_PREFETCHING : formatterName; |
216 FormatterDefinition fd = configurationProvider.getConfiguration().getFormatter(formatterName); |
216 FormatterDefinition fd = configurationProvider.getConfiguration().getFormatter(formatterName); |
217 FormatterContext context = new FormatterContext(out); |
217 FormatterContext context = new FormatterContext(out, options.getFormatterProperties()); |
218 return fd.getInstance(context); |
218 return fd.getInstance(context); |
219 } |
219 } |
220 |
220 |
221 private ColumnsHeader constructHeader(HeaderField... fields) throws FormatterException { |
221 private ColumnsHeader constructHeader(HeaderField... fields) throws FormatterException { |
222 try { |
222 try { |