? build
? patch.diff
? doc/api
? src/org/w3c/tidy/NodeHandler.java
? src/org/w3c/tidy/NodeHandlerStore.java
? src/org/w3c/tidy/patch.diff
Index: src/org/w3c/tidy/Node.java
===================================================================
RCS file: /cvsroot/jtidy/jtidy/src/org/w3c/tidy/Node.java,v
retrieving revision 1.7
diff -u -3 -p -r1.7 Node.java
--- src/org/w3c/tidy/Node.java 25 Jul 2001 19:44:41 -0000 1.7
+++ src/org/w3c/tidy/Node.java 21 Feb 2002 14:47:41 -0000
@@ -292,6 +292,8 @@ public class Node {
/* insert node into markup tree */
public static void insertNodeAtEnd(Node element, Node node)
{
+ NodeHandlerStore.getInstance().handleNode(element.getAdapter(), node.getAdapter());
+
node.parent = element;
node.prev = element.last;
Index: src/org/w3c/tidy/StreamInImpl.java
===================================================================
RCS file: /cvsroot/jtidy/jtidy/src/org/w3c/tidy/StreamInImpl.java,v
retrieving revision 1.1.1.1
diff -u -3 -p -r1.1.1.1 StreamInImpl.java
--- src/org/w3c/tidy/StreamInImpl.java 30 Oct 2000 14:21:37 -0000 1.1.1.1
+++ src/org/w3c/tidy/StreamInImpl.java 21 Feb 2002 14:47:41 -0000
@@ -115,13 +115,27 @@ public class StreamInImpl extends Stream
this.endOfStream = false;
}
+
+
+ /**
+ * Added to facilitate document.write from JavaScript in which characters
+ * written to the document must be parsed before whatever is next in the
+ * html.
+ */
+ private int getCharFromStream() throws IOException
+ {
+ int dynamicInput = NodeHandlerStore.getInstance().getDynamicInput();
+ return(dynamicInput != -1) ? dynamicInput : this.stream.read();
+ }
+
/* read char from stream */
- public int readCharFromStream()
+ public int readCharFromStream()
{
int n, c, i, count;
try {
- c = this.stream.read();
+ // Surgical incision to add dynamic buffer text
+ c = getCharFromStream();
if (c == EndOfStream) {
this.endOfStream = true;