de.uka.ilkd.key.symbolic_execution

Class ExecutionNodeReader

java.lang.Object

de.uka.ilkd.key.symbolic_execution.ExecutionNodeReader

public class ExecutionNodeReader
extends java.lang.Object

Allows to read XML files which contains an symbolic execution tree written via an ExecutionNodeWriter.

Author:

Martin Hentschel

See Also:

ExecutionNodeWriter

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ExecutionNodeReader.AbstractKeYlessBaseExecutionNode<S extends SourceElement> An implementation of IExecutionBaseMethodReturn which is independent from KeY and provides such only children and default attributes.
static class	ExecutionNodeReader.AbstractKeYlessExecutionBlockStartNode<S extends SourceElement> An abstract implementation of IExecutionBlockStartNode which is independent from KeY and provides such only children and default attributes.
static class	ExecutionNodeReader.AbstractKeYlessExecutionElement An abstract implementation of IExecutionElement which is independent from KeY and provides such only children and default attributes.
static class	ExecutionNodeReader.AbstractKeYlessExecutionNode<S extends SourceElement> An abstract implementation of IExecutionNode which is independent from KeY and provides such only children and default attributes.
static class	ExecutionNodeReader.KeYlessBlockContract An implementation of IExecutionAuxiliaryContract which is independent from KeY and provides such only children and default attributes.
static class	ExecutionNodeReader.KeYlessBranchCondition An implementation of IExecutionLoopCondition which is independent from KeY and provides such only children and default attributes.
static class	ExecutionNodeReader.KeYlessBranchStatement An implementation of IExecutionBranchStatement which is independent from KeY and provides such only children and default attributes.
static class	ExecutionNodeReader.KeYlessConstraint An implementation of IExecutionConstraint which is independent from KeY and provides such only children and default attributes.
static class	ExecutionNodeReader.KeYlessExceptionalMethodReturn An implementation of IExecutionExceptionalMethodReturn which is independent from KeY and provides such only children and default attributes.
static class	ExecutionNodeReader.KeYlessJoin An implementation of IExecutionJoin which is independent from KeY and provides such only children and default attributes.
static class	ExecutionNodeReader.KeYLessLink An implementation of IExecutionLink which is independent from KeY and provides such only children and default attributes.
static class	ExecutionNodeReader.KeYlessLoopCondition An implementation of IExecutionLoopCondition which is independent from KeY and provides such only children and default attributes.
static class	ExecutionNodeReader.KeYlessLoopInvariant An implementation of IExecutionLoopInvariant which is independent from KeY and provides such only children and default attributes.
static class	ExecutionNodeReader.KeYlessLoopStatement An implementation of IExecutionLoopStatement which is independent from KeY and provides such only children and default attributes.
static class	ExecutionNodeReader.KeYlessMethodCall An implementation of IExecutionMethodCall which is independent from KeY and provides such only children and default attributes.
static class	ExecutionNodeReader.KeYlessMethodReturn An implementation of IExecutionMethodReturn which is independent from KeY and provides such only children and default attributes.
static class	ExecutionNodeReader.KeYlessMethodReturnValue An implementation of IExecutionMethodReturn which is independent from KeY and provides such only children and default attributes.
static class	ExecutionNodeReader.KeYlessOperationContract An implementation of IExecutionOperationContract which is independent from KeY and provides such only children and default attributes.
static class	ExecutionNodeReader.KeYlessStart An implementation of IExecutionStart which is independent from KeY and provides such only children and default attributes.
static class	ExecutionNodeReader.KeYlessStatement An implementation of IExecutionStatement which is independent from KeY and provides such only children and default attributes.
static class	ExecutionNodeReader.KeYlessTermination An implementation of IExecutionTermination which is independent from KeY and provides such only children and default attributes.
static class	ExecutionNodeReader.KeYlessValue An implementation of IExecutionValue which is independent from KeY and provides such only children and default attributes.
static class	ExecutionNodeReader.KeYlessVariable An implementation of IExecutionVariable which is independent from KeY and provides such only children and default attributes.
private class	ExecutionNodeReader.SEDSAXHandler DefaultHandler implementation used in read(InputStream).

