private class ExecutionNodeReader.SEDSAXHandler extends DefaultHandler
DefaultHandler
implementation used in ExecutionNodeReader.read(InputStream)
.Modifier | Constructor and Description |
---|---|
private |
SEDSAXHandler() |
characters, endDocument, endPrefixMapping, error, fatalError, ignorableWhitespace, notationDecl, processingInstruction, resolveEntity, setDocumentLocator, skippedEntity, startDocument, startPrefixMapping, unparsedEntityDecl, warning
private IExecutionNode<?> root
private final Deque<ExecutionNodeReader.AbstractKeYlessExecutionNode<?>> parentNodeStack
startElement(String, String, String, Attributes)
and emptied by endElement(String, String, String)
.private final Deque<Object> parentVariableValueStack
IExecutionVariable
and IExecutionValue
filled by startElement(String, String, String, Attributes)
and emptied by endElement(String, String, String)
.private final Map<ExecutionNodeReader.AbstractKeYlessExecutionNode<?>,List<String>> callStackPathEntries
ExecutionNodeReader.AbstractKeYlessExecutionNode
to the path entries of its call stack.private final Map<ExecutionNodeReader.KeYlessMethodCall,List<String>> methodReturnPathEntries
ExecutionNodeReader.KeYlessMethodCall
to the path entries of its method returns.private final Map<ExecutionNodeReader.AbstractKeYlessExecutionNode<?>,List<Pair<String,String>>> completedBlockEntries
ExecutionNodeReader.AbstractKeYlessExecutionNode
to its completed block entriesprivate final Map<ExecutionNodeReader.AbstractKeYlessExecutionBlockStartNode<?>,List<String>> blockCompletionEntries
ExecutionNodeReader.AbstractKeYlessExecutionBlockStartNode
to the path entries of its block completions.private final Map<ExecutionNodeReader.KeYlessStart,List<String>> terminationPathEntries
ExecutionNodeReader.KeYlessStart
to the path entries of its terminations.public void startElement(String uri, String localName, String qName, Attributes attributes) throws SAXException
startElement
in interface ContentHandler
startElement
in class DefaultHandler
SAXException
public void endElement(String uri, String localName, String qName) throws SAXException
endElement
in interface ContentHandler
endElement
in class DefaultHandler
SAXException
public IExecutionNode<?> getRoot()
public Map<ExecutionNodeReader.AbstractKeYlessExecutionNode<?>,List<String>> getCallStackPathEntries()
ExecutionNodeReader.AbstractKeYlessExecutionNode
to its call stack entries.ExecutionNodeReader.AbstractKeYlessExecutionNode
to its call stack entries.public Map<ExecutionNodeReader.KeYlessMethodCall,List<String>> getMethodReturnPathEntries()
ExecutionNodeReader.KeYlessMethodCall
to its method return entries.ExecutionNodeReader.KeYlessMethodCall
to its method return entries.public Map<ExecutionNodeReader.AbstractKeYlessExecutionNode<?>,List<Pair<String,String>>> getCompletedBlockEntries()
ExecutionNodeReader.AbstractKeYlessExecutionNode
to its completed block entries.ExecutionNodeReader.AbstractKeYlessExecutionNode
to its completed block entries.public Map<ExecutionNodeReader.AbstractKeYlessExecutionBlockStartNode<?>,List<String>> getBlockCompletionEntries()
ExecutionNodeReader.AbstractKeYlessExecutionBlockStartNode
to its block completion entries.ExecutionNodeReader.AbstractKeYlessExecutionBlockStartNode
to its block completion entries.public Map<ExecutionNodeReader.KeYlessStart,List<String>> getTerminationPathEntries()
ExecutionNodeReader.KeYlessStart
to its termination entries.ExecutionNodeReader.KeYlessStart
to its termination entries.