de.uka.ilkd.key.symbolic_execution

Class SymbolicLayoutWriter

java.lang.Object

de.uka.ilkd.key.symbolic_execution.AbstractWriter

de.uka.ilkd.key.symbolic_execution.SymbolicLayoutWriter

public class SymbolicLayoutWriter
extends AbstractWriter

Allows to persistent selected properties of ISymbolicLayouts as XML file. Such files can be read via a SymbolicLayoutReader instance.

Author:

Martin Hentschel

See Also:

SymbolicLayoutReader

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	ATTRIBUTE_ARRAY_INDEX Attribute name to store ISymbolicValue.getArrayIndexString() and ISymbolicAssociation.getArrayIndexString().
static java.lang.String	ATTRIBUTE_CONDITION Attribute name to store ISymbolicValue.getConditionString() and ISymbolicAssociation.getConditionString().
static java.lang.String	ATTRIBUTE_IS_ARRAY_INDEX Attribute name to store ISymbolicValue.isArrayIndex() and ISymbolicAssociation.getArrayIndexString().
static java.lang.String	ATTRIBUTE_NAME Attribute name to store ISymbolicObject.getNameString().
static java.lang.String	ATTRIBUTE_PROGRAM_VARIABLE Attribute name to store ISymbolicValue.getProgramVariableString() and ISymbolicAssociation.getProgramVariableString().
static java.lang.String	ATTRIBUTE_REPRESENTATIVE Attribute name to store ISymbolicEquivalenceClass.getRepresentativeString().
static java.lang.String	ATTRIBUTE_TARGET Attribute name to store ISymbolicAssociation.getTarget().
static java.lang.String	ATTRIBUTE_TERM Attribute name to store an entry of ISymbolicEquivalenceClass.getTermStrings()
static java.lang.String	ATTRIBUTE_TYPE Attribute name to store ISymbolicValue.getTypeString() and ISymbolicObject.getTypeString().
static java.lang.String	ATTRIBUTE_VALUE Attribute name to store ISymbolicValue.getValueString().
static java.lang.String	TAG_ASSOCIATION Tag name to store ISymbolicAssociations.
static java.lang.String	TAG_EQUIVALENCE_CLASS Tag name to store ISymbolicEquivalenceClasss.
static java.lang.String	TAG_MODEL Tag name to store ISymbolicLayouts.
static java.lang.String	TAG_OBJECT Tag name to store ISymbolicObjects.
static java.lang.String	TAG_STATE Tag name to store ISymbolicStates.
static java.lang.String	TAG_TERM Tag name to store entries of ISymbolicEquivalenceClass.getTerms()s.
static java.lang.String	TAG_VALUE Tag name to store ISymbolicValues.

Fields inherited from class de.uka.ilkd.key.symbolic_execution.AbstractWriter

ATTRIBUTE_ENCODING, ATTRIBUTE_XML_ID, DEFAULT_ENCODING, LEADING_WHITE_SPACE_PER_LEVEL, NEW_LINE

Constructor Summary

Constructors

Constructor and Description
SymbolicLayoutWriter()

Method Summary

Modifier and Type	Method and Description
protected void	appendAssociation(int level, ISymbolicLayout model, ISymbolicAssociation association, java.lang.StringBuffer sb) Appends the given ISymbolicAssociation with its children to the given StringBuffer.
protected void	appendEquivalenceClass(int level, ISymbolicEquivalenceClass ec, java.lang.StringBuffer sb) Appends the given ISymbolicEquivalenceClass with its children to the given StringBuffer.
protected void	appendModel(int level, ISymbolicLayout model, java.lang.StringBuffer sb) Appends the given ISymbolicLayout with its children to the given StringBuffer.
protected void	appendObject(int level, ISymbolicLayout model, ISymbolicObject object, java.lang.StringBuffer sb) Appends the given ISymbolicObject with its children to the given StringBuffer.
protected void	appendState(int level, ISymbolicLayout model, ISymbolicState state, java.lang.StringBuffer sb) Appends the given ISymbolicState with its children to the given StringBuffer.
protected void	appendValue(int level, ISymbolicValue value, java.lang.StringBuffer sb) Appends the given ISymbolicValue with its children to the given StringBuffer.
protected java.lang.String	computeObjectId(ISymbolicLayout model, ISymbolicObject object) Computes a unique ID for the given object in the given model.
java.lang.String	toXML(ISymbolicLayout model, java.lang.String encoding) Converts the given ISymbolicLayout into XML.
void	write(ISymbolicLayout model, java.lang.String encoding, java.io.File file) Writes the given ISymbolicLayout as XML file.
void	write(ISymbolicLayout model, java.lang.String encoding, java.io.OutputStream out) Writes the given ISymbolicLayout into the OutputStream.

