src/jrw/sp/HtmlFormatter.java

   1 package jrw.sp;
   2
   3 import java.util.*;
   4
   5 public class HtmlFormatter extends Formatter {
   6     private static final Collection<String> shortenable = new HashSet<>(Arrays.asList("audio", "br", "hr", "img", "input", "meta", "link", "source", "video"));
   7
   8     public HtmlFormatter(Element root) {
   9         super(xhtml.doctype, root);
  10     }
  11
  12     protected boolean shorten(Element el) {
  13         if((el.name.ns == xhtml.ns) && !shortenable.contains(el.name.local))
  14             return(false);
  15         return(super.shorten(el));
  16     }
  17 }