Constructor Summary

Constructors

Constructor and Description
ExecutionNodeReader()

Method Summary

Modifier and Type	Method and Description
protected ExecutionNodeReader.AbstractKeYlessExecutionNode<?>	createExecutionNode(IExecutionNode<?> parent, java.lang.String uri, java.lang.String localName, java.lang.String qName, org.xml.sax.Attributes attributes) Creates a new IExecutionNode with the given content.
ExecutionNodeReader.KeYlessMethodReturnValue	createMethodReturnValue(java.lang.String uri, java.lang.String localName, java.lang.String qName, org.xml.sax.Attributes attributes) Creates a new IExecutionMethodReturnValue with the given content.
protected ExecutionNodeReader.KeYlessValue	createValue(IExecutionVariable parentVariable, java.lang.String uri, java.lang.String localName, java.lang.String qName, org.xml.sax.Attributes attributes) Creates a new IExecutionValue with the given content.
protected ExecutionNodeReader.KeYlessVariable	createVariable(IExecutionValue parentValue, java.lang.String uri, java.lang.String localName, java.lang.String qName, org.xml.sax.Attributes attributes) Creates a new IExecutionVariable with the given content.
protected IExecutionNode<?>	findNode(IExecutionNode<?> root, java.lang.String path) Searches the IExecutionNode starting at the given root which is defined by the path.
protected java.lang.String	getAdditionalBranchLabel(org.xml.sax.Attributes attributes) Returns the additional branch label value.
protected java.lang.String	getArrayIndexString(org.xml.sax.Attributes attributes) Returns the array index value.
protected java.lang.String	getBranchCondition(org.xml.sax.Attributes attributes) Returns the branch condition value.
protected boolean	getBranchVerified(org.xml.sax.Attributes attributes) Returns the is branch verified value.
protected java.lang.String	getConditionString(org.xml.sax.Attributes attributes) Returns the value condition string value.
protected java.lang.String	getContractParameters(org.xml.sax.Attributes attributes) Returns the contract parameters value.
protected java.lang.String	getExceptionTerm(org.xml.sax.Attributes attributes) Returns the exception term value.
protected boolean	getHasCondition(org.xml.sax.Attributes attributes) Returns the is has condition value.
protected java.lang.String	getMethodReturnCondition(org.xml.sax.Attributes attributes) Returns the method return condition value.
protected java.lang.String	getName(org.xml.sax.Attributes attributes) Returns the name value.
protected java.lang.String	getNameIncludingReturnValue(org.xml.sax.Attributes attributes) Returns the name value including return value.
protected java.lang.String	getPathCondition(org.xml.sax.Attributes attributes) Returns the path condition value.
protected java.lang.String	getPathInTree(org.xml.sax.Attributes attributes) Returns the path in tree value.
protected java.lang.String	getResultTerm(org.xml.sax.Attributes attributes) Returns the result term value.
protected java.lang.String	getReturnValueString(org.xml.sax.Attributes attributes) Returns the return value string value.
protected java.lang.String	getSelfTerm(org.xml.sax.Attributes attributes) Returns the self term value.
protected java.lang.String	getSignature(org.xml.sax.Attributes attributes) Returns the signature value.
protected java.lang.String	getSignatureIncludingReturnValue(org.xml.sax.Attributes attributes) Returns the signature value including return value.
protected IExecutionTermination.TerminationKind	getTerminationKind(org.xml.sax.Attributes attributes) Returns the termination kind value.
protected java.lang.String	getTypeString(org.xml.sax.Attributes attributes) Returns the type string value.
protected java.lang.String	getValueString(org.xml.sax.Attributes attributes) Returns the value string value.
protected boolean	isArrayIndex(org.xml.sax.Attributes attributes) Returns the is array index value.
protected boolean	isBlockCompletionEntry(java.lang.String uri, java.lang.String localName, java.lang.String qName) Checks if the currently parsed tag represents an entry of IExecutionBlockStartNode.getBlockCompletions().
protected boolean	isBlockOpened(org.xml.sax.Attributes attributes) Returns the block opened value.
protected boolean	isBranchConditionComputed(org.xml.sax.Attributes attributes) Returns the is branch condition computed value.
protected boolean	isCallStackEntry(java.lang.String uri, java.lang.String localName, java.lang.String qName) Checks if the currently parsed tag represents an entry of IExecutionNode.getCallStack().
protected boolean	isCallStateVariable(java.lang.String uri, java.lang.String localName, java.lang.String qName) Checks if the currently parsed tag represents an IExecutionVariable.
protected boolean	isCompletedBlockEntry(java.lang.String uri, java.lang.String localName, java.lang.String qName) Checks if the currently parsed tag represents an entry of IExecutionNode.getCompletedBlocks().
protected boolean	isConstraint(java.lang.String uri, java.lang.String localName, java.lang.String qName) Checks if the currently parsed tag represents an IExecutionConstraint.
protected boolean	isHasNotNullCheck(org.xml.sax.Attributes attributes) Returns the has not null check value.
protected boolean	isInitiallyValid(org.xml.sax.Attributes attributes) Returns the initially valid value.
protected boolean	isMergedBranchCondition(org.xml.sax.Attributes attributes) Returns the merged branch condition value.
protected boolean	isMethodReturnEntry(java.lang.String uri, java.lang.String localName, java.lang.String qName) Checks if the currently parsed tag represents an entry of IExecutionMethodCall.getMethodReturns().
protected boolean	isMethodReturnValue(java.lang.String uri, java.lang.String localName, java.lang.String qName) Checks if the currently parsed tag represents an IExecutionMethodReturnValue.
protected boolean	isNotNullCheckComplied(org.xml.sax.Attributes attributes) Returns the not null check complied value.
protected boolean	isOutgoingLink(java.lang.String uri, java.lang.String localName, java.lang.String qName) Checks if the currently parsed tag represents an entry of IExecutionNode.getOutgoingLinks().
protected boolean	isPathConditionChanged(org.xml.sax.Attributes attributes) Returns the path condition changed value.
protected boolean	isPreconditionComplied(org.xml.sax.Attributes attributes) Returns the precondition complied value.
protected boolean	isReturnValueComputed(org.xml.sax.Attributes attributes) Returns the is return value computed value.
protected boolean	isTerminationEntry(java.lang.String uri, java.lang.String localName, java.lang.String qName) Checks if the currently parsed tag represents an entry of IExecutionStart.getTerminations().
protected boolean	isValue(java.lang.String uri, java.lang.String localName, java.lang.String qName) Checks if the currently parsed tag represents an IExecutionValue.
protected boolean	isValueAnObject(org.xml.sax.Attributes attributes) Returns the is value an object value.
protected boolean	isValueUnknown(org.xml.sax.Attributes attributes) Returns the is value unknown value.
protected boolean	isVariable(java.lang.String uri, java.lang.String localName, java.lang.String qName) Checks if the currently parsed tag represents an IExecutionVariable.
protected boolean	isWeakeningVerified(org.xml.sax.Attributes attributes) Returns if the weakening is verified.
IExecutionNode<?>	read(java.io.File file) Reads the given File.
IExecutionNode<?>	read(java.io.InputStream in) Reads from the given InputStream and closes it.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ExecutionNodeReader

