org_aspectj_ajde_core_tests_ShowWeaveMessagesTest_java
org.aspectj.weaver.bcel.BcelShadow
private void retargetReturnInstruction(boolean hasReturningParameter, BcelVar returnValueVar, InstructionHandle gotoTarget, InstructionHandle returnHandle) {
        InstructionList newInstructions = new InstructionList();
        if (returnValueVar != null) {
            if (hasReturningParameter) {
                newInstructions.append(InstructionFactory.createDup(this.getReturnType().getSize()));
            }
            returnValueVar.appendStore(newInstructions, this.getFactory());
        }
        if (!this.isLastInstructionInRange(returnHandle, this.range)) {
            newInstructions.append(InstructionFactory.createBranchInstruction((short)167, gotoTarget));
        }
        if (newInstructions.isEmpty()) {
            newInstructions.append(InstructionConstants.NOP);
        }
        Utility.replaceInstruction(returnHandle, newInstructions, this.enclosingMethod);
    }
 -> java.util.Map.get(java.lang.Object): java.lang.Object -> java.util.Collections.emptySet(): java.util.Set -> java.util.Set.add(java.lang.Object): boolean -> java.util.Collections.emptySet(): java.util.Set -> java.util.Set.iterator(): java.util.Iterator -> java.util.Iterator.hasNext(): boolean -> java.util.Set.clear(): void
 [CALL] [CALL] [EXIT] [CALL] [CALL] [CALL] [EXIT] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [CALL] [EXIT] [CALL] [CALL] [EXIT] [CALL] -> java.util.Map.get(java.lang.Object): java.lang.Object [EXIT] [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [EXIT] [EXIT] [CALL] [CALL] [CALL] -> java.util.Collections.emptySet(): java.util.Set [CALL] [EXIT] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [CALL] [EXIT] [CALL] [CALL] [CALL] -> java.util.Set.add(java.lang.Object): boolean [CALL] [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [CALL] [CALL] [CALL] [CALL] -> java.util.Collections.emptySet(): java.util.Set [CALL] [CALL] [EXIT] [EXIT] [EXIT] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [EXIT] [CALL] [EXIT] [CALL] [CALL] [CALL] [CALL] [EXIT] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [CALL] [CALL] [EXIT] [EXIT] [EXIT] [CALL] [EXIT] -> java.util.Set.iterator(): java.util.Iterator -> java.util.Iterator.hasNext(): boolean [CALL] -> java.util.Set.clear(): void [EXIT] [CALL] [CALL] [EXIT] [EXIT] [EXIT] [EXIT] [EXIT]