return getParameter(parameter, myMethod);
}
private static PsiParameter getParameter(int parameter, PsiMethod method) {
return method.getParameterList().getParameters()[parameter];
}
<BUG>private static List<MethodContract> toContracts(List<ValueConstraint[]> states, ValueConstraint constraint) {
return ContainerUtil.map(states, state -> new MethodContract(state, constraint));</BUG>
}
private List<MethodContract> visitLogicalOperation(PsiExpression[] operands, boolean conjunction, List<ValueConstraint[]> states) {
ValueConstraint breakValue = conjunction ? FALSE_VALUE : TRUE_VALUE;

return getParameter(parameter, myMethod);
}
private static PsiParameter getParameter(int parameter, PsiMethod method) {
return method.getParameterList().getParameters()[parameter];
}
static List<MethodContract> toContracts(List<ValueConstraint[]> states, ValueConstraint constraint) {
return ContainerUtil.map(states, state -> new MethodContract(state, constraint));
}
private List<MethodContract> visitLogicalOperation(PsiExpression[] operands, boolean conjunction, List<ValueConstraint[]> states) {
ValueConstraint breakValue = conjunction ? FALSE_VALUE : TRUE_VALUE;