public ExecutionNodeReader()

Method Detail

read

public IExecutionNode<?> read(java.io.File file)
                       throws javax.xml.parsers.ParserConfigurationException,
                              org.xml.sax.SAXException,
                              java.io.IOException

Reads the given File.

Parameters:

file - The File to read.

Returns:

The root of the read symbolic execution tree.

Throws:

javax.xml.parsers.ParserConfigurationException - Occurred Exception.

org.xml.sax.SAXException - Occurred Exception.

java.io.IOException - Occurred Exception.

read

public IExecutionNode<?> read(java.io.InputStream in)
                       throws javax.xml.parsers.ParserConfigurationException,
                              org.xml.sax.SAXException,
                              java.io.IOException

Reads from the given InputStream and closes it.

Parameters:

in - The InputStream to read from.

Returns:

The root of the read symbolic execution tree.

Throws:

javax.xml.parsers.ParserConfigurationException - Occurred Exception.

org.xml.sax.SAXException - Occurred Exception.

java.io.IOException - Occurred Exception.

findNode

protected IExecutionNode<?> findNode(IExecutionNode<?> root,
                                     java.lang.String path)
                              throws org.xml.sax.SAXException

Searches the IExecutionNode starting at the given root which is defined by the path.

Parameters:

root - The IExecutionNode to start search.

