[jrw.git] / src / jrw / sp / DocType.java

package jrw.sp;

public class DocType {
    public final String rootname, pubid, dtdid;

    public DocType(String rootname, String pubid, String dtdid) {
	this.rootname = rootname;
	this.pubid = pubid;
	this.dtdid = dtdid;
    }

    public String format() {
	return(String.format("<!DOCTYPE %s PUBLIC \"%s\" \"%s\">", rootname, pubid, dtdid));
    }
}
Commit	Line	Data
6e0043cc FT	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	}