private TCGTransition createTCGPart(
TCGNode in_oTCGNode,
String in_sTransitionNamePrefix)
{
// create new node in TestCaseGraph
TestCaseGraphAddNodeAction oAction =
new TestCaseGraphAddNodeAction(this, in_oTCGNode);
oAction.execute();
// constraints checken
if(checkCoverageCriteria() == false)
{
oAction.reverse();
return null;
}
else
{
// new node - set name
TCGNode oNewTCGNode = oAction.getNode();
oNewTCGNode.setName("tmp " + String.valueOf(getTestCaseGraph().getNodes().size()));
oNewTCGNode.setInvariant(null);
// copy all parameters of the predecessor
TCGParameterHelperClass.copyParameters(in_oTCGNode, oNewTCGNode);