/** Log mutated line */
public void visit(BinaryExpression p) throws ParseTreeException {
if (isSameObject(p, original)) {
BinaryExpression mutant_exp;
mutant_exp = (BinaryExpression) original.makeRecursiveCopy();
mutant_exp.setOperator(mutant_op);
super.visit(mutant_exp);
String operator = mutant_exp.operatorString();
out.print(" " + operator + " ");
// -----------------------------------------------------------
mutated_line = line_num;
String log_str = p.operatorString() + " => " + operator;
writeLog(removeNewline(log_str));
// -------------------------------------------------------------
mutant_exp = null;
} else {
super.visit(p);
}
}
