de.uka.ilkd.key.symbolic_execution

Class SymbolicLayoutReader.SEDSAXHandler

java.lang.Object

org.xml.sax.helpers.DefaultHandler

de.uka.ilkd.key.symbolic_execution.SymbolicLayoutReader.SEDSAXHandler

All Implemented Interfaces:

ContentHandler, DTDHandler, EntityResolver, ErrorHandler

Enclosing class:

SymbolicLayoutReader

private class SymbolicLayoutReader.SEDSAXHandler
extends DefaultHandler

DefaultHandler implementation used in ExecutionNodeReader.read(InputStream).

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
private Map<SymbolicLayoutReader.KeYlessAssociation,String>	associationTargetMapping Maps a SymbolicLayoutReader.KeYlessAssociation to its target object ID.
private Map<String,ISymbolicObject>	objectIdMapping Maps each unique object ID to the instantiated ISymbolicObject.
private Deque<Object>	parentStack The hierarchy in building phase.
private ISymbolicLayout	root The root of the model.

Constructor Summary

Constructors

Modifier	Constructor and Description
private	SEDSAXHandler()

Method Summary

Modifier and Type	Method and Description
void	endDocument()
void	endElement(String uri, String localName, String qName)
ISymbolicLayout	getRoot() Returns the root of the model.
void	startElement(String uri, String localName, String qName, Attributes attributes)

Methods inherited from class org.xml.sax.helpers.DefaultHandler

characters, endPrefixMapping, error, fatalError, ignorableWhitespace, notationDecl, processingInstruction, resolveEntity, setDocumentLocator, skippedEntity, startDocument, startPrefixMapping, unparsedEntityDecl, warning

Methods inherited from class java.lang.Object

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

Field Detail

root

private ISymbolicLayout root

The root of the model.

parentStack

private Deque<Object> parentStack

The hierarchy in building phase.

objectIdMapping

private Map<String,ISymbolicObject> objectIdMapping

Maps each unique object ID to the instantiated ISymbolicObject.

associationTargetMapping

private Map<SymbolicLayoutReader.KeYlessAssociation,String> associationTargetMapping

Maps a SymbolicLayoutReader.KeYlessAssociation to its target object ID.

Constructor Detail

SEDSAXHandler

private SEDSAXHandler()

Method Detail

startElement

public void startElement(String uri,
                         String localName,
                         String qName,
                         Attributes attributes)
                  throws SAXException

Specified by:

startElement in interface ContentHandler

Overrides:

startElement in class DefaultHandler

Throws:

SAXException

endElement

public void endElement(String uri,
                       String localName,
                       String qName)
                throws SAXException

Specified by:

endElement in interface ContentHandler

Overrides:

endElement in class DefaultHandler

Throws:

SAXException

endDocument

public void endDocument()
                 throws SAXException

Specified by:

endDocument in interface ContentHandler

Overrides:

endDocument in class DefaultHandler

Throws:

SAXException

getRoot

public ISymbolicLayout getRoot()

Returns the root of the model.

Returns:

The root of the model.