| 1 | package dolda.jsvc.next; |
| 2 | |
| 3 | import java.util.*; |
| 4 | import org.w3c.dom.*; |
| 5 | |
| 6 | public class DocBuffer { |
| 7 | public final Document doc; |
| 8 | private final Map<String, Node> cursors = new HashMap<String, Node>(); |
| 9 | public static final String ns = "jsvc:next:buffer"; |
| 10 | |
| 11 | public DocBuffer(String ns, String root, String doctype, String pubid, String sysid) { |
| 12 | doc = DomUtil.document(ns, root, doctype, pubid, sysid); |
| 13 | } |
| 14 | |
| 15 | public DocBuffer(String ns, String root) { |
| 16 | this(ns, root, null, null, null); |
| 17 | } |
| 18 | |
| 19 | private Node findcursor(Node c, String name) { |
| 20 | if(c instanceof Element) { |
| 21 | Element el = (Element)c; |
| 22 | String ns = el.getNamespaceURI(); |
| 23 | if((ns != null) && ns.equals(DocBuffer.ns) && el.getTagName().equals("cursor") && el.getAttributeNS(null, "name").equals(name)) |
| 24 | return(c); |
| 25 | } |
| 26 | for(Node n = c.getFirstChild(); n != null; n = n.getNextSibling()) { |
| 27 | Node r = findcursor(n, name); |
| 28 | if(r != null) |
| 29 | return(r); |
| 30 | } |
| 31 | return(null); |
| 32 | } |
| 33 | |
| 34 | private Node cursor(String name) { |
| 35 | Node n; |
| 36 | if((n = cursors.get(name)) != null) { |
| 37 | return(n); |
| 38 | } |
| 39 | if((n = findcursor(doc, name)) == null) |
| 40 | return(null); |
| 41 | cursors.put(name, n); |
| 42 | return(n); |
| 43 | } |
| 44 | |
| 45 | public void insert(String cursor, Node n) { |
| 46 | Node c = cursor(cursor); |
| 47 | if(c == null) |
| 48 | throw(new RuntimeException("No such cursor: `" + cursor + "'")); |
| 49 | if(n.getOwnerDocument() != doc) |
| 50 | n = doc.importNode(n, true); |
| 51 | c.getParentNode().insertBefore(n, c); |
| 52 | } |
| 53 | |
| 54 | public Element makecursor(String name) { |
| 55 | Element el = doc.createElementNS(ns, "cursor"); |
| 56 | Attr a = doc.createAttributeNS(null, "name"); |
| 57 | a.setValue(name); |
| 58 | el.setAttributeNodeNS(a); |
| 59 | return(el); |
| 60 | } |
| 61 | |
| 62 | public Element el(String ns, String nm, Node contents, String... attrs) { |
| 63 | Element el = doc.createElementNS(ns, nm); |
| 64 | if(contents != null) |
| 65 | el.appendChild(contents); |
| 66 | for(String attr : attrs) { |
| 67 | int p = attr.indexOf('='); |
| 68 | el.setAttribute(attr.substring(0, p), attr.substring(p + 1)); |
| 69 | } |
| 70 | return(el); |
| 71 | } |
| 72 | |
| 73 | public Text text(String text) { |
| 74 | if(text == null) |
| 75 | return(null); |
| 76 | return(doc.createTextNode(text)); |
| 77 | } |
| 78 | |
| 79 | public void finalise() { |
| 80 | Node n = doc; |
| 81 | while(true) { |
| 82 | Node nx; |
| 83 | if(n.getFirstChild() != null) { |
| 84 | nx = n.getFirstChild(); |
| 85 | } else if(n.getNextSibling() != null) { |
| 86 | nx = n.getNextSibling(); |
| 87 | } else { |
| 88 | for(nx = n.getParentNode(); nx != null; nx = nx.getParentNode()) { |
| 89 | if(nx.getNextSibling() != null) { |
| 90 | nx = nx.getNextSibling(); |
| 91 | break; |
| 92 | } |
| 93 | } |
| 94 | } |
| 95 | String ns = n.getNamespaceURI(); |
| 96 | if((ns != null) && ns.equals(DocBuffer.ns)) |
| 97 | n.getParentNode().removeChild(n); |
| 98 | if(nx == null) |
| 99 | break; |
| 100 | else |
| 101 | n = nx; |
| 102 | } |
| 103 | } |
| 104 | } |