path - The path.

Returns:

The found IExecutionNode.

Throws:

org.xml.sax.SAXException - If it was not possible to find the node.

isConstraint

protected boolean isConstraint(java.lang.String uri,
                               java.lang.String localName,
                               java.lang.String qName)

Checks if the currently parsed tag represents an IExecutionConstraint.

Parameters:

uri - The URI.

localName - THe local name.

qName - The qName.

Returns:

true represents an IExecutionConstraint, false is something else.

isVariable

protected boolean isVariable(java.lang.String uri,
                             java.lang.String localName,
                             java.lang.String qName)

Checks if the currently parsed tag represents an IExecutionVariable.

Parameters:

uri - The URI.

localName - THe local name.

qName - The qName.

Returns:

true represents an IExecutionVariable, false is something else.

isCallStateVariable

protected boolean isCallStateVariable(java.lang.String uri,
                                      java.lang.String localName,
                                      java.lang.String qName)

Checks if the currently parsed tag represents an IExecutionVariable.

Parameters:

uri - The URI.

localName - THe local name.

qName - The qName.

Returns:

true represents an IExecutionVariable, false is something else.

isMethodReturnValue

protected boolean isMethodReturnValue(java.lang.String uri,
                                      java.lang.String localName,
                                      java.lang.String qName)

Checks if the currently parsed tag represents an IExecutionMethodReturnValue.

Parameters:

uri - The URI.

localName - THe local name.

qName - The qName.

Returns:

true represents an IExecutionMethodReturnValue, false is something else.

isValue

protected boolean isValue(java.lang.String uri,
                          java.lang.String localName,
                          java.lang.String qName)

Checks if the currently parsed tag represents an IExecutionValue.

Parameters:

uri - The URI.

localName - THe local name.

qName - The qName.

Returns:

true represents an IExecutionValue, false is something else.

isCallStackEntry

protected boolean isCallStackEntry(java.lang.String uri,
                                   java.lang.String localName,
                                   java.lang.String qName)

Checks if the currently parsed tag represents an entry of IExecutionNode.getCallStack().

Parameters:

uri - The URI.

localName - THe local name.

qName - The qName.

Returns:

true represents call stack entry, false is something else.

isMethodReturnEntry

protected boolean isMethodReturnEntry(java.lang.String uri,
                                      java.lang.String localName,
                                      java.lang.String qName)

Checks if the currently parsed tag represents an entry of IExecutionMethodCall.getMethodReturns().

Parameters:

uri - The URI.

localName - THe local name.

qName - The qName.

Returns:

true represents method return entry, false is something else.

isCompletedBlockEntry

protected boolean isCompletedBlockEntry(java.lang.String uri,
                                        java.lang.String localName,
                                        java.lang.String qName)

Checks if the currently parsed tag represents an entry of IExecutionNode.getCompletedBlocks().

Parameters:

uri - The URI.

localName - THe local name.

qName - The qName.

Returns:

