private static void logTestGoal(Logger in_oLogger, int in_nTestGoalNumber,
TestGoalBase in_oTestGoal, String in_sPrefix)
{
// in_oFormattedOutput.appendln(" - not satisfied: (test goal #" + in_nNumberOfTestGoal + ") " + in_oTestGoal.getElement().toString());
if(in_oTestGoal instanceof TestGoalElements) {
TestGoalElements oTestGoalElement = (TestGoalElements)in_oTestGoal;
if(oTestGoalElement.getElement() instanceof TCGTransition) {
TCGTransition oTransitionGoal = (TCGTransition)oTestGoalElement.getElement();
in_oLogger.getFormattedOutput().appendln(in_sPrefix + " (test goal #" + in_nTestGoalNumber + " - transition) ");
in_oLogger.getFormattedOutput().appendln(" from " + oTransitionGoal.getSourceNode().getName());
in_oLogger.getFormattedOutput().appendln(" to " + oTransitionGoal.getTargetNode().getName());
}
else if(oTestGoalElement.getElement() instanceof TCGNode) {
TCGNode oNodeGoal = (TCGNode)oTestGoalElement.getElement();
in_oLogger.getFormattedOutput().appendln(in_sPrefix + " (test goal #" + in_nTestGoalNumber + " - node) ");
in_oLogger.getFormattedOutput().appendln(" reach state " + oNodeGoal.getName());
}
}
else if(in_oTestGoal instanceof TestGoalGuardConditions) {