private class ExecutionNodeReader.SEDSAXHandler
extends org.xml.sax.helpers.DefaultHandler
DefaultHandler
implementation used in ExecutionNodeReader.read(InputStream)
.Modifier | Constructor and Description |
---|---|
private |
SEDSAXHandler() |
Modifier and Type | Method and Description |
---|---|
void |
endElement(java.lang.String uri,
java.lang.String localName,
java.lang.String qName) |
java.util.Map<ExecutionNodeReader.AbstractKeYlessExecutionBlockStartNode<?>,java.util.List<java.lang.String>> |
getBlockCompletionEntries()
Returns the mapping of an
ExecutionNodeReader.AbstractKeYlessExecutionBlockStartNode to its block completion entries. |
java.util.Map<ExecutionNodeReader.AbstractKeYlessExecutionNode<?>,java.util.List<java.lang.String>> |
getCallStackPathEntries()
Returns the mapping of an
ExecutionNodeReader.AbstractKeYlessExecutionNode to its call stack entries. |
java.util.Map<ExecutionNodeReader.AbstractKeYlessExecutionNode<?>,java.util.List<Pair<java.lang.String,java.lang.String>>> |
getCompletedBlockEntries()
Returns the mapping of
ExecutionNodeReader.AbstractKeYlessExecutionNode to its completed block entries. |
java.util.Map<ExecutionNodeReader.KeYlessMethodCall,java.util.List<java.lang.String>> |
getMethodReturnPathEntries()
Returns the mapping of a
ExecutionNodeReader.KeYlessMethodCall to its method return entries. |
java.util.Map<ExecutionNodeReader.AbstractKeYlessExecutionNode<?>,java.util.List<java.lang.String>> |
getOutgoingLinks()
Returns the mapping of an
ExecutionNodeReader.AbstractKeYlessExecutionNode to its outgoing links. |
IExecutionNode<?> |
getRoot()
Returns the root of the read symbolic execution tree.
|
java.util.Map<ExecutionNodeReader.KeYlessStart,java.util.List<java.lang.String>> |
getTerminationPathEntries()
Returns the mapping of a
ExecutionNodeReader.KeYlessStart to its termination entries. |
void |
startElement(java.lang.String uri,
java.lang.String localName,
java.lang.String qName,
org.xml.sax.Attributes attributes) |
private IExecutionNode<?> root
private final java.util.Deque<ExecutionNodeReader.AbstractKeYlessExecutionNode<?>> parentNodeStack
startElement(String, String, String, Attributes)
and emptied by endElement(String, String, String)
.private final java.util.Deque<java.lang.Object> parentVariableValueStack
IExecutionVariable
and IExecutionValue
filled by startElement(String, String, String, Attributes)
and emptied by endElement(String, String, String)
.private final java.util.Map<ExecutionNodeReader.AbstractKeYlessExecutionNode<?>,java.util.List<java.lang.String>> callStackPathEntries
ExecutionNodeReader.AbstractKeYlessExecutionNode
to the path entries of its call stack.private final java.util.Map<ExecutionNodeReader.KeYlessMethodCall,java.util.List<java.lang.String>> methodReturnPathEntries
ExecutionNodeReader.KeYlessMethodCall
to the path entries of its method returns.private final java.util.Map<ExecutionNodeReader.AbstractKeYlessExecutionNode<?>,java.util.List<Pair<java.lang.String,java.lang.String>>> completedBlockEntries
ExecutionNodeReader.AbstractKeYlessExecutionNode
to its completed block entriesprivate final java.util.Map<ExecutionNodeReader.AbstractKeYlessExecutionBlockStartNode<?>,java.util.List<java.lang.String>> blockCompletionEntries
ExecutionNodeReader.AbstractKeYlessExecutionBlockStartNode
to the path entries of its block completions.private final java.util.Map<ExecutionNodeReader.AbstractKeYlessExecutionNode<?>,java.util.List<java.lang.String>> outgoingLinks
ExecutionNodeReader.AbstractKeYlessExecutionNode
to the path entries of its outgoing links.private final java.util.Map<ExecutionNodeReader.KeYlessStart,java.util.List<java.lang.String>> terminationPathEntries
ExecutionNodeReader.KeYlessStart
to the path entries of its terminations.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
startElement
in interface org.xml.sax.ContentHandler
startElement
in class org.xml.sax.helpers.DefaultHandler
org.xml.sax.SAXException
public void endElement(java.lang.String uri, java.lang.String localName, java.lang.String qName) throws org.xml.sax.SAXException
endElement
in interface org.xml.sax.ContentHandler
endElement
in class org.xml.sax.helpers.DefaultHandler
org.xml.sax.SAXException
public IExecutionNode<?> getRoot()
public java.util.Map<ExecutionNodeReader.AbstractKeYlessExecutionNode<?>,java.util.List<java.lang.String>> getCallStackPathEntries()
ExecutionNodeReader.AbstractKeYlessExecutionNode
to its call stack entries.ExecutionNodeReader.AbstractKeYlessExecutionNode
to its call stack entries.public java.util.Map<ExecutionNodeReader.KeYlessMethodCall,java.util.List<java.lang.String>> getMethodReturnPathEntries()
ExecutionNodeReader.KeYlessMethodCall
to its method return entries.ExecutionNodeReader.KeYlessMethodCall
to its method return entries.public java.util.Map<ExecutionNodeReader.AbstractKeYlessExecutionNode<?>,java.util.List<Pair<java.lang.String,java.lang.String>>> getCompletedBlockEntries()
ExecutionNodeReader.AbstractKeYlessExecutionNode
to its completed block entries.ExecutionNodeReader.AbstractKeYlessExecutionNode
to its completed block entries.public java.util.Map<ExecutionNodeReader.AbstractKeYlessExecutionBlockStartNode<?>,java.util.List<java.lang.String>> getBlockCompletionEntries()
ExecutionNodeReader.AbstractKeYlessExecutionBlockStartNode
to its block completion entries.ExecutionNodeReader.AbstractKeYlessExecutionBlockStartNode
to its block completion entries.public java.util.Map<ExecutionNodeReader.KeYlessStart,java.util.List<java.lang.String>> getTerminationPathEntries()
ExecutionNodeReader.KeYlessStart
to its termination entries.ExecutionNodeReader.KeYlessStart
to its termination entries.public java.util.Map<ExecutionNodeReader.AbstractKeYlessExecutionNode<?>,java.util.List<java.lang.String>> getOutgoingLinks()
ExecutionNodeReader.AbstractKeYlessExecutionNode
to its outgoing links.ExecutionNodeReader.AbstractKeYlessExecutionNode
to its outgoing links.