Lines Matching defs:doc
73 Document doc = null;
75 doc = getLoadingDoc(in);
79 Element propertiesElement = doc.getDocumentElement();
142 Document doc = db.newDocument();
144 doc.appendChild(doc.createElement("properties"));
148 doc.createElement("comment"));
149 comments.appendChild(doc.createTextNode(comment));
155 doc.createElement("entry"));
157 entry.appendChild(doc.createTextNode(props.getProperty(key)));
160 emitDocument(doc, os, encoding);
163 static void emitDocument(Document doc, OutputStream os, String encoding)
177 DOMSource doms = new DOMSource(doc);