src/jrw/sp/DocType.java

   1 package jrw.sp;
   2
   3 public class DocType {
   4     public final String rootname, pubid, dtdid;
   5
   6     public DocType(String rootname, String pubid, String dtdid) {
   7         this.rootname = rootname;
   8         this.pubid = pubid;
   9         this.dtdid = dtdid;
  10     }
  11
  12     public String format() {
  13         return(String.format("<!DOCTYPE %s PUBLIC \"%s\" \"%s\">", rootname, pubid, dtdid));
  14     }
  15 }