Method handleMethodInvocation

src/main/java/matcher/type/Analysis.java:752–768

(ClassEnv env, String owner, String name, String desc, boolean itf, boolean isStatic, StateRecorder rec)

	}

	private static void handleMethodInvocation(ClassEnv env, String owner, String name, String desc, boolean itf, boolean isStatic, StateRecorder rec) {
		MethodInstance target = env.getClsByName(owner).resolveMethod(name, desc, itf);

		for (int i = target.args.length - 1; i >= 0; i--) {
			if (target.args[i].getType().getSlotSize() == 1) {
				rec.pop();
			} else {
				rec.popDouble();
			}
		}

		if (!isStatic) rec.pop();

		if (target.getRetType() != rec.common.VOID) {
			rec.push(target.getRetType(), rec.getNextVarId(VarSource.MethodRet));
		}
	}

	private static boolean queueTryCatchBlocks(MethodInstance method, StateRecorder rec, Queue<QueueElement> queue, Set<QueueElement> queued) {
		if (method.getAsmNode().tryCatchBlocks.isEmpty()) return false;