From 6168dbe21f5f83b906e562ea0ab232d499b275a6 Mon Sep 17 00:00:00 2001
From: "Matt A. Tobin" <email@mattatobin.com>
Date: Wed, 15 Jan 2020 14:56:04 -0500
Subject: Add java htmlparser sources that match the original 52-level state

https://hg.mozilla.org/projects/htmlparser/
Commit: abe62ab2a9b69ccb3b5d8a231ec1ae11154c571d
---
 parser/html/java/htmlparser/ruby-gcj/DomUtils.java | 36 ++++++++++++++++++++++
 1 file changed, 36 insertions(+)
 create mode 100644 parser/html/java/htmlparser/ruby-gcj/DomUtils.java

(limited to 'parser/html/java/htmlparser/ruby-gcj/DomUtils.java')

diff --git a/parser/html/java/htmlparser/ruby-gcj/DomUtils.java b/parser/html/java/htmlparser/ruby-gcj/DomUtils.java
new file mode 100644
index 000000000..dc43da83d
--- /dev/null
+++ b/parser/html/java/htmlparser/ruby-gcj/DomUtils.java
@@ -0,0 +1,36 @@
+import java.util.HashSet;
+import org.w3c.dom.Document;
+import org.w3c.dom.Node;
+import org.w3c.dom.Element;
+
+public class DomUtils {
+
+  private static HashSet<Document> pinned_list = new HashSet<Document>();
+
+  public static synchronized void pin(Document d) {
+    pinned_list.add(d);
+  }
+
+  public static synchronized void unpin(Document d) {
+    pinned_list.remove(d);
+  }
+
+  // return all the text content contained by a single element 
+  public static void getElementContent(Element e, StringBuffer b) {
+    for (Node n = e.getFirstChild(); n!=null; n=n.getNextSibling()) {
+      if (n.getNodeType() == n.TEXT_NODE) {
+        b.append(n.getNodeValue());
+      } else if (n.getNodeType() == n.ELEMENT_NODE) {
+        getElementContent((Element) e, b);
+      }
+    }
+  }
+
+  // replace all child nodes of a given element with a single text element
+  public static void setElementContent(Element e, String s) {
+    while (e.hasChildNodes()) {
+      e.removeChild(e.getFirstChild());
+    }
+    e.appendChild(e.getOwnerDocument().createTextNode(s));
+  }
+}
-- 
cgit v1.2.3