de.uka.ilkd.key.symbolic_execution

Class SymbolicLayoutReader

java.lang.Object

de.uka.ilkd.key.symbolic_execution.SymbolicLayoutReader

public class SymbolicLayoutReader
extends java.lang.Object

Allows to read XML files which contains an object model written via an SymbolicLayoutWriter.

Author:

Martin Hentschel

See Also:

SymbolicLayoutWriter

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	SymbolicLayoutReader.AbstractKeYlessAssociationValueContainer An implementation of ISymbolicAssociationValueContainer which is independent from KeY and provides such only children and default attributes.
static class	SymbolicLayoutReader.AbstractKeYlessElement An implementation of ISymbolicElement which is independent from KeY and provides such only children and default attributes.
static class	SymbolicLayoutReader.KeYlessAssociation An implementation of ISymbolicAssociation which is independent from KeY and provides such only children and default attributes.
static class	SymbolicLayoutReader.KeYlessEquivalenceClass An implementation of ISymbolicEquivalenceClass which is independent from KeY and provides such only children and default attributes.
static class	SymbolicLayoutReader.KeYlessLayout An implementation of ISymbolicLayout which is independent from KeY and provides such only children and default attributes.
static class	SymbolicLayoutReader.KeYlessObject An implementation of ISymbolicObject which is independent from KeY and provides such only children and default attributes.
static class	SymbolicLayoutReader.KeYlessState An implementation of ISymbolicState which is independent from KeY and provides such only children and default attributes.
static class	SymbolicLayoutReader.KeYlessValue An implementation of ISymbolicValue which is independent from KeY and provides such only children and default attributes.
private class	SymbolicLayoutReader.SEDSAXHandler DefaultHandler implementation used in ExecutionNodeReader.read(InputStream).

Constructor Summary

Constructors

Constructor and Description
SymbolicLayoutReader()

Method Summary

Modifier and Type	Method and Description
protected java.lang.String	getArrayIndexString(org.xml.sax.Attributes attributes) Returns the array index value.
protected java.lang.String	getConditionString(org.xml.sax.Attributes attributes) Returns the condition value.
protected java.lang.String	getId(org.xml.sax.Attributes attributes) Returns the ID value.
protected java.lang.String	getName(org.xml.sax.Attributes attributes) Returns the name value.
protected java.lang.String	getProgramVariableString(org.xml.sax.Attributes attributes) Returns the program variable value.
protected java.lang.String	getRepresentativeTerm(org.xml.sax.Attributes attributes) Returns the representative term value.
protected java.lang.String	getTarget(org.xml.sax.Attributes attributes) Returns the target value.
protected java.lang.String	getTerm(org.xml.sax.Attributes attributes) Returns the term value.
protected java.lang.String	getTypeString(org.xml.sax.Attributes attributes) Returns the type value.
protected java.lang.String	getValueString(org.xml.sax.Attributes attributes) Returns the value value.
protected boolean	isArrayIndex(org.xml.sax.Attributes attributes) Returns the is array index flag.
protected boolean	isAssociation(java.lang.String uri, java.lang.String localName, java.lang.String qName) Checks if the currently parsed tag represents an ISymbolicAssociation.
protected boolean	isEquivalenceClass(java.lang.String uri, java.lang.String localName, java.lang.String qName) Checks if the currently parsed tag represents an ISymbolicEquivalenceClass.
protected boolean	isModel(java.lang.String uri, java.lang.String localName, java.lang.String qName) Checks if the currently parsed tag represents an ISymbolicLayout.
protected boolean	isObject(java.lang.String uri, java.lang.String localName, java.lang.String qName) Checks if the currently parsed tag represents an ISymbolicObject.
protected boolean	isState(java.lang.String uri, java.lang.String localName, java.lang.String qName) Checks if the currently parsed tag represents an ISymbolicState.
protected boolean	isTerm(java.lang.String uri, java.lang.String localName, java.lang.String qName) Checks if the currently parsed tag represents a term.
protected boolean	isValue(java.lang.String uri, java.lang.String localName, java.lang.String qName) Checks if the currently parsed tag represents an ISymbolicValue.
ISymbolicLayout	read(java.io.File file) Reads the given File.
ISymbolicLayout	read(java.io.InputStream in) Reads from the given InputStream and closes it.

Methods inherited from class java.lang.Object

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

Constructor Detail

SymbolicLayoutReader

public SymbolicLayoutReader()

Method Detail

read

