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