BasicValue (AbstractInsnNode insn, BasicValue value1, BasicValue value2, BasicValue value3) { switch (insn.getOpcode()) { case IASTORE, LASTORE, FASTORE, DASTORE, BASTORE, CASTORE, SASTORE -> { if (value1 instanceof NthParamValue) { dereferencedParams[((NthParamValue)value1).n] = true; } if (value1 instanceof Trackable) { dereferencedValues[((Trackable)value1).getOriginInsnIndex()] = true; } } case AASTORE -> { if (value1 instanceof NthParamValue) { dereferencedParams[((NthParamValue)value1).n] = true; } if (value1 instanceof Trackable) { dereferencedValues[((Trackable)value1).getOriginInsnIndex()] = true; } if (value3 instanceof NthParamValue) { notNullableParams[((NthParamValue)value3).n] = true; } } } return null; }