Searched refs:doctypePublic (Results 1 – 4 of 4) sorted by relevance
610 public void setDoctypePublic(String doctypePublic) in setDoctypePublic() argument612 setOutputProperty(OutputKeys.DOCTYPE_PUBLIC, doctypePublic); in setDoctypePublic()643 public void setDoctype(String doctypeSystem, String doctypePublic) in setDoctype() argument646 setOutputProperty(OutputKeys.DOCTYPE_PUBLIC, doctypePublic); in setDoctype()
655 String doctypePublic = getDoctypePublic(); in startElement() local659 doctypePublic, in startElement()
704 String doctypePublic = getDoctypePublic(); in outputDocTypeDecl() local705 if ((null != doctypeSystem) || (null != doctypePublic)) in outputDocTypeDecl()713 if (null != doctypePublic) in outputDocTypeDecl()716 writer.write(doctypePublic); in outputDocTypeDecl()722 if (null == doctypePublic) in outputDocTypeDecl()
2016 String doctypePublic = getDoctypePublic(); in outputDocTypeDecl() local2017 if (null != doctypePublic) in outputDocTypeDecl()2020 writer.write(doctypePublic); in outputDocTypeDecl()2027 if (null == doctypePublic) in outputDocTypeDecl()