/** @apilevel internal */
private TypeDecl sourceType_compute() {
TypeDecl left = getDest().type();
TypeDecl right = getSource().type();
if (!left.isString() && !right.isString()) return super.sourceType();
if (left.isVoid() || right.isVoid()) return unknownType();
return left.isString() ? left : right;
}
/** @apilevel internal */
private TypeDecl binaryNumericPromotedType_compute() {
TypeDecl leftType = left().type();
TypeDecl rightType = right().type();
if (leftType.isString()) return leftType;
if (rightType.isString()) return rightType;
if (leftType.isNumericType() && rightType.isNumericType())
return leftType.binaryNumericPromotion(rightType);
if (leftType.isBoolean() && rightType.isBoolean()) return leftType;
return unknownType();
}
/**
* @ast method
* @aspect Expressions
* @declaredat
* /Users/eric/Documents/workspaces/clara-soot/JastAddExtensions/JimpleBackend/Expressions.jrag:84
*/
public soot.Value eval(Body b) {
TypeDecl dest = getDest().type();
TypeDecl source = getSource().type();
if (dest.isString()) {
Value lvalue = getDest().eval(b);
Value v = asImmediate(b, lvalue);
// new StringBuffer(left)
Local local =
b.newTemp(b.newNewExpr(lookupType("java.lang", "StringBuffer").sootRef(), this));
b.setLine(this);
b.add(
b.newInvokeStmt(
b.newSpecialInvokeExpr(
local,
Scene.v()
.getMethod("<java.lang.StringBuffer: void <init>(java.lang.String)>")
.makeRef(),
v,
this),
this));
// append right
Local rightResult =
b.newTemp(
b.newVirtualInvokeExpr(
local,
lookupType("java.lang", "StringBuffer")
.methodWithArgs("append", new TypeDecl[] {source.stringPromotion()})
.sootRef(),
asImmediate(b, getSource().eval(b)),
this));
// toString
Local result =
b.newTemp(
b.newVirtualInvokeExpr(
rightResult,
Scene.v()
.getMethod("<java.lang.StringBuffer: java.lang.String toString()>")
.makeRef(),
this));
Value v2 = lvalue instanceof Local ? lvalue : (Value) lvalue.clone();
getDest().emitStore(b, v2, result, this);
return result;
} else {
return super.eval(b);
}
}
// string addition assign expression
public void createBCode(CodeGeneration gen) {
TypeDecl dest = getDest().type();
TypeDecl source = getSource().type();
if (dest.isString()) {
getDest().createAssignLoadDest(gen);
// new StringBuffer()
TypeDecl stringBuffer = lookupType("java.lang", "StringBuffer");
String classname = stringBuffer.constantPoolName();
String desc;
int index;
TypeDecl argumentType;
stringBuffer.emitNew(gen); // new StringBuffer
gen.emitDup(); // dup
desc = "()V";
index = gen.constantPool().addMethodref(classname, "<init>", desc);
gen.emit(Bytecode.INVOKESPECIAL, -1).add2(index); // invokespecial StringBuffer()
gen.emitSwap();
// append
argumentType = dest.stringPromotion();
desc = "(" + argumentType.typeDescriptor() + ")" + stringBuffer.typeDescriptor();
index = gen.constantPool().addMethodref(classname, "append", desc);
gen.emit(Bytecode.INVOKEVIRTUAL, -argumentType.variableSize())
.add2(index); // StringBuffer.append
getSource().createBCode(gen);
// typed append
argumentType = source.stringPromotion();
desc = "(" + argumentType.typeDescriptor() + ")" + stringBuffer.typeDescriptor();
index = gen.constantPool().addMethodref(classname, "append", desc);
gen.emit(Bytecode.INVOKEVIRTUAL, -argumentType.variableSize())
.add2(index); // StringBuffer.append
// toString
desc = "()" + type().typeDescriptor();
index = gen.constantPool().addMethodref(classname, "toString", desc);
gen.emit(Bytecode.INVOKEVIRTUAL, 0).add2(index); // StringBuffer.toString
if (needsPush()) {
getDest().createPushAssignmentResult(gen);
}
getDest().emitStore(gen);
} else {
super.createBCode(gen);
}
}