Searched refs:docURI (Results 1 – 2 of 2) sorted by relevance
80 String docURI = factory.addExtension(baseURI); in resolveURI() local84 resolvedURI = new URL(docURI); in resolveURI()95 resolvedURI = getClass().getResource("/" + docURI); in resolveURI()100 int firstSlash = docURI.indexOf('/'); in resolveURI()104 && docURI.charAt(firstSlash - 1) == ':')) { in resolveURI()105 resolvedURI = new URL(docURI); in resolveURI()116 + docURI; in resolveURI()127 new java.io.FileNotFoundException(docURI)); in resolveURI()200 public Document load(String docURI, boolean willBeModified) throws in load() argument202 Document doc = factory.load(resolveURI(docURI)); in load()[all …]
16 public Document load(String docURI, DocumentBuilder builder) { in load() argument17 Document doc = load(resolveURI(docURI), builder); in load()40 public void preload(String contentType, String docURI, in preload() argument44 if (docURI.startsWith("staff") in preload()45 || docURI.equals("datatype_normalization")) { in preload()52 String docURI = baseURI + ".xml"; in resolveURI() local56 resolvedURI = new URL(docURI); in resolveURI()66 resolvedURI = getClass().getResource("/" + docURI); in resolveURI()71 int firstSlash = docURI.indexOf('/'); in resolveURI()74 || (firstSlash >= 1 && docURI.charAt(firstSlash - 1) == ':')) { in resolveURI()[all …]