public class SymbolicLayoutReader extends Object
SymbolicLayoutWriter
.SymbolicLayoutWriter
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 and Description |
---|
SymbolicLayoutReader() |
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. |
public ISymbolicLayout read(File file) throws ParserConfigurationException, SAXException, IOException
File
.file
- The File
to read.ParserConfigurationException
- Occurred Exception.SAXException
- Occurred Exception.IOException
- Occurred Exception.public ISymbolicLayout read(InputStream in) throws ParserConfigurationException, SAXException, IOException
InputStream
and closes it.in
- The InputStream
to read from.ParserConfigurationException
- Occurred Exception.SAXException
- Occurred Exception.IOException
- Occurred Exception.protected boolean isModel(String uri, String localName, String qName)
ISymbolicLayout
.uri
- The URI.localName
- THe local name.qName
- The qName.true
represents an ISymbolicLayout
, false
is something else.protected boolean isAssociation(String uri, String localName, String qName)
ISymbolicAssociation
.uri
- The URI.localName
- THe local name.qName
- The qName.true
represents an ISymbolicAssociation
, false
is something else.protected boolean isValue(String uri, String localName, String qName)
ISymbolicValue
.uri
- The URI.localName
- THe local name.qName
- The qName.true
represents an ISymbolicValue
, false
is something else.protected boolean isObject(String uri, String localName, String qName)
ISymbolicObject
.uri
- The URI.localName
- THe local name.qName
- The qName.true
represents an ISymbolicObject
, false
is something else.protected boolean isState(String uri, String localName, String qName)
ISymbolicState
.uri
- The URI.localName
- THe local name.qName
- The qName.true
represents an ISymbolicState
, false
is something else.protected boolean isEquivalenceClass(String uri, String localName, String qName)
ISymbolicEquivalenceClass
.uri
- The URI.localName
- THe local name.qName
- The qName.true
represents an ISymbolicEquivalenceClass
, false
is something else.protected boolean isTerm(String uri, String localName, String qName)
uri
- The URI.localName
- THe local name.qName
- The qName.true
represents a term, false
is something else.protected String getValueString(Attributes attributes)
attributes
- The Attributes
which provides the content.protected String getConditionString(Attributes attributes)
attributes
- The Attributes
which provides the content.protected String getTypeString(Attributes attributes)
attributes
- The Attributes
which provides the content.protected String getProgramVariableString(Attributes attributes)
attributes
- The Attributes
which provides the content.protected String getName(Attributes attributes)
attributes
- The Attributes
which provides the content.protected String getArrayIndexString(Attributes attributes)
attributes
- The Attributes
which provides the content.protected boolean isArrayIndex(Attributes attributes)
attributes
- The Attributes
which provides the content.protected String getId(Attributes attributes)
attributes
- The Attributes
which provides the content.protected String getTarget(Attributes attributes)
attributes
- The Attributes
which provides the content.protected String getRepresentativeTerm(Attributes attributes)
attributes
- The Attributes
which provides the content.protected String getTerm(Attributes attributes)
attributes
- The Attributes
which provides the content.