de.uka.ilkd.key.symbolic_execution

Class AbstractWriter

java.lang.Object

de.uka.ilkd.key.symbolic_execution.AbstractWriter

Direct Known Subclasses:

ExecutionNodeWriter, SymbolicLayoutWriter

public abstract class AbstractWriter
extends Object

Provides the basic functionality for classes like ExecutionNodeWriter and SymbolicLayoutWriter which encodes an object structure as XML.

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
static String	ATTRIBUTE_ENCODING Attribute name to store encodings.
static String	ATTRIBUTE_XML_ID Attribute name to store the XML ID.
static String	DEFAULT_ENCODING The default enconding.
static String	LEADING_WHITE_SPACE_PER_LEVEL The used leading white space in each level.
static String	NEW_LINE New line.

Constructor Summary

Constructors

Constructor and Description
AbstractWriter()

Method Summary

Modifier and Type	Method and Description
protected void	appendAttribute(String attributeName, String value, StringBuffer sb) Adds an XML attribute to the given StringBuffer.
protected void	appendEmptyTag(int level, String tagName, Map<String,String> attributeValues, StringBuffer sb) Appends an empty tag to the given StringBuffer.
protected void	appendEndTag(int level, String tagName, StringBuffer sb) Appends an end tag to the given StringBuffer.
protected void	appendNewLine(StringBuffer sb) Adds a line break to the given StringBuffer.
protected void	appendStartTag(int level, String tagName, Map<String,String> attributeValues, StringBuffer sb) Appends a start tag to the given StringBuffer.
protected void	appendWhiteSpace(int level, StringBuffer sb) Adds leading white space to the StringBuffer.
protected void	appendXmlHeader(String encoding, StringBuffer sb) Adds an XML header to the given StringBuffer.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

NEW_LINE

public static final String NEW_LINE

New line.

LEADING_WHITE_SPACE_PER_LEVEL

public static final String LEADING_WHITE_SPACE_PER_LEVEL

The used leading white space in each level.

See Also:

Constant Field Values

DEFAULT_ENCODING

public static final String DEFAULT_ENCODING

The default enconding.

See Also:

Constant Field Values

ATTRIBUTE_ENCODING

public static final String ATTRIBUTE_ENCODING

Attribute name to store encodings.

See Also:

Constant Field Values

ATTRIBUTE_XML_ID

public static final String ATTRIBUTE_XML_ID

Attribute name to store the XML ID.

See Also:

Constant Field Values

Constructor Detail

AbstractWriter

public AbstractWriter()

Method Detail

appendEmptyTag

protected void appendEmptyTag(int level,
                              String tagName,
                              Map<String,String> attributeValues,
                              StringBuffer sb)

Appends an empty tag to the given StringBuffer.

Parameters:

level - The level.

tagName - The tag name.

attributeValues - The attributes.

sb - The StringBuffer to append to.

appendStartTag

protected void appendStartTag(int level,
                              String tagName,
                              Map<String,String> attributeValues,
                              StringBuffer sb)

Appends a start tag to the given StringBuffer.

Parameters:

level - The level.

tagName - The tag name.

attributeValues - The attributes.

sb - The StringBuffer to append to.

appendEndTag

protected void appendEndTag(int level,
                            String tagName,
                            StringBuffer sb)

Appends an end tag to the given StringBuffer.

Parameters:

level - The level.

tagName - The tag name.

sb - The StringBuffer to append to.

appendWhiteSpace

protected void appendWhiteSpace(int level,
                                StringBuffer sb)

Adds leading white space to the StringBuffer.

Parameters:

level - The level in the tree used for leading white space (formating).

sb - The StringBuffer to write to.

appendAttribute

protected void appendAttribute(String attributeName,
                               String value,
                               StringBuffer sb)

Adds an XML attribute to the given StringBuffer.

Parameters:

attributeName - The attribute name.

value - The attribute value.

sb - The StringBuffer to write to.

appendXmlHeader

protected void appendXmlHeader(String encoding,
                               StringBuffer sb)

Adds an XML header to the given StringBuffer.

Parameters:

encoding - The encoding to use.

sb - The StringBuffer to write to.

appendNewLine

protected void appendNewLine(StringBuffer sb)

Adds a line break to the given StringBuffer.

Parameters:

sb - The StringBuffer to write to.