Commit | Line | Data |
---|---|---|
816cbb00 FT |
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; | |
6e40b32e FT |
22 | String ns = el.getNamespaceURI(); |
23 | if((ns != null) && ns.equals(DocBuffer.ns) && el.getTagName().equals("cursor") && el.getAttributeNS(null, "name").equals(name)) | |
816cbb00 FT |
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 + "'")); | |
6e40b32e | 49 | c.getParentNode().insertBefore(doc.importNode(n, true), c); |
816cbb00 FT |
50 | } |
51 | ||
52 | public Element makecursor(String name) { | |
53 | Element el = doc.createElementNS(ns, "cursor"); | |
6e40b32e | 54 | Attr a = doc.createAttributeNS(null, "name"); |
816cbb00 FT |
55 | a.setValue(name); |
56 | el.setAttributeNodeNS(a); | |
57 | return(el); | |
58 | } | |
59 | ||
60 | public Element el(String ns, String nm, Node contents, String... attrs) { | |
61 | Element el = doc.createElementNS(ns, nm); | |
62 | if(contents != null) | |
63 | el.appendChild(contents); | |
64 | for(String attr : attrs) { | |
65 | int p = attr.indexOf('='); | |
66 | el.setAttribute(attr.substring(0, p), attr.substring(p + 1)); | |
67 | } | |
68 | return(el); | |
69 | } | |
70 | ||
71 | public Text text(String text) { | |
72 | return(doc.createTextNode(text)); | |
73 | } | |
6e40b32e FT |
74 | |
75 | public void finalise() { | |
76 | Node n = doc; | |
77 | while(true) { | |
78 | Node nx; | |
79 | if(n.getFirstChild() != null) { | |
80 | nx = n.getFirstChild(); | |
81 | } else if(n.getNextSibling() != null) { | |
82 | nx = n.getNextSibling(); | |
83 | } else { | |
84 | for(nx = n.getParentNode(); nx != null; nx = nx.getParentNode()) { | |
85 | if(nx.getNextSibling() != null) { | |
86 | nx = nx.getNextSibling(); | |
87 | break; | |
88 | } | |
89 | } | |
90 | } | |
91 | String ns = n.getNamespaceURI(); | |
92 | if((ns != null) && ns.equals(DocBuffer.ns)) | |
93 | n.getParentNode().removeChild(n); | |
94 | if(nx == null) | |
95 | break; | |
96 | else | |
97 | n = nx; | |
98 | } | |
99 | } | |
816cbb00 | 100 | } |