true represents completed block entry, false is something else.

isOutgoingLink

protected boolean isOutgoingLink(java.lang.String uri,
                                 java.lang.String localName,
                                 java.lang.String qName)

Checks if the currently parsed tag represents an entry of IExecutionNode.getOutgoingLinks().

Parameters:

uri - The URI.

localName - THe local name.

qName - The qName.

Returns:

true represents block completion entry, false is something else.

isBlockCompletionEntry

protected boolean isBlockCompletionEntry(java.lang.String uri,
                                         java.lang.String localName,
                                         java.lang.String qName)

Checks if the currently parsed tag represents an entry of IExecutionBlockStartNode.getBlockCompletions().

Parameters:

uri - The URI.

localName - THe local name.

qName - The qName.

Returns:

true represents block completion entry, false is something else.

isTerminationEntry

protected boolean isTerminationEntry(java.lang.String uri,
                                     java.lang.String localName,
                                     java.lang.String qName)

Checks if the currently parsed tag represents an entry of IExecutionStart.getTerminations().

Parameters:

uri - The URI.

localName - THe local name.

qName - The qName.

Returns:

true represents termination entry, false is something else.

createVariable

protected ExecutionNodeReader.KeYlessVariable createVariable(IExecutionValue parentValue,
                                                             java.lang.String uri,
                                                             java.lang.String localName,
                                                             java.lang.String qName,
                                                             org.xml.sax.Attributes attributes)

Creates a new IExecutionVariable with the given content.

Parameters:

parentValue - The parent IExecutionValue.

uri - The URI.

localName - THe local name.

qName - The qName.

attributes - The attributes.

Returns:

The created IExecutionVariable.

createMethodReturnValue

public ExecutionNodeReader.KeYlessMethodReturnValue createMethodReturnValue(java.lang.String uri,
                                                                            java.lang.String localName,
                                                                            java.lang.String qName,
                                                                            org.xml.sax.Attributes attributes)

Creates a new IExecutionMethodReturnValue with the given content.

Parameters:

uri - The URI.

localName - THe local name.

qName - The qName.

attributes - The attributes.

Returns:

The created IExecutionMethodReturnValue.

createValue

protected ExecutionNodeReader.KeYlessValue createValue(IExecutionVariable parentVariable,
                                                       java.lang.String uri,
                                                       java.lang.String localName,
                                                       java.lang.String qName,
                                                       org.xml.sax.Attributes attributes)

Creates a new IExecutionValue with the given content.

Parameters:

parentVariable - The parent IExecutionVariable.

uri - The URI.

localName - THe local name.

qName - The qName.

attributes - The attributes.

Returns:

The created IExecutionValue.

createExecutionNode

protected ExecutionNodeReader.AbstractKeYlessExecutionNode<?> createExecutionNode(IExecutionNode<?> parent,
                                                                                  java.lang.String uri,
                                                                                  java.lang.String localName,
                                                                                  java.lang.String qName,
                                                                                  org.xml.sax.Attributes attributes)
                                                                           throws org.xml.sax.SAXException

Creates a new IExecutionNode with the given content.

Parameters:

parent - The parent IExecutionNode.

uri - The URI.

localName - THe local name.

qName - The qName.

attributes - The attributes.

Returns:

The created IExecutionNode.

Throws:

org.xml.sax.SAXException - Occurred Exception.

getAdditionalBranchLabel

protected java.lang.String getAdditionalBranchLabel(org.xml.sax.Attributes attributes)

Returns the additional branch label value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getPathInTree

protected java.lang.String getPathInTree(org.xml.sax.Attributes attributes)

Returns the path in tree value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getName

protected java.lang.String getName(org.xml.sax.Attributes attributes)

Returns the name value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getNameIncludingReturnValue

protected java.lang.String getNameIncludingReturnValue(org.xml.sax.Attributes attributes)

Returns the name value including return value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getSignature

protected java.lang.String getSignature(org.xml.sax.Attributes attributes)