public ISymbolicLayout read(java.io.File file)
                     throws javax.xml.parsers.ParserConfigurationException,
                            org.xml.sax.SAXException,
                            java.io.IOException

Reads the given File.

Parameters:

file - The File to read.

Returns:

The root of the model.

Throws:

javax.xml.parsers.ParserConfigurationException - Occurred Exception.

org.xml.sax.SAXException - Occurred Exception.

java.io.IOException - Occurred Exception.

read

public ISymbolicLayout read(java.io.InputStream in)
                     throws javax.xml.parsers.ParserConfigurationException,
                            org.xml.sax.SAXException,
                            java.io.IOException

Reads from the given InputStream and closes it.

Parameters:

in - The InputStream to read from.

Returns:

The root of the model.

Throws:

javax.xml.parsers.ParserConfigurationException - Occurred Exception.

org.xml.sax.SAXException - Occurred Exception.

java.io.IOException - Occurred Exception.

isModel

protected boolean isModel(java.lang.String uri,
                          java.lang.String localName,
                          java.lang.String qName)

Checks if the currently parsed tag represents an ISymbolicLayout.

Parameters:

uri - The URI.

localName - THe local name.

qName - The qName.

Returns:

true represents an ISymbolicLayout, false is something else.

isAssociation

protected boolean isAssociation(java.lang.String uri,
                                java.lang.String localName,
                                java.lang.String qName)

Checks if the currently parsed tag represents an ISymbolicAssociation.

Parameters:

uri - The URI.

localName - THe local name.

qName - The qName.

Returns:

true represents an ISymbolicAssociation, false is something else.

isValue

protected boolean isValue(java.lang.String uri,
                          java.lang.String localName,
                          java.lang.String qName)

Checks if the currently parsed tag represents an ISymbolicValue.

Parameters:

uri - The URI.

localName - THe local name.

qName - The qName.

Returns:

true represents an ISymbolicValue, false is something else.

isObject

protected boolean isObject(java.lang.String uri,
                           java.lang.String localName,
                           java.lang.String qName)

Checks if the currently parsed tag represents an ISymbolicObject.

Parameters:

uri - The URI.

localName - THe local name.

qName - The qName.

Returns:

true represents an ISymbolicObject, false is something else.

isState

protected boolean isState(java.lang.String uri,
                          java.lang.String localName,
                          java.lang.String qName)

Checks if the currently parsed tag represents an ISymbolicState.

Parameters:

uri - The URI.

localName - THe local name.

qName - The qName.

Returns:

true represents an ISymbolicState, false is something else.

isEquivalenceClass

protected boolean isEquivalenceClass(java.lang.String uri,
                                     java.lang.String localName,
                                     java.lang.String qName)

Checks if the currently parsed tag represents an ISymbolicEquivalenceClass.

Parameters:

uri - The URI.

localName - THe local name.

qName - The qName.

Returns:

true represents an ISymbolicEquivalenceClass, false is something else.

isTerm

protected boolean isTerm(java.lang.String uri,
                         java.lang.String localName,
                         java.lang.String qName)

Checks if the currently parsed tag represents a term.

Parameters:

uri - The URI.

localName - THe local name.

qName - The qName.

Returns:

true represents a term, false is something else.

getValueString

protected java.lang.String getValueString(org.xml.sax.Attributes attributes)

Returns the value value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getConditionString

protected java.lang.String getConditionString(org.xml.sax.Attributes attributes)

Returns the condition value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getTypeString

protected java.lang.String getTypeString(org.xml.sax.Attributes attributes)

Returns the type value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getProgramVariableString

protected java.lang.String getProgramVariableString(org.xml.sax.Attributes attributes)

Returns the program variable value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getName

protected java.lang.String getName(org.xml.sax.Attributes attributes)

Returns the name value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getArrayIndexString

protected java.lang.String getArrayIndexString(org.xml.sax.Attributes attributes)

Returns the array index value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

isArrayIndex

protected boolean isArrayIndex(org.xml.sax.Attributes attributes)

Returns the is array index flag.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getId

protected java.lang.String getId(org.xml.sax.Attributes attributes)

Returns the ID value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getTarget

protected java.lang.String getTarget(org.xml.sax.Attributes attributes)

Returns the target value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getRepresentativeTerm

protected java.lang.String getRepresentativeTerm(org.xml.sax.Attributes attributes)

Returns the representative term value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getTerm

protected java.lang.String getTerm(org.xml.sax.Attributes attributes)

Returns the term value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.