public SyntheticAnalyzer(MethodInfo method, boolean checkName) { this.method = method; if (method.getBytecode() == null) return; if (!checkName || method.getName().equals("class$")) if (checkGetClass()) return; if (!checkName || method.getName().startsWith("access$")) if (checkAccess()) return; if (method.getName().equals("<init>")) if (checkConstructorAccess()) return; }
public boolean checkConstructorAccess() { ClassInfo clazzInfo = method.getClazzInfo(); BytecodeInfo bytecode = method.getBytecode(); String[] paramTypes = TypeSignature.getParameterTypes(method.getType()); Handler[] excHandlers = bytecode.getExceptionHandlers(); if (excHandlers != null && excHandlers.length != 0) return false; Iterator iter = bytecode.getInstructions().iterator(); Instruction instr = (Instruction) iter.next(); while (instr.getOpcode() == opc_nop && iter.hasNext()) instr = (Instruction) iter.next(); int params = 0, slot = 0; while (instr.getOpcode() >= opc_iload && instr.getOpcode() <= opc_aload) { if (instr.getLocalSlot() > slot && unifyParam == -1 && params > 0 && paramTypes[params - 1].charAt(0) == 'L') { unifyParam = params; params++; slot++; } if (instr.getLocalSlot() != slot) return false; params++; slot += (instr.getOpcode() == opc_lload || instr.getOpcode() == opc_dload) ? 2 : 1; instr = (Instruction) iter.next(); } if (params > 0 && instr.getOpcode() == opc_invokespecial) { if (unifyParam == -1 && params <= paramTypes.length && paramTypes[params - 1].charAt(0) == 'L') unifyParam = params++; Reference ref = instr.getReference(); ClassInfo refClazz = TypeSignature.getClassInfo(ref.getClazz()); if (refClazz != clazzInfo) return false; MethodInfo refMethod = refClazz.findMethod(ref.getName(), ref.getType()); MethodType refType = Type.tMethod(ref.getType()); if ((refMethod.getModifiers() & modifierMask) != 0 || !refMethod.getName().equals("<init>") || unifyParam == -1 || refType.getParameterTypes().length != params - 2) return false; instr = (Instruction) iter.next(); if (instr.getOpcode() != opc_return) return false; /* * We don't check if types matches. No problem since we only need to * make sure, this constructor doesn't do anything more than relay * to the real one. */ reference = ref; kind = ACCESSCONSTRUCTOR; return true; } return false; }