Methods inherited from class de.uka.ilkd.key.symbolic_execution.AbstractWriter

appendAttribute, appendEmptyTag, appendEndTag, appendNewLine, appendStartTag, appendWhiteSpace, appendXmlHeader

Methods inherited from class java.lang.Object

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

Field Detail

TAG_MODEL

public static final java.lang.String TAG_MODEL

Tag name to store ISymbolicLayouts.

See Also:

Constant Field Values

TAG_STATE

public static final java.lang.String TAG_STATE

Tag name to store ISymbolicStates.

See Also:

Constant Field Values

TAG_OBJECT

public static final java.lang.String TAG_OBJECT

Tag name to store ISymbolicObjects.

See Also:

Constant Field Values

TAG_VALUE

public static final java.lang.String TAG_VALUE

Tag name to store ISymbolicValues.

See Also:

Constant Field Values

TAG_ASSOCIATION

public static final java.lang.String TAG_ASSOCIATION

Tag name to store ISymbolicAssociations.

See Also:

Constant Field Values

TAG_EQUIVALENCE_CLASS

public static final java.lang.String TAG_EQUIVALENCE_CLASS

Tag name to store ISymbolicEquivalenceClasss.

See Also:

Constant Field Values

TAG_TERM

public static final java.lang.String TAG_TERM

Tag name to store entries of ISymbolicEquivalenceClass.getTerms()s.

See Also:

Constant Field Values

ATTRIBUTE_NAME

public static final java.lang.String ATTRIBUTE_NAME

Attribute name to store ISymbolicObject.getNameString().

See Also:

Constant Field Values

ATTRIBUTE_PROGRAM_VARIABLE

public static final java.lang.String ATTRIBUTE_PROGRAM_VARIABLE

Attribute name to store ISymbolicValue.getProgramVariableString() and ISymbolicAssociation.getProgramVariableString().

See Also:

Constant Field Values

ATTRIBUTE_VALUE

public static final java.lang.String ATTRIBUTE_VALUE

Attribute name to store ISymbolicValue.getValueString().

See Also:

Constant Field Values

ATTRIBUTE_CONDITION

public static final java.lang.String ATTRIBUTE_CONDITION

Attribute name to store ISymbolicValue.getConditionString() and ISymbolicAssociation.getConditionString().

See Also:

Constant Field Values

ATTRIBUTE_TARGET

public static final java.lang.String ATTRIBUTE_TARGET

Attribute name to store ISymbolicAssociation.getTarget().

See Also:

Constant Field Values

ATTRIBUTE_TERM

public static final java.lang.String ATTRIBUTE_TERM

Attribute name to store an entry of ISymbolicEquivalenceClass.getTermStrings()

See Also:

Constant Field Values

ATTRIBUTE_REPRESENTATIVE

public static final java.lang.String ATTRIBUTE_REPRESENTATIVE

Attribute name to store ISymbolicEquivalenceClass.getRepresentativeString().

See Also:

Constant Field Values

ATTRIBUTE_TYPE

public static final java.lang.String ATTRIBUTE_TYPE

Attribute name to store ISymbolicValue.getTypeString() and ISymbolicObject.getTypeString().

See Also:

Constant Field Values

ATTRIBUTE_IS_ARRAY_INDEX

public static final java.lang.String ATTRIBUTE_IS_ARRAY_INDEX

