soot.xml
Class XMLPrinter

java.lang.Object
  |
  +--soot.xml.XMLPrinter

public class XMLPrinter
extends java.lang.Object

XML printing routines all XML output comes through here


Field Summary
static java.lang.String dtdHeader
           
 XMLRoot root
           
static java.lang.String xmlHeader
           
 
Constructor Summary
XMLPrinter(Singletons.Global g)
           
 
Method Summary
 XMLNode addElement(java.lang.String name)
           
 XMLNode addElement(java.lang.String name, java.lang.String value)
           
 XMLNode addElement(java.lang.String name, java.lang.String value, java.lang.String[] attributes)
           
 XMLNode addElement(java.lang.String name, java.lang.String value, java.lang.String[] attributes, java.lang.String[] values)
           
 XMLNode addElement(java.lang.String name, java.lang.String value, java.lang.String attribute, java.lang.String attributeValue)
           
 void printJimpleStyleTo(SootClass cl, java.io.PrintWriter out)
           
 XMLNode setXMLNode(XMLNode node)
           
 java.lang.String toString()
           
static XMLPrinter v()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

xmlHeader

public static final java.lang.String xmlHeader

dtdHeader

public static final java.lang.String dtdHeader

root

public XMLRoot root
Constructor Detail

XMLPrinter

public XMLPrinter(Singletons.Global g)
Method Detail

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

addElement

public XMLNode addElement(java.lang.String name)

addElement

public XMLNode addElement(java.lang.String name,
                          java.lang.String value)

addElement

public XMLNode addElement(java.lang.String name,
                          java.lang.String value,
                          java.lang.String[] attributes)

addElement

public XMLNode addElement(java.lang.String name,
                          java.lang.String value,
                          java.lang.String attribute,
                          java.lang.String attributeValue)

addElement

public XMLNode addElement(java.lang.String name,
                          java.lang.String value,
                          java.lang.String[] attributes,
                          java.lang.String[] values)

v

public static XMLPrinter v()

setXMLNode

public XMLNode setXMLNode(XMLNode node)

printJimpleStyleTo

public void printJimpleStyleTo(SootClass cl,
                               java.io.PrintWriter out)