de.uka.ilkd.key.symbolic_execution

Class SymbolicLayoutReader

java.lang.Object

de.uka.ilkd.key.symbolic_execution.SymbolicLayoutReader

public class SymbolicLayoutReader
extends 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 String	getArrayIndexString(Attributes attributes) Returns the array index value.
protected String	getConditionString(Attributes attributes) Returns the condition value.
protected String	getId(Attributes attributes) Returns the ID value.
protected String	getName(Attributes attributes) Returns the name value.
protected String	getProgramVariableString(Attributes attributes) Returns the program variable value.
protected String	getRepresentativeTerm(Attributes attributes) Returns the representative term value.
protected String	getTarget(Attributes attributes) Returns the target value.
protected String	getTerm(Attributes attributes) Returns the term value.
protected String	getTypeString(Attributes attributes) Returns the type value.
protected String	getValueString(Attributes attributes) Returns the value value.
protected boolean	isArrayIndex(Attributes attributes) Returns the is array index flag.
protected boolean	isAssociation(String uri, String localName, String qName) Checks if the currently parsed tag represents an ISymbolicAssociation.
protected boolean	isEquivalenceClass(String uri, String localName, String qName) Checks if the currently parsed tag represents an ISymbolicEquivalenceClass.
protected boolean	isModel(String uri, String localName, String qName) Checks if the currently parsed tag represents an ISymbolicLayout.
protected boolean	isObject(String uri, String localName, String qName) Checks if the currently parsed tag represents an ISymbolicObject.
protected boolean	isState(String uri, String localName, String qName) Checks if the currently parsed tag represents an ISymbolicState.
protected boolean	isTerm(String uri, String localName, String qName) Checks if the currently parsed tag represents a term.
protected boolean	isValue(String uri, String localName, String qName) Checks if the currently parsed tag represents an ISymbolicValue.
ISymbolicLayout	read(File file) Reads the given File.
ISymbolicLayout	read(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(File file)
                     throws ParserConfigurationException,
                            SAXException,
                            IOException

Reads the given File.

Parameters:

file - The File to read.

Returns:

The root of the model.

Throws:

ParserConfigurationException - Occurred Exception.

SAXException - Occurred Exception.

IOException - Occurred Exception.

read

public ISymbolicLayout read(InputStream in)
                     throws ParserConfigurationException,
                            SAXException,
                            IOException

Reads from the given InputStream and closes it.

Parameters:

in - The InputStream to read from.

Returns:

The root of the model.

Throws:

ParserConfigurationException - Occurred Exception.

SAXException - Occurred Exception.

IOException - Occurred Exception.

isModel

protected boolean isModel(String uri,
                          String localName,
                          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(String uri,
                                String localName,
                                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(String uri,
                          String localName,
                          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(String uri,
                           String localName,
                           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(String uri,
                          String localName,
                          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(String uri,
                                     String localName,
                                     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(String uri,
                         String localName,
                         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 String getValueString(Attributes attributes)

Returns the value value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getConditionString

protected String getConditionString(Attributes attributes)

Returns the condition value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getTypeString

protected String getTypeString(Attributes attributes)

Returns the type value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getProgramVariableString

protected String getProgramVariableString(Attributes attributes)

Returns the program variable value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getName

protected String getName(Attributes attributes)

Returns the name value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getArrayIndexString

protected String getArrayIndexString(Attributes attributes)

Returns the array index value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

isArrayIndex

protected boolean isArrayIndex(Attributes attributes)

Returns the is array index flag.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getId

protected String getId(Attributes attributes)

Returns the ID value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getTarget

protected String getTarget(Attributes attributes)

Returns the target value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getRepresentativeTerm

protected String getRepresentativeTerm(Attributes attributes)

Returns the representative term value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getTerm

protected String getTerm(Attributes attributes)

Returns the term value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.