de.uka.ilkd.key.symbolic_execution

Class ExecutionNodeReader.SEDSAXHandler

java.lang.Object

org.xml.sax.helpers.DefaultHandler

de.uka.ilkd.key.symbolic_execution.ExecutionNodeReader.SEDSAXHandler

All Implemented Interfaces:

ContentHandler, DTDHandler, EntityResolver, ErrorHandler

Enclosing class:

ExecutionNodeReader

private class ExecutionNodeReader.SEDSAXHandler
extends DefaultHandler

DefaultHandler implementation used in ExecutionNodeReader.read(InputStream).

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
private Map<ExecutionNodeReader.AbstractKeYlessExecutionBlockStartNode<?>,List<String>>	blockCompletionEntries Maps an ExecutionNodeReader.AbstractKeYlessExecutionBlockStartNode to the path entries of its block completions.
private Map<ExecutionNodeReader.AbstractKeYlessExecutionNode<?>,List<String>>	callStackPathEntries Maps an ExecutionNodeReader.AbstractKeYlessExecutionNode to the path entries of its call stack.
private Map<ExecutionNodeReader.AbstractKeYlessExecutionNode<?>,List<Pair<String,String>>>	completedBlockEntries Maps an ExecutionNodeReader.AbstractKeYlessExecutionNode to its completed block entries
private Map<ExecutionNodeReader.KeYlessMethodCall,List<String>>	methodReturnPathEntries Maps an ExecutionNodeReader.KeYlessMethodCall to the path entries of its method returns.
private Deque<ExecutionNodeReader.AbstractKeYlessExecutionNode<?>>	parentNodeStack The parent hierarchy filled by startElement(String, String, String, Attributes) and emptied by endElement(String, String, String).
private Deque<Object>	parentVariableValueStack The parent hierarchy of IExecutionVariable and IExecutionValue filled by startElement(String, String, String, Attributes) and emptied by endElement(String, String, String).
private IExecutionNode<?>	root The root of the read symbolic execution tree.
private Map<ExecutionNodeReader.KeYlessStart,List<String>>	terminationPathEntries Maps an ExecutionNodeReader.KeYlessStart to the path entries of its terminations.

Constructor Summary

Constructors

Modifier	Constructor and Description
private	SEDSAXHandler()

Method Summary

Modifier and Type	Method and Description
void	endElement(String uri, String localName, String qName)
Map<ExecutionNodeReader.AbstractKeYlessExecutionBlockStartNode<?>,List<String>>	getBlockCompletionEntries() Returns the mapping of a ExecutionNodeReader.AbstractKeYlessExecutionBlockStartNode to its block completion entries.
Map<ExecutionNodeReader.AbstractKeYlessExecutionNode<?>,List<String>>	getCallStackPathEntries() Returns the mapping of an ExecutionNodeReader.AbstractKeYlessExecutionNode to its call stack entries.
Map<ExecutionNodeReader.AbstractKeYlessExecutionNode<?>,List<Pair<String,String>>>	getCompletedBlockEntries() Returns the mapping of ExecutionNodeReader.AbstractKeYlessExecutionNode to its completed block entries.
Map<ExecutionNodeReader.KeYlessMethodCall,List<String>>	getMethodReturnPathEntries() Returns the mapping of a ExecutionNodeReader.KeYlessMethodCall to its method return entries.
IExecutionNode<?>	getRoot() Returns the root of the read symbolic execution tree.
Map<ExecutionNodeReader.KeYlessStart,List<String>>	getTerminationPathEntries() Returns the mapping of a ExecutionNodeReader.KeYlessStart to its termination entries.
void	startElement(String uri, String localName, String qName, Attributes attributes)

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

characters, endDocument, 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 IExecutionNode<?> root

The root of the read symbolic execution tree.

parentNodeStack

private final Deque<ExecutionNodeReader.AbstractKeYlessExecutionNode<?>> parentNodeStack

The parent hierarchy filled by startElement(String, String, String, Attributes) and emptied by endElement(String, String, String).

parentVariableValueStack

private final Deque<Object> parentVariableValueStack

The parent hierarchy of IExecutionVariable and IExecutionValue filled by startElement(String, String, String, Attributes) and emptied by endElement(String, String, String).

callStackPathEntries

private final Map<ExecutionNodeReader.AbstractKeYlessExecutionNode<?>,List<String>> callStackPathEntries

Maps an ExecutionNodeReader.AbstractKeYlessExecutionNode to the path entries of its call stack.

methodReturnPathEntries

private final Map<ExecutionNodeReader.KeYlessMethodCall,List<String>> methodReturnPathEntries

Maps an ExecutionNodeReader.KeYlessMethodCall to the path entries of its method returns.

completedBlockEntries

private final Map<ExecutionNodeReader.AbstractKeYlessExecutionNode<?>,List<Pair<String,String>>> completedBlockEntries

Maps an ExecutionNodeReader.AbstractKeYlessExecutionNode to its completed block entries

blockCompletionEntries

private final Map<ExecutionNodeReader.AbstractKeYlessExecutionBlockStartNode<?>,List<String>> blockCompletionEntries

Maps an ExecutionNodeReader.AbstractKeYlessExecutionBlockStartNode to the path entries of its block completions.

terminationPathEntries

private final Map<ExecutionNodeReader.KeYlessStart,List<String>> terminationPathEntries

Maps an ExecutionNodeReader.KeYlessStart to the path entries of its terminations.

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

getRoot

public IExecutionNode<?> getRoot()

Returns the root of the read symbolic execution tree.

Returns:

The root of the read symbolic execution tree.

getCallStackPathEntries

public Map<ExecutionNodeReader.AbstractKeYlessExecutionNode<?>,List<String>> getCallStackPathEntries()

Returns the mapping of an ExecutionNodeReader.AbstractKeYlessExecutionNode to its call stack entries.

Returns:

The mapping of an ExecutionNodeReader.AbstractKeYlessExecutionNode to its call stack entries.

getMethodReturnPathEntries

public Map<ExecutionNodeReader.KeYlessMethodCall,List<String>> getMethodReturnPathEntries()

Returns the mapping of a ExecutionNodeReader.KeYlessMethodCall to its method return entries.

Returns:

The mapping of a ExecutionNodeReader.KeYlessMethodCall to its method return entries.

getCompletedBlockEntries

public Map<ExecutionNodeReader.AbstractKeYlessExecutionNode<?>,List<Pair<String,String>>> getCompletedBlockEntries()

Returns the mapping of ExecutionNodeReader.AbstractKeYlessExecutionNode to its completed block entries.

Returns:

The mapping of ExecutionNodeReader.AbstractKeYlessExecutionNode to its completed block entries.

getBlockCompletionEntries

public Map<ExecutionNodeReader.AbstractKeYlessExecutionBlockStartNode<?>,List<String>> getBlockCompletionEntries()

Returns the mapping of a ExecutionNodeReader.AbstractKeYlessExecutionBlockStartNode to its block completion entries.

Returns:

The mapping of a ExecutionNodeReader.AbstractKeYlessExecutionBlockStartNode to its block completion entries.

getTerminationPathEntries

public Map<ExecutionNodeReader.KeYlessStart,List<String>> getTerminationPathEntries()

Returns the mapping of a ExecutionNodeReader.KeYlessStart to its termination entries.

Returns:

The mapping of a ExecutionNodeReader.KeYlessStart to its termination entries.