TypeDfaState (TypeDfaState state, ArgumentsInstruction instruction) { TypeDfaState newState = state; for (Map.Entry<Integer, Collection<Argument>> entry : instruction.getArguments().entrySet()) { final int descriptor = entry.getKey(); final Collection<Argument> arguments = entry.getValue(); newState = handleArgument(newState, instruction, descriptor, arguments); } return newState; }