Searched refs:pubtype (Results 1 – 1 of 1) sorted by relevance
104 private String pubtype = new String(); field in XSLTransformer173 pubtype = (String) AnyConverter.toObject( in initialize()323 if (pubtype != null) { in start()324 transformer.setParameter("publicType", pubtype); in start()