| Methods Summary |
|---|
| public void | convertAll()Convert all the nodes in the current document.
msg.println("<MIFFile 3.00 -- MIF produced by XmlForm>");
doRecursive(theDocument); // start recursing the document
|
| protected void | doCData(org.w3c.dom.CharacterData p)
String s = p.getData().trim();
// System.err.println("doCData: String: " + s);
if (s.length() == 0) // Sun's parser returns extra 1-space "Text"s
return;
pgfString(s);
|
| protected void | doChapter(org.w3c.dom.Element p)
msg.println("# START OF CHAPTER");
makeUpParagraph("ChapterStart", null);
|
| protected void | doChildren(org.w3c.dom.Element p)
NodeList nodes = p.getChildNodes();
int numElem = nodes.getLength();
// System.err.println("Element has " + numElem + " children");
for (int i=0; i<numElem; i++) {
Node n = nodes.item(i);
if (n == null) {
continue;
}
// System.err.println("NODE " + n.getNodeType());
switch(n.getNodeType()) {
case Node.TEXT_NODE:
// System.err.println("\tCDATA: " + n.getNodeValue());
doCData((CharacterData)n);
p.removeChild(n);
break;
case Node.ELEMENT_NODE:
// System.err.println("\tELEMENT<" + n.getNodeName() + ">");
doChildren((Element)n);
p.removeChild(n);
break;
default:
System.err.println( "Warning: unhandled child node " +
n.getNodeType() + ": " + n.getClass());
break;
}
}
|
| protected void | doCode(org.w3c.dom.Element p)Code is inserted, but only between / / + and / / - tags
NamedNodeMap attrs = p.getAttributes();
Node href;
if ((href = attrs.getNamedItem("HREF")) == null)
throw new IllegalArgumentException(
"node " + p + "lacks required HREF Attribute");
String fname = href.getNodeValue();
System.err.println("En-CODE-ing " + fname);
makeUpParagraph("Code", "// " + fname);
try {
fname = System.getProperty("codedir", ".") + '/" + fname;
LineNumberReader is = new LineNumberReader(new FileReader(fname));
gm.process(fname, is, smsg);
} catch(IOException e) {
throw new IllegalArgumentException(e.toString());
}
|
| protected void | doElement(org.w3c.dom.Element p)
String tag = p.getTagName().toLowerCase();
//
// STRUCTURE TAGS
//
if (tag.equals("head")) {
System.err.println(">>>>Start HEAD");
} else if (tag.equals("body")) {
System.err.println(">>>>Start BODY");
} else if (tag.equals("chapter")) {
doChapter(p);
//
// PARAGRAPH TAGS
//
} else if (tag.equals("chaptertitle")) {
doParagraph("ChapterTitle", p);
} else if (tag.equals("sc")) {
doParagraph("HeadA", p);
} else if (tag.equals("ss")) {
doParagraph("HeadB", p);
} else if (tag.equals("p")) {
doParagraph("Body", p);
} else if (tag.equals("pr")) {
makeUpParagraph("HeadB", "Problem");
} else if (tag.equals("so")) {
makeUpParagraph("HeadB", "Solution");
} else if (tag.equals("di")) {
makeUpParagraph("HeadB", "Discussion");
} else if (tag.equals("sa")) {
makeUpParagraph("HeadB", "See Also");
} else if (tag.equals("code")) {
doCode(p);
} else if (tag.equals("example")) {
doExample(p);
} else if (tag.equals("runoutput")) {
doRun(p);
} else if (tag.equals("pre")) {
doPre(p);
//
// STYLE TAGS
//
} else if (tag.equals("kb")) { // keyboard, map to code
System.err.println("<KB> handler not written yet");
} else if (tag.equals("bt")) { // book title, map to Citation
System.err.println("<BT> handler not written yet");
} else
System.err.println("IGNORING UNHANDLED TAG " + tag + '(" +
p.getClass() + '@" + p.hashCode() + ')");
|
| protected void | doExample(org.w3c.dom.Element p)EXAMPLEs are longer than CODEs, and are not limited by //+ //-
marks, which are therefore not required.
XXX TODO wrap a TABLE around the output.
NamedNodeMap attrs = p.getAttributes();
Node href;
if ((href = attrs.getNamedItem("HREF")) == null)
throw new IllegalArgumentException(
"node " + p + "lacks required HREF Attribute");
String fname = href.getNodeValue();
System.err.println("Making an EXAMPLE out of " + fname);
makeUpParagraph("ExampleLabel", null);
makeUpParagraph("ExampleTitle", fname);
try {
fname = System.getProperty("codedir", ".") + '/" + fname;
LineNumberReader is = new LineNumberReader(new FileReader(fname));
String line;
while ((line = is.readLine()) != null) {
indent(); pgfTag("Code");
pgfString(line);
endTag(); // end of Para
}
} catch(IOException e) {
throw new IllegalArgumentException(e.toString());
}
|
| protected void | doNode(org.w3c.dom.Node p)
if (p.getNodeType() == Node.ELEMENT_NODE)
doElement((Element)p);
else if (p.getNodeType() == Node.TEXT_NODE)
doCData((org.w3c.dom.CharacterData)p);
else
System.err.println("IGNORING non-Element: " +
p.getClass() + ':" + p.toString() + "\n" +
p.getNodeValue());
|
| protected void | doParagraph(java.lang.String tag, org.w3c.dom.Element p)Generate a paragraph from the input
indent(); pgfTag(tag);
doChildren(p);
endTag();
|
| protected void | doPre(org.w3c.dom.Element p)
doParagraph("Code", p);
|
| protected void | doRecursive(org.w3c.dom.Node n)
NodeList kids;
if (n == null)
return;
doNode(n);
kids = n.getChildNodes();
int nkids = kids.getLength();
for (int i=0; i<nkids; i++) {
doRecursive(kids.item(i));
}
|
| protected void | doRun(org.w3c.dom.Element p)Run a java class' Main Program and capture the output.
NamedNodeMap attrs = p.getAttributes();
Node myClass;
if ((myClass = attrs.getNamedItem("CLASS")) == null)
throw new IllegalArgumentException(
"node " + p + "lacks required CLASS Attribute");
String className = myClass.getNodeValue();
// makeUpParagraph("Example", "Example XX: " + className);
try {
// First, find the class.
Class c = Class.forName(className);
// Create a dummy argv to pass it.
String[] argv = new String[0];
// Create the array of Argument Types
Class[] argTypes = {
argv.getClass(), // array is Object!
};
// Now find the method
Method m = c.getMethod("main", argTypes);
// Create the actual argument array
Object passedArgv[] = { argv };
// Now invoke the method.
System.err.println("Invoking " + m + "...");
m.invoke(null, passedArgv);
} catch (Exception e) {
System.err.println(e);
}
|
| protected void | endTag()
indent(); msg.println('>" + " # end of " + tagStack.pop());
indent--;
|
| protected void | indent()
if (indent > indents.size()) {
StringBuffer sb = new StringBuffer();
for (int i=0; i<indent; i++) {
sb.append(' ");
sb.append(' ");
}
indents.addElement(sb.toString());
}
msg.print(indents.elementAt(indent>0?indent-1:0));
|
| protected void | makeUpParagraph(java.lang.String tag, java.lang.String contents)Synthesize a paragraph when we know its content.
content can be null for things like Label paragraphs.
indent(); pgfTag(tag);
if (contents != null)
pgfString(contents);
endTag();
|
| protected void | mifString(java.lang.String line)Do the minumum needed to make "line" a valid MIF string.
// Make new, big enough for translations
StringBuffer b = new StringBuffer(line.length() * 2);
b.append('<");
b.append("String"); // maybe parameterize?
b.append(' ");
b.append('`");
// Process each character.
for (int i=0; i<line.length(); i++) {
char c = line.charAt(i);
switch (c) {
case '\\": b.append("\\"); break;
case '\t": b.append("\\t"); break;
case '\'": b.append("\\xd5 "); break;
case '<": b.append("\\<"); break;
case '>": b.append("\\>"); break;
case '\r": case '\n": b.append(' "); break;
default: b.append(c); break;
}
}
b.append(' ");
b.append('\'");
b.append('>");
indent(); msg.println(b.toString());
|
| protected void | pgfString(java.lang.String s)
indent();
startTag("ParaLine");
mifString(s);
endTag();
|
| protected void | pgfTag(java.lang.String s)
startTag("Para");
startTag("Pgf");
indent(); msg.println("<PgfTag `" + s + "'>");
endTag(); // end of Pgf, not of Para!
|
| protected void | startTag(java.lang.String tag)
++indent;
indent(); msg.println('<" + tag);
tagStack.push(tag);
|
