public class ExecutionNodeWriter extends AbstractWriter
IExecutionNode
s
as XML file. Such files can be read via an ExecutionNodeReader
instance.ExecutionNodeReader
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ATTRIBUTE_ADDITIONAL_BRANCH_LABEL
Attribute name to store
IExecutionBranchCondition.getAdditionalBranchLabel() . |
static java.lang.String |
ATTRIBUTE_ARRAY_INDEX
Attribute name to store
IExecutionVariable.getArrayIndexString() . |
static java.lang.String |
ATTRIBUTE_BLOCK_OPENED
Attribute name to store
IExecutionBlockStartNode.isBlockOpened() . |
static java.lang.String |
ATTRIBUTE_BRANCH_CONDITION
Attribute name to store
IExecutionBranchCondition.getFormatedBranchCondition() . |
static java.lang.String |
ATTRIBUTE_BRANCH_CONDITION_COMPUTED
Attribute name to store
IExecutionBranchCondition.isBranchConditionComputed() . |
static java.lang.String |
ATTRIBUTE_BRANCH_VERIFIED
Attribute name to store
IExecutionTermination.isBranchVerified() . |
static java.lang.String |
ATTRIBUTE_CONDITION_STRING
Attribute name to store
IExecutionValue.getConditionString() . |
static java.lang.String |
ATTRIBUTE_CONTRACT_PARAMETERS
Attribute name to store
IExecutionOperationContract.getFormatedContractParams() . |
static java.lang.String |
ATTRIBUTE_EXCEPTION_TERM
Attribute name to store
IExecutionOperationContract.getFormatedExceptionTerm() . |
static java.lang.String |
ATTRIBUTE_HAS_CONDITION
Attribute name to store
IExecutionMethodReturnValue.hasCondition() . |
static java.lang.String |
ATTRIBUTE_HAS_NOT_NULL_CHECK
Attribute name to store
IExecutionOperationContract.hasNotNullCheck() . |
static java.lang.String |
ATTRIBUTE_INITIALLY_VALID
Attribute name to store
IExecutionLoopInvariant.isInitiallyValid() . |
static java.lang.String |
ATTRIBUTE_IS_ARRAY_INDEX
Attribute name to store
IExecutionVariable.isArrayIndex() . |
static java.lang.String |
ATTRIBUTE_IS_VALUE_AN_OBJECT
Attribute name to store
IExecutionVariable#isValueAnObject() . |
static java.lang.String |
ATTRIBUTE_IS_VALUE_UNKNOWN
Attribute name to store
IExecutionVariable#isValueUnknown() . |
static java.lang.String |
ATTRIBUTE_MERGED_BRANCH_CONDITION
Attribute name to store
IExecutionBranchCondition.isMergedBranchCondition() . |
static java.lang.String |
ATTRIBUTE_METHOD_RETURN_CONDITION
Attribute name to store
IExecutionBaseMethodReturn.getMethodReturnCondition() . |
static java.lang.String |
ATTRIBUTE_NAME
Attribute name to store
IExecutionElement.getName() . |
static java.lang.String |
ATTRIBUTE_NAME_INCLUDING_RETURN_VALUE
Attribute name to store
IExecutionMethodReturn.getNameIncludingReturnValue() . |
static java.lang.String |
ATTRIBUTE_NOT_NULL_CHECK_COMPLIED
Attribute name to store
IExecutionOperationContract.isNotNullCheckComplied() . |
static java.lang.String |
ATTRIBUTE_PATH_CONDITION
Attribute name to store
IExecutionNode.getPathCondition() . |
static java.lang.String |
ATTRIBUTE_PATH_CONDITION_CHANGED
Attribute name to store
IExecutionNode.isPathConditionChanged() . |
static java.lang.String |
ATTRIBUTE_PATH_IN_TREE
A path which refers to an
IExecutionNode starting from the root. |
static java.lang.String |
ATTRIBUTE_PRECONDITION_COMPLIED
Attribute name to store
IExecutionOperationContract.isPreconditionComplied() . |
static java.lang.String |
ATTRIBUTE_RESULT_TERM
Attribute name to store
IExecutionOperationContract.getFormatedResultTerm() . |
static java.lang.String |
ATTRIBUTE_RETURN_VALUE_COMPUTED
Attribute name to store
IExecutionMethodReturn.isReturnValuesComputed() . |
static java.lang.String |
ATTRIBUTE_RETURN_VALUE_STRING
Attribute name to store
IExecutionMethodReturnValue.getReturnValueString() . |
static java.lang.String |
ATTRIBUTE_SELF_TERM
Attribute name to store
IExecutionOperationContract.getFormatedSelfTerm() . |
static java.lang.String |
ATTRIBUTE_SIGNATURE
Attribute name to store
IExecutionBaseMethodReturn.getSignature() . |
static java.lang.String |
ATTRIBUTE_SIGNATURE_INCLUDING_RETURN_VALUE
Attribute name to store
IExecutionMethodReturn.getSignatureIncludingReturnValue() . |
static java.lang.String |
ATTRIBUTE_TERMINATION_KIND
Attribute exceptional termination to store
IExecutionTermination.getTerminationKind() . |
static java.lang.String |
ATTRIBUTE_TYPE_STRING
Attribute name to store
IExecutionVariable#getTypeString() . |
static java.lang.String |
ATTRIBUTE_VALUE_STRING
Attribute name to store
IExecutionVariable#getValueString() . |
static java.lang.String |
ATTRIBUTE_WEAKENING_VERIFIED
Attribute name to store
IExecutionJoin.isWeakeningVerified() . |
static char |
PATH_SEPARATOR
Character to separate path entries in attributes "path".
|
static java.lang.String |
TAG_BLOCK_COMPLETION_ENTRY
Tag name to store one entry of
IExecutionBlockStartNode.getBlockCompletions() . |
static java.lang.String |
TAG_BLOCK_CONTRACT
Tag name to store
IExecutionAuxiliaryContract s. |
static java.lang.String |
TAG_BRANCH_CONDITION
Tag name to store
IExecutionBranchCondition s. |
static java.lang.String |
TAG_BRANCH_STATEMENT
Tag name to store
IExecutionBranchStatement s. |
static java.lang.String |
TAG_CALL_STACK_ENTRY
Tag name to store one entry of
IExecutionNode.getCallStack() . |
static java.lang.String |
TAG_CALL_STATE_VARIABLE
Tag name to store call state
IExecutionVariable s. |
static java.lang.String |
TAG_COMPLETED_BLOCK_ENTRY
Tag name to store on entry of
IExecutionNode.getCompletedBlocks()
together with its condition IExecutionNode#getFormatedBlockCompletionCondition(IExecutionNode) . |
static java.lang.String |
TAG_CONSTRAINT
Tag name to store
IExecutionConstraint s. |
static java.lang.String |
TAG_EXCEPTIONAL_METHOD_RETURN
Tag name to store
IExecutionExceptionalMethodReturn s. |
static java.lang.String |
TAG_JOIN
Tag name to store
IExecutionJoin s. |
static java.lang.String |
TAG_LOOP_CONDITION
Tag name to store
IExecutionLoopCondition s. |
static java.lang.String |
TAG_LOOP_INVARIANT
Tag name to store
IExecutionLoopInvariant s. |
static java.lang.String |
TAG_LOOP_STATEMENT
Tag name to store
IExecutionLoopStatement s. |
static java.lang.String |
TAG_METHOD_CALL
Tag name to store
IExecutionMethodCall s. |
static java.lang.String |
TAG_METHOD_RETURN
Tag name to store
IExecutionMethodReturn s. |
static java.lang.String |
TAG_METHOD_RETURN_ENTRY
Tag name to store one entry of
IExecutionMethodCall.getMethodReturns() . |
static java.lang.String |
TAG_METHOD_RETURN_VALUE
Tag name to store
IExecutionMethodReturnValue s. |
static java.lang.String |
TAG_OPERATION_CONTRACT
Tag name to store
IExecutionOperationContract s. |
static java.lang.String |
TAG_OUTGOING_LINK
Tag name to store one entry of
IExecutionNode.getOutgoingLinks() . |
static java.lang.String |
TAG_START
Tag name to store
IExecutionStart s. |
static java.lang.String |
TAG_STATEMENT
Tag name to store
IExecutionStatement s. |
static java.lang.String |
TAG_TERMINATION
Tag name to store
IExecutionTermination s. |
static java.lang.String |
TAG_TERMINATION_ENTRY
Tag name to store one entry of
IExecutionStart.getTerminations() . |
static java.lang.String |
TAG_VALUE
Tag name to store
IExecutionValue s. |
static java.lang.String |
TAG_VARIABLE
Tag name to store
IExecutionVariable s. |
ATTRIBUTE_ENCODING, ATTRIBUTE_XML_ID, DEFAULT_ENCODING, LEADING_WHITE_SPACE_PER_LEVEL, NEW_LINE
Constructor and Description |
---|
ExecutionNodeWriter() |
Modifier and Type | Method and Description |
---|---|
protected void |
appendBlockCompletions(int level,
IExecutionBlockStartNode<?> node,
java.lang.StringBuffer sb)
Appends the block completion entries to the given
StringBuffer . |
protected void |
appendCallStack(int level,
IExecutionNode<?> node,
boolean saveCallStack,
java.lang.StringBuffer sb)
Appends the call stack entries if required to the given
StringBuffer . |
protected void |
appendCallStateVariables(int level,
IExecutionBaseMethodReturn<?> node,
boolean saveVariables,
boolean saveConstraints,
java.lang.StringBuffer sb)
Appends the contained
IExecutionVariable s to the given StringBuffer . |
protected void |
appendChildren(int childLevel,
IExecutionNode<?> parent,
boolean saveVariables,
boolean saveCallStack,
boolean saveReturnValues,
boolean saveConstraints,
java.lang.StringBuffer sb)
Appends the child nodes to the given
StringBuffer . |
protected void |
appendCompletedBlocks(int level,
IExecutionNode<?> node,
java.lang.StringBuffer sb)
Appends the completed block entries to the given
StringBuffer . |
protected void |
appendConstraint(int level,
IExecutionConstraint constraint,
java.lang.StringBuffer sb)
Appends the given
IExecutionConstraint with its children to the given StringBuffer . |
protected void |
appendConstraints(int level,
IExecutionNode<?> node,
boolean saveConstraints,
java.lang.StringBuffer sb)
Appends the contained
IExecutionConstraint s to the given StringBuffer . |
protected void |
appendConstraints(int level,
IExecutionValue value,
boolean saveConstraints,
java.lang.StringBuffer sb)
Appends the contained
IExecutionConstraint s to the given StringBuffer . |
protected void |
appendExecutionBlockContract(int level,
IExecutionAuxiliaryContract node,
boolean saveVariables,
boolean saveCallStack,
boolean saveReturnValues,
boolean saveConstraints,
java.lang.StringBuffer sb)
Converts the given
IExecutionAuxiliaryContract into XML and appends it to the StringBuffer . |
protected void |
appendExecutionBranchCondition(int level,
IExecutionBranchCondition node,
boolean saveVariables,
boolean saveCallStack,
boolean saveReturnValues,
boolean saveConstraints,
java.lang.StringBuffer sb)
Converts the given
IExecutionBranchCondition into XML and appends it to the StringBuffer . |
protected void |
appendExecutionBranchStatement(int level,
IExecutionBranchStatement node,
boolean saveVariables,
boolean saveCallStack,
boolean saveReturnValues,
boolean saveConstraints,
java.lang.StringBuffer sb)
Converts the given
IExecutionLoopCondition into XML and appends it to the StringBuffer . |
protected void |
appendExecutionExceptionalMethodReturn(int level,
IExecutionExceptionalMethodReturn node,
boolean saveVariables,
boolean saveCallStack,
boolean saveReturnValues,
boolean saveConstraints,
java.lang.StringBuffer sb)
Converts the given
IExecutionExceptionalMethodReturn into XML and appends it to the StringBuffer . |
protected void |
appendExecutionJoin(int level,
IExecutionJoin node,
boolean saveVariables,
boolean saveCallStack,
boolean saveReturnValues,
boolean saveConstraints,
java.lang.StringBuffer sb)
Converts the given
IExecutionJoin into XML and appends it to the StringBuffer . |
protected void |
appendExecutionLoopCondition(int level,
IExecutionLoopCondition node,
boolean saveVariables,
boolean saveCallStack,
boolean saveReturnValues,
boolean saveConstraints,
java.lang.StringBuffer sb)
Converts the given
IExecutionLoopCondition into XML and appends it to the StringBuffer . |
protected void |
appendExecutionLoopInvariant(int level,
IExecutionLoopInvariant node,
boolean saveVariables,
boolean saveCallStack,
boolean saveReturnValues,
boolean saveConstraints,
java.lang.StringBuffer sb)
Converts the given
IExecutionLoopInvariant into XML and appends it to the StringBuffer . |
protected void |
appendExecutionLoopStatement(int level,
IExecutionLoopStatement node,
boolean saveVariables,
boolean saveCallStack,
boolean saveReturnValues,
boolean saveConstraints,
java.lang.StringBuffer sb)
Converts the given
IExecutionLoopStatement into XML and appends it to the StringBuffer . |
protected void |
appendExecutionMethodCall(int level,
IExecutionMethodCall node,
boolean saveVariables,
boolean saveCallStack,
boolean saveReturnValues,
boolean saveConstraints,
java.lang.StringBuffer sb)
Converts the given
IExecutionMethodCall into XML and appends it to the StringBuffer . |
protected void |
appendExecutionMethodReturn(int level,
IExecutionMethodReturn node,
boolean saveVariables,
boolean saveCallStack,
boolean saveReturnValues,
boolean saveConstraints,
java.lang.StringBuffer sb)
Converts the given
IExecutionMethodReturn into XML and appends it to the StringBuffer . |
protected void |
appendExecutionMethodReturnValue(int level,
IExecutionMethodReturnValue returnValue,
java.lang.StringBuffer sb)
Converts the given
IExecutionMethodReturnValue into XML and appends it to the StringBuffer . |
protected void |
appendExecutionNode(int level,
IExecutionNode<?> node,
boolean saveVariables,
boolean saveCallStack,
boolean saveReturnValues,
boolean saveConstraints,
java.lang.StringBuffer sb)
Converts the given
IExecutionNode into XML and appends it to the StringBuffer . |
protected void |
appendExecutionOperationContract(int level,
IExecutionOperationContract node,
boolean saveVariables,
boolean saveCallStack,
boolean saveReturnValues,
boolean saveConstraints,
java.lang.StringBuffer sb)
Converts the given
IExecutionOperationContract into XML and appends it to the StringBuffer . |
protected void |
appendExecutionStart(int level,
IExecutionStart node,
boolean saveVariables,
boolean saveCallStack,
boolean saveReturnValues,
boolean saveConstraints,
java.lang.StringBuffer sb)
Converts the given
IExecutionStart into XML and appends it to the StringBuffer . |
protected void |
appendExecutionStatement(int level,
IExecutionStatement node,
boolean saveVariables,
boolean saveCallStack,
boolean saveReturnValues,
boolean saveConstraints,
java.lang.StringBuffer sb)
Converts the given
IExecutionStatement into XML and appends it to the StringBuffer . |
protected void |
appendExecutionTermination(int level,
IExecutionTermination node,
boolean saveVariables,
boolean saveCallStack,
boolean saveReturnValues,
boolean saveConstraints,
java.lang.StringBuffer sb)
Converts the given
IExecutionTermination into XML and appends it to the StringBuffer . |
protected void |
appendMethodReturns(int level,
IExecutionMethodCall node,
java.lang.StringBuffer sb)
Appends the method return entries to the given
StringBuffer . |
protected void |
appendOutgoingLink(int level,
IExecutionLink link,
java.lang.StringBuffer sb) |
protected void |
appendOutgoingLinks(int level,
IExecutionNode<?> node,
java.lang.StringBuffer sb) |
protected void |
appendTerminations(int level,
IExecutionStart node,
java.lang.StringBuffer sb)
Appends the termination entries to the given
StringBuffer . |
protected void |
appendValue(int level,
IExecutionValue value,
boolean saveConstraints,
java.lang.StringBuffer sb)
Appends the given
IExecutionValue with its children to the given StringBuffer . |
protected void |
appendValues(int level,
IExecutionVariable variable,
boolean saveConstraints,
java.lang.StringBuffer sb)
Appends the contained
IExecutionValue s to the given StringBuffer . |
protected void |
appendVariable(int level,
IExecutionVariable variable,
boolean saveConstraints,
java.lang.String tagName,
java.lang.StringBuffer sb)
Appends the given
IExecutionVariable with its children to the given StringBuffer . |
protected void |
appendVariables(int level,
IExecutionNode<?> node,
boolean saveVariables,
boolean saveConstraints,
java.lang.StringBuffer sb)
Appends the contained
IExecutionVariable s to the given StringBuffer . |
protected java.lang.String |
computePath(IExecutionNode<?> node)
Computes the path from the root of the symbolic execution tree to the given
IExecutionNode . |
java.lang.String |
toXML(IExecutionNode<?> node,
java.lang.String encoding,
boolean saveVariables,
boolean saveCallStack,
boolean saveReturnValues,
boolean saveConstraints)
Converts the given
IExecutionNode into XML. |
void |
write(IExecutionNode<?> node,
java.lang.String encoding,
java.io.File file,
boolean saveVariables,
boolean saveCallStack,
boolean saveReturnValues,
boolean saveConstraints)
Writes the given
IExecutionNode as XML file. |
void |
write(IExecutionNode<?> node,
java.lang.String encoding,
java.io.OutputStream out,
boolean saveVariables,
boolean saveCallStack,
boolean saveReturnValues,
boolean saveConstraints)
Writes the given
IExecutionNode into the OutputStream . |
appendAttribute, appendEmptyTag, appendEndTag, appendNewLine, appendStartTag, appendWhiteSpace, appendXmlHeader
public static final java.lang.String ATTRIBUTE_NAME
IExecutionElement.getName()
.public static final java.lang.String ATTRIBUTE_NAME_INCLUDING_RETURN_VALUE
IExecutionMethodReturn.getNameIncludingReturnValue()
.public static final java.lang.String ATTRIBUTE_SIGNATURE_INCLUDING_RETURN_VALUE
IExecutionMethodReturn.getSignatureIncludingReturnValue()
.public static final java.lang.String ATTRIBUTE_SIGNATURE
IExecutionBaseMethodReturn.getSignature()
.public static final java.lang.String ATTRIBUTE_TERMINATION_KIND
IExecutionTermination.getTerminationKind()
.public static final java.lang.String ATTRIBUTE_TYPE_STRING
IExecutionVariable#getTypeString()
.public static final java.lang.String ATTRIBUTE_VALUE_STRING
IExecutionVariable#getValueString()
.public static final java.lang.String ATTRIBUTE_CONDITION_STRING
IExecutionValue.getConditionString()
.public static final java.lang.String ATTRIBUTE_RETURN_VALUE_STRING
IExecutionMethodReturnValue.getReturnValueString()
.public static final java.lang.String ATTRIBUTE_HAS_CONDITION
IExecutionMethodReturnValue.hasCondition()
.public static final java.lang.String ATTRIBUTE_BRANCH_VERIFIED
IExecutionTermination.isBranchVerified()
.public static final java.lang.String ATTRIBUTE_ARRAY_INDEX
IExecutionVariable.getArrayIndexString()
.public static final java.lang.String ATTRIBUTE_IS_ARRAY_INDEX
IExecutionVariable.isArrayIndex()
.public static final java.lang.String ATTRIBUTE_BRANCH_CONDITION
IExecutionBranchCondition.getFormatedBranchCondition()
.public static final java.lang.String ATTRIBUTE_PATH_CONDITION
IExecutionNode.getPathCondition()
.public static final java.lang.String ATTRIBUTE_PATH_CONDITION_CHANGED
IExecutionNode.isPathConditionChanged()
.public static final java.lang.String ATTRIBUTE_PATH_IN_TREE
IExecutionNode
starting from the root.public static final java.lang.String ATTRIBUTE_MERGED_BRANCH_CONDITION
IExecutionBranchCondition.isMergedBranchCondition()
.public static final java.lang.String ATTRIBUTE_IS_VALUE_AN_OBJECT
IExecutionVariable#isValueAnObject()
.public static final java.lang.String ATTRIBUTE_IS_VALUE_UNKNOWN
IExecutionVariable#isValueUnknown()
.public static final java.lang.String ATTRIBUTE_PRECONDITION_COMPLIED
IExecutionOperationContract.isPreconditionComplied()
.public static final java.lang.String ATTRIBUTE_HAS_NOT_NULL_CHECK
IExecutionOperationContract.hasNotNullCheck()
.public static final java.lang.String ATTRIBUTE_RETURN_VALUE_COMPUTED
IExecutionMethodReturn.isReturnValuesComputed()
.public static final java.lang.String ATTRIBUTE_BRANCH_CONDITION_COMPUTED
IExecutionBranchCondition.isBranchConditionComputed()
.public static final java.lang.String ATTRIBUTE_NOT_NULL_CHECK_COMPLIED
IExecutionOperationContract.isNotNullCheckComplied()
.public static final java.lang.String ATTRIBUTE_INITIALLY_VALID
IExecutionLoopInvariant.isInitiallyValid()
.public static final java.lang.String ATTRIBUTE_ADDITIONAL_BRANCH_LABEL
IExecutionBranchCondition.getAdditionalBranchLabel()
.public static final java.lang.String ATTRIBUTE_METHOD_RETURN_CONDITION
IExecutionBaseMethodReturn.getMethodReturnCondition()
.public static final java.lang.String ATTRIBUTE_RESULT_TERM
IExecutionOperationContract.getFormatedResultTerm()
.public static final java.lang.String ATTRIBUTE_EXCEPTION_TERM
IExecutionOperationContract.getFormatedExceptionTerm()
.public static final java.lang.String ATTRIBUTE_SELF_TERM
IExecutionOperationContract.getFormatedSelfTerm()
.public static final java.lang.String ATTRIBUTE_CONTRACT_PARAMETERS
IExecutionOperationContract.getFormatedContractParams()
.public static final java.lang.String ATTRIBUTE_BLOCK_OPENED
IExecutionBlockStartNode.isBlockOpened()
.public static final java.lang.String ATTRIBUTE_WEAKENING_VERIFIED
IExecutionJoin.isWeakeningVerified()
.public static final java.lang.String TAG_BRANCH_CONDITION
IExecutionBranchCondition
s.public static final java.lang.String TAG_START
IExecutionStart
s.public static final java.lang.String TAG_BRANCH_STATEMENT
IExecutionBranchStatement
s.public static final java.lang.String TAG_LOOP_CONDITION
IExecutionLoopCondition
s.public static final java.lang.String TAG_LOOP_STATEMENT
IExecutionLoopStatement
s.public static final java.lang.String TAG_METHOD_CALL
IExecutionMethodCall
s.public static final java.lang.String TAG_METHOD_RETURN
IExecutionMethodReturn
s.public static final java.lang.String TAG_EXCEPTIONAL_METHOD_RETURN
IExecutionExceptionalMethodReturn
s.public static final java.lang.String TAG_METHOD_RETURN_VALUE
IExecutionMethodReturnValue
s.public static final java.lang.String TAG_STATEMENT
IExecutionStatement
s.public static final java.lang.String TAG_TERMINATION
IExecutionTermination
s.public static final java.lang.String TAG_JOIN
IExecutionJoin
s.public static final java.lang.String TAG_OPERATION_CONTRACT
IExecutionOperationContract
s.public static final java.lang.String TAG_BLOCK_CONTRACT
IExecutionAuxiliaryContract
s.public static final java.lang.String TAG_LOOP_INVARIANT
IExecutionLoopInvariant
s.public static final java.lang.String TAG_CONSTRAINT
IExecutionConstraint
s.public static final java.lang.String TAG_VARIABLE
IExecutionVariable
s.public static final java.lang.String TAG_CALL_STATE_VARIABLE
IExecutionVariable
s.public static final java.lang.String TAG_VALUE
IExecutionValue
s.public static final java.lang.String TAG_CALL_STACK_ENTRY
IExecutionNode.getCallStack()
.public static final java.lang.String TAG_METHOD_RETURN_ENTRY
IExecutionMethodCall.getMethodReturns()
.public static final java.lang.String TAG_COMPLETED_BLOCK_ENTRY
IExecutionNode.getCompletedBlocks()
together with its condition IExecutionNode#getFormatedBlockCompletionCondition(IExecutionNode)
.public static final java.lang.String TAG_BLOCK_COMPLETION_ENTRY
IExecutionBlockStartNode.getBlockCompletions()
.public static final java.lang.String TAG_TERMINATION_ENTRY
IExecutionStart.getTerminations()
.public static final java.lang.String TAG_OUTGOING_LINK
IExecutionNode.getOutgoingLinks()
.public static final char PATH_SEPARATOR
public void write(IExecutionNode<?> node, java.lang.String encoding, java.io.File file, boolean saveVariables, boolean saveCallStack, boolean saveReturnValues, boolean saveConstraints) throws java.io.IOException, ProofInputException
IExecutionNode
as XML file.node
- The IExecutionNode
to save.encoding
- The encoding to use.file
- The File
to save to.saveVariables
- Save variables?saveCallStack
- Save method call stack?saveReturnValues
- Save method return values?saveConstraints
- Save constraints?java.io.IOException
- Occurred Exception.ProofInputException
- Occurred Exception.public void write(IExecutionNode<?> node, java.lang.String encoding, java.io.OutputStream out, boolean saveVariables, boolean saveCallStack, boolean saveReturnValues, boolean saveConstraints) throws java.io.IOException, ProofInputException
IExecutionNode
into the OutputStream
.node
- The IExecutionNode
to save.encoding
- The encoding to use.out
- The OutputStream
to save to. The OutputStream
will be closed by this method.saveVariables
- Save variables?saveCallStack
- Save method call stack?saveReturnValues
- Save method return values?saveConstraints
- Save constraints?java.io.IOException
- Occurred Exception.ProofInputException
- Occurred Exception.public java.lang.String toXML(IExecutionNode<?> node, java.lang.String encoding, boolean saveVariables, boolean saveCallStack, boolean saveReturnValues, boolean saveConstraints) throws ProofInputException
IExecutionNode
into XML.node
- The IExecutionNode
to convert.encoding
- The encoding to use.saveVariables
- Save variables?saveCallStack
- Save method call stack?saveReturnValues
- Save method return values?saveConstraints
- Save constraints?ProofInputException
- Occurred Exception.protected void appendExecutionNode(int level, IExecutionNode<?> node, boolean saveVariables, boolean saveCallStack, boolean saveReturnValues, boolean saveConstraints, java.lang.StringBuffer sb) throws ProofInputException
IExecutionNode
into XML and appends it to the StringBuffer
.level
- The current child level.node
- The IExecutionNode
to convert.saveVariables
- Save variables?saveCallStack
- Save method call stack?saveReturnValues
- Save method return values?saveConstraints
- Save constraints?sb
- The StringBuffer
to append to.ProofInputException
- Occurred Exception.protected void appendExecutionBranchCondition(int level, IExecutionBranchCondition node, boolean saveVariables, boolean saveCallStack, boolean saveReturnValues, boolean saveConstraints, java.lang.StringBuffer sb) throws ProofInputException
IExecutionBranchCondition
into XML and appends it to the StringBuffer
.level
- The current child level.node
- The IExecutionBranchCondition
to convert.saveVariables
- Save variables?saveCallStack
- Save method call stack?saveReturnValues
- Save method return values?saveConstraints
- Save constraints?sb
- The StringBuffer
to append to.ProofInputException
- Occurred Exception.protected void appendExecutionStart(int level, IExecutionStart node, boolean saveVariables, boolean saveCallStack, boolean saveReturnValues, boolean saveConstraints, java.lang.StringBuffer sb) throws ProofInputException
IExecutionStart
into XML and appends it to the StringBuffer
.level
- The current child level.node
- The IExecutionStart
to convert.saveVariables
- Save variables?saveCallStack
- Save method call stack?saveReturnValues
- Save method return values?saveConstraints
- Save constraints?sb
- The StringBuffer
to append to.ProofInputException
- Occurred Exception.protected void appendTerminations(int level, IExecutionStart node, java.lang.StringBuffer sb)
StringBuffer
.level
- The level of the children.node
- The IExecutionStart
which provides the termination entries.sb
- The StringBuffer
to append to.protected void appendExecutionBranchStatement(int level, IExecutionBranchStatement node, boolean saveVariables, boolean saveCallStack, boolean saveReturnValues, boolean saveConstraints, java.lang.StringBuffer sb) throws ProofInputException
IExecutionLoopCondition
into XML and appends it to the StringBuffer
.level
- The current child level.node
- The IExecutionLoopCondition
to convert.saveVariables
- Save variables?saveCallStack
- Save method call stack?saveReturnValues
- Save method return values?saveConstraints
- Save constraints?sb
- The StringBuffer
to append to.ProofInputException
- Occurred Exception.protected void appendExecutionLoopCondition(int level, IExecutionLoopCondition node, boolean saveVariables, boolean saveCallStack, boolean saveReturnValues, boolean saveConstraints, java.lang.StringBuffer sb) throws ProofInputException
IExecutionLoopCondition
into XML and appends it to the StringBuffer
.level
- The current child level.node
- The IExecutionLoopCondition
to convert.saveVariables
- Save variables?saveCallStack
- Save method call stack?saveReturnValues
- Save method return values?saveConstraints
- Save constraints?sb
- The StringBuffer
to append to.ProofInputException
- Occurred Exception.protected void appendExecutionLoopStatement(int level, IExecutionLoopStatement node, boolean saveVariables, boolean saveCallStack, boolean saveReturnValues, boolean saveConstraints, java.lang.StringBuffer sb) throws ProofInputException
IExecutionLoopStatement
into XML and appends it to the StringBuffer
.level
- The current child level.node
- The IExecutionLoopStatement
to convert.saveVariables
- Save variables?saveCallStack
- Save method call stack?saveReturnValues
- Save method return values?saveConstraints
- Save constraints?sb
- The StringBuffer
to append to.ProofInputException
- Occurred Exception.protected void appendExecutionMethodCall(int level, IExecutionMethodCall node, boolean saveVariables, boolean saveCallStack, boolean saveReturnValues, boolean saveConstraints, java.lang.StringBuffer sb) throws ProofInputException
IExecutionMethodCall
into XML and appends it to the StringBuffer
.level
- The current child level.node
- The IExecutionMethodCall
to convert.saveVariables
- Save variables?saveCallStack
- Save method call stack?saveReturnValues
- Save method return values?saveConstraints
- Save constraints?sb
- The StringBuffer
to append to.ProofInputException
- Occurred Exception.protected void appendExecutionMethodReturn(int level, IExecutionMethodReturn node, boolean saveVariables, boolean saveCallStack, boolean saveReturnValues, boolean saveConstraints, java.lang.StringBuffer sb) throws ProofInputException
IExecutionMethodReturn
into XML and appends it to the StringBuffer
.level
- The current child level.node
- The IExecutionMethodReturn
to convert.saveVariables
- Save variables?saveCallStack
- Save method call stack?saveReturnValues
- Save method return values?saveConstraints
- Save constraints?sb
- The StringBuffer
to append to.ProofInputException
- Occurred Exception.protected void appendExecutionExceptionalMethodReturn(int level, IExecutionExceptionalMethodReturn node, boolean saveVariables, boolean saveCallStack, boolean saveReturnValues, boolean saveConstraints, java.lang.StringBuffer sb) throws ProofInputException
IExecutionExceptionalMethodReturn
into XML and appends it to the StringBuffer
.level
- The current child level.node
- The IExecutionExceptionalMethodReturn
to convert.saveVariables
- Save variables?saveCallStack
- Save method call stack?saveReturnValues
- Save method return values?saveConstraints
- Save constraints?sb
- The StringBuffer
to append to.ProofInputException
- Occurred Exception.protected void appendExecutionMethodReturnValue(int level, IExecutionMethodReturnValue returnValue, java.lang.StringBuffer sb) throws ProofInputException
IExecutionMethodReturnValue
into XML and appends it to the StringBuffer
.level
- The current child level.returnValue
- The IExecutionMethodReturnValue
to convert.sb
- The StringBuffer
to append to.ProofInputException
- Occurred Exception.protected void appendExecutionStatement(int level, IExecutionStatement node, boolean saveVariables, boolean saveCallStack, boolean saveReturnValues, boolean saveConstraints, java.lang.StringBuffer sb) throws ProofInputException
IExecutionStatement
into XML and appends it to the StringBuffer
.level
- The current child level.node
- The IExecutionStatement
to convert.saveVariables
- Save variables?saveCallStack
- Save method call stack?saveReturnValues
- Save method return values?saveConstraints
- Save constraints?sb
- The StringBuffer
to append to.ProofInputException
- Occurred Exception.protected void appendExecutionJoin(int level, IExecutionJoin node, boolean saveVariables, boolean saveCallStack, boolean saveReturnValues, boolean saveConstraints, java.lang.StringBuffer sb) throws ProofInputException
IExecutionJoin
into XML and appends it to the StringBuffer
.level
- The current child level.node
- The IExecutionJoin
to convert.saveVariables
- Save variables?saveCallStack
- Save method call stack?saveReturnValues
- Save method return values?saveConstraints
- Save constraints?sb
- The StringBuffer
to append to.ProofInputException
- Occurred Exception.protected void appendExecutionOperationContract(int level, IExecutionOperationContract node, boolean saveVariables, boolean saveCallStack, boolean saveReturnValues, boolean saveConstraints, java.lang.StringBuffer sb) throws ProofInputException
IExecutionOperationContract
into XML and appends it to the StringBuffer
.level
- The current child level.node
- The IExecutionOperationContract
to convert.saveVariables
- Save variables?saveCallStack
- Save method call stack?saveReturnValues
- Save method return values?saveConstraints
- Save constraints?sb
- The StringBuffer
to append to.ProofInputException
- Occurred Exception.protected void appendExecutionLoopInvariant(int level, IExecutionLoopInvariant node, boolean saveVariables, boolean saveCallStack, boolean saveReturnValues, boolean saveConstraints, java.lang.StringBuffer sb) throws ProofInputException
IExecutionLoopInvariant
into XML and appends it to the StringBuffer
.level
- The current child level.node
- The IExecutionLoopInvariant
to convert.saveVariables
- Save variables?saveCallStack
- Save method call stack?saveReturnValues
- Save method return values?saveConstraints
- Save constraints?sb
- The StringBuffer
to append to.ProofInputException
- Occurred Exception.protected void appendExecutionBlockContract(int level, IExecutionAuxiliaryContract node, boolean saveVariables, boolean saveCallStack, boolean saveReturnValues, boolean saveConstraints, java.lang.StringBuffer sb) throws ProofInputException
IExecutionAuxiliaryContract
into XML and appends it to the StringBuffer
.level
- The current child level.node
- The IExecutionLoopInvariant
to convert.saveVariables
- Save variables?saveCallStack
- Save method call stack?saveReturnValues
- Save method return values?saveConstraints
- Save constraints?sb
- The StringBuffer
to append to.ProofInputException
- Occurred Exception.protected void appendExecutionTermination(int level, IExecutionTermination node, boolean saveVariables, boolean saveCallStack, boolean saveReturnValues, boolean saveConstraints, java.lang.StringBuffer sb) throws ProofInputException
IExecutionTermination
into XML and appends it to the StringBuffer
.level
- The current child level.node
- The IExecutionTermination
to convert.saveVariables
- Save variables?saveCallStack
- Save method call stack?saveReturnValues
- Save method return values?saveConstraints
- Save constraints?sb
- The StringBuffer
to append to.ProofInputException
- Occurred Exception.protected void appendConstraints(int level, IExecutionValue value, boolean saveConstraints, java.lang.StringBuffer sb) throws ProofInputException
IExecutionConstraint
s to the given StringBuffer
.level
- The level to use.value
- The IExecutionValue
which provides the IExecutionConstraint
s.saveConstraints
- Save constraints?sb
- The StringBuffer
to append to.ProofInputException
- Occurred Exception.protected void appendConstraints(int level, IExecutionNode<?> node, boolean saveConstraints, java.lang.StringBuffer sb) throws ProofInputException
IExecutionConstraint
s to the given StringBuffer
.level
- The level to use.node
- The IExecutionNode
which provides the IExecutionConstraint
s.saveConstraints
- Save constraints?sb
- The StringBuffer
to append to.ProofInputException
- Occurred Exception.protected void appendConstraint(int level, IExecutionConstraint constraint, java.lang.StringBuffer sb) throws ProofInputException
IExecutionConstraint
with its children to the given StringBuffer
.level
- The level to use.constraint
- The IExecutionConstraint
to append.sb
- The StringBuffer
to append to.ProofInputException
- Occurred Exception.protected void appendVariables(int level, IExecutionNode<?> node, boolean saveVariables, boolean saveConstraints, java.lang.StringBuffer sb) throws ProofInputException
IExecutionVariable
s to the given StringBuffer
.level
- The level to use.node
- The IExecutionNode
which provides the IExecutionVariable
s.saveVariables
- Save variables?saveConstraints
- Save constraints?sb
- The StringBuffer
to append to.ProofInputException
- Occurred Exception.protected void appendCallStateVariables(int level, IExecutionBaseMethodReturn<?> node, boolean saveVariables, boolean saveConstraints, java.lang.StringBuffer sb) throws ProofInputException
IExecutionVariable
s to the given StringBuffer
.level
- The level to use.node
- The IExecutionNode
which provides the IExecutionVariable
s.saveVariables
- Save variables?saveConstraints
- Save constraints?sb
- The StringBuffer
to append to.ProofInputException
- Occurred Exception.protected void appendVariable(int level, IExecutionVariable variable, boolean saveConstraints, java.lang.String tagName, java.lang.StringBuffer sb) throws ProofInputException
IExecutionVariable
with its children to the given StringBuffer
.level
- The level to use.variable
- The IExecutionVariable
to append.saveConstraints
- Save constraints?tagName
- The tag name to store an IExecutionVariable
.sb
- The StringBuffer
to append to.ProofInputException
- Occurred Exception.protected void appendValues(int level, IExecutionVariable variable, boolean saveConstraints, java.lang.StringBuffer sb) throws ProofInputException
IExecutionValue
s to the given StringBuffer
.level
- The level to use.variable
- The IExecutionVariable
which provides the IExecutionValue
s.saveConstraints
- Save constraints?sb
- The StringBuffer
to append to.ProofInputException
- Occurred Exception.protected void appendValue(int level, IExecutionValue value, boolean saveConstraints, java.lang.StringBuffer sb) throws ProofInputException
IExecutionValue
with its children to the given StringBuffer
.level
- The level to use.value
- The IExecutionValue
to append.saveConstraints
- Save constraints?sb
- The StringBuffer
to append to.ProofInputException
- Occurred Exception.protected void appendChildren(int childLevel, IExecutionNode<?> parent, boolean saveVariables, boolean saveCallStack, boolean saveReturnValues, boolean saveConstraints, java.lang.StringBuffer sb) throws ProofInputException
StringBuffer
.childLevel
- The level of the children.parent
- The parent IExecutionNode
which provides the children.saveVariables
- Save variables?saveCallStack
- Save method call stack?saveReturnValues
- Save method return values?saveConstraints
- Save constraints?sb
- The StringBuffer
to append to.ProofInputException
- Occurred Exception.protected void appendOutgoingLinks(int level, IExecutionNode<?> node, java.lang.StringBuffer sb)
protected void appendOutgoingLink(int level, IExecutionLink link, java.lang.StringBuffer sb)
protected void appendCallStack(int level, IExecutionNode<?> node, boolean saveCallStack, java.lang.StringBuffer sb)
StringBuffer
.level
- The level of the children.node
- The IExecutionNode
which provides the call stack.saveCallStack
- Defines if the call stack should be saved or not.sb
- The StringBuffer
to append to.protected void appendMethodReturns(int level, IExecutionMethodCall node, java.lang.StringBuffer sb)
StringBuffer
.level
- The level of the children.node
- The IExecutionMethodCall
which provides the call stack.sb
- The StringBuffer
to append to.protected void appendCompletedBlocks(int level, IExecutionNode<?> node, java.lang.StringBuffer sb) throws ProofInputException
StringBuffer
.level
- The level of the children.node
- The IExecutionNode
which provides the block entries.sb
- The StringBuffer
to append to.ProofInputException
- Occurred Exceptionprotected void appendBlockCompletions(int level, IExecutionBlockStartNode<?> node, java.lang.StringBuffer sb) throws ProofInputException
StringBuffer
.level
- The level of the children.node
- The IExecutionBlockStartNode
which provides the completed blocks.sb
- The StringBuffer
to append to.ProofInputException
- Occurred Exceptionprotected java.lang.String computePath(IExecutionNode<?> node)
IExecutionNode
.node
- The IExecutionNode
to compute path to.