Attribute name to store ISymbolicValue.isArrayIndex() and ISymbolicAssociation.getArrayIndexString().

See Also:

Constant Field Values

ATTRIBUTE_ARRAY_INDEX

public static final java.lang.String ATTRIBUTE_ARRAY_INDEX

Attribute name to store ISymbolicValue.getArrayIndexString() and ISymbolicAssociation.getArrayIndexString().

See Also:

Constant Field Values

Constructor Detail

SymbolicLayoutWriter

public SymbolicLayoutWriter()

Method Detail

write

public void write(ISymbolicLayout model,
                  java.lang.String encoding,
                  java.io.File file)
           throws java.io.IOException

Writes the given ISymbolicLayout as XML file.

Parameters:

model - The ISymbolicLayout to save.

encoding - The encoding to use.

file - The File to save to.

Throws:

java.io.IOException - Occurred Exception.

write

public void write(ISymbolicLayout model,
                  java.lang.String encoding,
                  java.io.OutputStream out)
           throws java.io.IOException

Writes the given ISymbolicLayout into the OutputStream.

Parameters:

node - The ISymbolicLayout to save.

encoding - The encoding to use.

out - The OutputStream to save to. The OutputStream will be closed by this method.

Throws:

java.io.IOException - Occurred Exception.

toXML

public java.lang.String toXML(ISymbolicLayout model,
                              java.lang.String encoding)

Converts the given ISymbolicLayout into XML.

Parameters:

node - The ISymbolicLayout to convert.

encoding - The encoding to use.

Returns:

The created XML content.

appendModel

protected void appendModel(int level,
                           ISymbolicLayout model,
                           java.lang.StringBuffer sb)

Appends the given ISymbolicLayout with its children to the given StringBuffer.

Parameters:

level - The level to use.

model - The ISymbolicLayout to append.

sb - The StringBuffer to append to.

appendEquivalenceClass

protected void appendEquivalenceClass(int level,
                                      ISymbolicEquivalenceClass ec,
                                      java.lang.StringBuffer sb)

Appends the given ISymbolicEquivalenceClass with its children to the given StringBuffer.

Parameters:

level - The level to use.

ec - The ISymbolicEquivalenceClass to append.

sb - The StringBuffer to append to.

appendState

protected void appendState(int level,
                           ISymbolicLayout model,
                           ISymbolicState state,
                           java.lang.StringBuffer sb)

Appends the given ISymbolicState with its children to the given StringBuffer.

Parameters:

level - The level to use.

model - The ISymbolicLayout which provides all objects.

state - The ISymbolicState to append.

sb - The StringBuffer to append to.

appendObject

protected void appendObject(int level,
                            ISymbolicLayout model,
                            ISymbolicObject object,
                            java.lang.StringBuffer sb)

Appends the given ISymbolicObject with its children to the given StringBuffer.

Parameters:

level - The level to use.

model - The ISymbolicLayout which provides all objects.

object - The ISymbolicObject to append.

sb - The StringBuffer to append to.

appendValue

protected void appendValue(int level,
                           ISymbolicValue value,
                           java.lang.StringBuffer sb)

Appends the given ISymbolicValue with its children to the given StringBuffer.

Parameters:

level - The level to use.

value - The ISymbolicValue to append.

sb - The StringBuffer to append to.

appendAssociation

protected void appendAssociation(int level,
                                 ISymbolicLayout model,
                                 ISymbolicAssociation association,
                                 java.lang.StringBuffer sb)

Appends the given ISymbolicAssociation with its children to the given StringBuffer.

Parameters:

level - The level to use.

model - The ISymbolicLayout which provides all objects.

association - The ISymbolicAssociation to append.

sb - The StringBuffer to append to.

computeObjectId

protected java.lang.String computeObjectId(ISymbolicLayout model,
                                           ISymbolicObject object)

Computes a unique ID for the given object in the given model.

Parameters:

model - The ISymbolicLayout which provides all objects.

object - The ISymbolicObject to compute its unique ID.

Returns:

The unique ID.