@Override public Object clone() { TermListImpl clone; { try { clone = (TermListImpl)super.clone(); } catch (CloneNotSupportedException e) { throw new InternalError("coding error"); } } clone.value = new ArrayList<Term<?>>(); for (Term<?> t : value) clone.value.add((Term<?>)t.clone()); return clone; } }
@Override public Object clone() { DeclarationImpl clone; { try { clone = (DeclarationImpl)super.clone(); } catch (CloneNotSupportedException e) { throw new InternalError("coding error"); } } clone.list = new ArrayList<Term<?>>(); for (Term<?> t : list) clone.list.add((Term<?>)t.clone()); return clone; } }
@Override public Object clone() { Quadruple clone; { try { clone = (Quadruple)super.clone(); } catch (CloneNotSupportedException e) { throw new InternalError("coding error"); } } if (inhValue != null) clone.inhValue = (Term<?>)inhValue.clone(); if (curValue != null) clone.curValue = (Term<?>)curValue.clone(); if (inhSource != null) clone.inhSource = (Declaration)inhSource.clone(); if (curSource != null) clone.curSource = (Declaration)curSource.clone(); return clone; } }