c не может быть преобразован в переменную - Java

Question

У меня проблемы с этим кодом Java:

for(Clause c : clauses)
  {
  if(c.s == 0)
  {
    switch(c.formula.type)
    {

    //LITERAL
    case 0:

      {
          ArrayList<Clause> clauses_without_c = ((ArrayList<Clause>) clauses.clone());
          clauses_without_c.remove(c);
      }
    }
  }
}

И я получил сообщение об ошибке «c не может быть преобразовано в переменную»:

clauses_without_c.remove(c);

В чем проблема?

Answer 1

Держу пари, что clone () не делает то, о чем ты думаешь.

Если условие является ArrayList, вы должны читать javadocs:

Возвращает мелкую копию этого Экземпляр ArrayList.

Вы должны создать новый экземпляр контейнера и скопировать в него все значения.