*/
private VarArgInfo getVarArgInfo(DefinitionStmt jAssignStmt) {
Value right = jAssignStmt.getRightOp();
if (right instanceof JNewArrayExpr) {
// "= new X[3]; // where X is the basetype"
JNewArrayExpr jNewArrayExpr = (JNewArrayExpr) right;
Value size = jNewArrayExpr.getSize();
if (size instanceof IntConstant) {
IntConstant constant = (IntConstant) size;
Type[] varArgTypes = new Type[constant.value];
Type varArgBase = jNewArrayExpr.getBaseType();
VarArgInfo varArgInfo = new VarArgInfo(constant.value,
varArgTypes, varArgBase);
return varArgInfo;
}
}