Returns the signature value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getSignatureIncludingReturnValue

protected java.lang.String getSignatureIncludingReturnValue(org.xml.sax.Attributes attributes)

Returns the signature value including return value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getTerminationKind

protected IExecutionTermination.TerminationKind getTerminationKind(org.xml.sax.Attributes attributes)

Returns the termination kind value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

isPreconditionComplied

protected boolean isPreconditionComplied(org.xml.sax.Attributes attributes)

Returns the precondition complied value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

isHasNotNullCheck

protected boolean isHasNotNullCheck(org.xml.sax.Attributes attributes)

Returns the has not null check value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

isBlockOpened

protected boolean isBlockOpened(org.xml.sax.Attributes attributes)

Returns the block opened value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

isReturnValueComputed

protected boolean isReturnValueComputed(org.xml.sax.Attributes attributes)

Returns the is return value computed value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

isBranchConditionComputed

protected boolean isBranchConditionComputed(org.xml.sax.Attributes attributes)

Returns the is branch condition computed value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

isNotNullCheckComplied

protected boolean isNotNullCheckComplied(org.xml.sax.Attributes attributes)

Returns the not null check complied value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

isInitiallyValid

protected boolean isInitiallyValid(org.xml.sax.Attributes attributes)

Returns the initially valid value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

isValueAnObject

protected boolean isValueAnObject(org.xml.sax.Attributes attributes)

Returns the is value an object value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

isWeakeningVerified

protected boolean isWeakeningVerified(org.xml.sax.Attributes attributes)

Returns if the weakening is verified.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

isValueUnknown

protected boolean isValueUnknown(org.xml.sax.Attributes attributes)

Returns the is value unknown value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getValueString

protected java.lang.String getValueString(org.xml.sax.Attributes attributes)

Returns the value string value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getConditionString

protected java.lang.String getConditionString(org.xml.sax.Attributes attributes)

Returns the value condition string value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getHasCondition

protected boolean getHasCondition(org.xml.sax.Attributes attributes)

Returns the is has condition value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getBranchVerified

protected boolean getBranchVerified(org.xml.sax.Attributes attributes)

Returns the is branch verified value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getReturnValueString

protected java.lang.String getReturnValueString(org.xml.sax.Attributes attributes)

Returns the return value string value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getTypeString

protected java.lang.String getTypeString(org.xml.sax.Attributes attributes)

Returns the type string value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getExceptionTerm

protected java.lang.String getExceptionTerm(org.xml.sax.Attributes attributes)

Returns the exception term value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getResultTerm

protected java.lang.String getResultTerm(org.xml.sax.Attributes attributes)

Returns the result term value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getSelfTerm

protected java.lang.String getSelfTerm(org.xml.sax.Attributes attributes)

Returns the self term value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getContractParameters

protected java.lang.String getContractParameters(org.xml.sax.Attributes attributes)

Returns the contract parameters value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getArrayIndexString

protected java.lang.String getArrayIndexString(org.xml.sax.Attributes attributes)

Returns the array index value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

isArrayIndex

protected boolean isArrayIndex(org.xml.sax.Attributes attributes)

Returns the is array index value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getBranchCondition

protected java.lang.String getBranchCondition(org.xml.sax.Attributes attributes)

Returns the branch condition value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getPathCondition

protected java.lang.String getPathCondition(org.xml.sax.Attributes attributes)

Returns the path condition value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

getMethodReturnCondition

protected java.lang.String getMethodReturnCondition(org.xml.sax.Attributes attributes)

Returns the method return condition value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

isPathConditionChanged

protected boolean isPathConditionChanged(org.xml.sax.Attributes attributes)

Returns the path condition changed value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.

isMergedBranchCondition

protected boolean isMergedBranchCondition(org.xml.sax.Attributes attributes)

Returns the merged branch condition value.

Parameters:

attributes - The Attributes which provides the content.

Returns:

The value.