if (x.getOp() == JBinaryOperator.ADD) {
JExpression newLhs = convertString(x.getLhs());
JExpression newRhs = convertString(x.getRhs());
if (newLhs != x.getLhs() || newRhs != x.getRhs()) {
JBinaryOperation newExpr = new JBinaryOperation(program,
x.getSourceInfo(), program.getTypeJavaLangString(),
JBinaryOperator.ADD, newLhs, newRhs);
ctx.replaceMe(newExpr);
}
} else if (x.getOp() == JBinaryOperator.ASG_ADD) {
JExpression newRhs = convertString(x.getRhs());
if (newRhs != x.getRhs()) {
JBinaryOperation newExpr = new JBinaryOperation(program,
x.getSourceInfo(), program.getTypeJavaLangString(),
JBinaryOperator.ASG_ADD, x.getLhs(), newRhs);
ctx.replaceMe(newExpr);
}
}