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:

org.xml.sax.ContentHandler, org.xml.sax.DTDHandler, org.xml.sax.EntityResolver, org.xml.sax.ErrorHandler

Enclosing class:

SymbolicLayoutReader

private class SymbolicLayoutReader.SEDSAXHandler
extends org.xml.sax.helpers.DefaultHandler

DefaultHandler implementation used in ExecutionNodeReader.read(InputStream).

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Map<SymbolicLayoutReader.KeYlessAssociation,java.lang.String>	associationTargetMapping Maps a SymbolicLayoutReader.KeYlessAssociation to its target object ID.
private java.util.Map<java.lang.String,ISymbolicObject>	objectIdMapping Maps each unique object ID to the instantiated ISymbolicObject.
private java.util.Deque<java.lang.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(java.lang.String uri, java.lang.String localName, java.lang.String qName)
ISymbolicLayout	getRoot() Returns the root of the model.
void	startElement(java.lang.String uri, java.lang.String localName, java.lang.String qName, org.xml.sax.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 java.util.Deque<java.lang.Object> parentStack

The hierarchy in building phase.

objectIdMapping

private java.util.Map<java.lang.String,ISymbolicObject> objectIdMapping

Maps each unique object ID to the instantiated ISymbolicObject.

associationTargetMapping

private java.util.Map<SymbolicLayoutReader.KeYlessAssociation,java.lang.String> associationTargetMapping

Maps a SymbolicLayoutReader.KeYlessAssociation to its target object ID.

Constructor Detail

SEDSAXHandler

private SEDSAXHandler()

Method Detail

startElement

public void startElement(java.lang.String uri,
                         java.lang.String localName,
                         java.lang.String qName,
                         org.xml.sax.Attributes attributes)
                  throws org.xml.sax.SAXException

Specified by:

startElement in interface org.xml.sax.ContentHandler

Overrides:

startElement in class org.xml.sax.helpers.DefaultHandler

Throws:

org.xml.sax.SAXException

endElement

public void endElement(java.lang.String uri,
                       java.lang.String localName,
                       java.lang.String qName)
                throws org.xml.sax.SAXException

Specified by:

endElement in interface org.xml.sax.ContentHandler

Overrides:

endElement in class org.xml.sax.helpers.DefaultHandler

Throws:

org.xml.sax.SAXException

endDocument

public void endDocument()
                 throws org.xml.sax.SAXException

Specified by:

endDocument in interface org.xml.sax.ContentHandler

Overrides:

endDocument in class org.xml.sax.helpers.DefaultHandler

Throws:

org.xml.sax.SAXException

getRoot

public ISymbolicLayout getRoot()

Returns the root of the model.

Returns:

The root of the model.