void (@NotNull PsiArrayAccessExpression expression) { DfaControlTransferValue transfer = createTransfer("java.lang.ArrayIndexOutOfBoundsException"); DfaVariableValue staticValue = ObjectUtils.tryCast(JavaDfaValueFactory.getExpressionDfaValue(myFactory, expression), DfaVariableValue.class); addInstruction(new ArrayAccessInstruction(new JavaExpressionAnchor(expression), new ArrayIndexProblem(expression), transfer, staticValue)); }