Searched defs:doc1 (Results 1 – 7 of 7) sorted by relevance
64 Document doc1 = wdoc1.getContentDOM(); in merge() local
66 Document doc1 = wdoc1.getContentDOM(); in merge() local
76 org.w3c.dom.Document doc1 = sdoc1.getContentDOM(); in merge() local
104 Document doc1 = parseXml(file1_); in diff() local
Completed in 29 milliseconds