@@ -0,0 +1,2344 @@
+package edu.kit.iti.formal.pse.worthwhile.debugger.model;%0A%0Aimport org.eclipse.debug.core.DebugException;%0Aimport org.eclipse.debug.core.model.IValue;%0Aimport org.eclipse.debug.core.model.IVariable;%0A%0Aimport edu.kit.iti.formal.pse.worthwhile.model.ast.util.ValueTypeVisitor;%0A%0A/**%0A * Represents an entry of an array.%0A * %0A * @author Joachim%0A * %0A */%0Apublic class WorthwhileArrayEntry extends WorthwhileDebugElement implements IVariable %7B%0A%0A%09/**%0A%09 * The array this entry belongs to.%0A%09 */%0A%09private final IVariable parentVariable;%0A%0A%09/**%0A%09 * The index of this array element.%0A%09 */%0A%09private final int index;%0A%0A%09/**%0A%09 * The value of this array element.%0A%09 */%0A%09private final WorthwhileValue value;%0A%0A%09/**%0A%09 * Creates a new instance of the %7B@link WorthwhileArrayEntry%7D class.%0A%09 * %0A%09 * @param debugTarget%0A%09 *                The debug target.%0A%09 * @param parentVariable%0A%09 *                The array this entry belongs to.%0A%09 * @param index%0A%09 *                The index of the array entry.%0A%09 * @param value%0A%09 *                The value of the array entry.%0A%09 */%0A%09public WorthwhileArrayEntry(final WorthwhileDebugTarget debugTarget, final IVariable parentVariable,%0A%09                final int index, final WorthwhileValue value) %7B%0A%09%09super(debugTarget);%0A%09%09this.parentVariable = parentVariable;%0A%09%09this.index = index;%0A%09%09this.value = value;%0A%09%7D%0A%0A%09@Override%0A%09public void setValue(final String expression) throws DebugException %7B%0A%09%7D%0A%0A%09@Override%0A%09public void setValue(final IValue value) throws DebugException %7B%0A%09%7D%0A%0A%09@Override%0A%09public final boolean supportsValueModification() %7B%0A%09%09return false;%0A%09%7D%0A%0A%09@Override%0A%09public final boolean verifyValue(final String expression) throws DebugException %7B%0A%09%09return false;%0A%09%7D%0A%0A%09@Override%0A%09public final boolean verifyValue(final IValue value) throws DebugException %7B%0A%09%09return false;%0A%09%7D%0A%0A%09@Override%0A%09public final IValue getValue() throws DebugException %7B%0A%09%09return this.value;%0A%09%7D%0A%0A%09@Override%0A%09public final String getName() throws DebugException %7B%0A%09%09if (this.parentVariable != null) %7B%0A%09%09%09return this.parentVariable.getName() + %22%5B%22 + this.index + %22%5D%22;%0A%09%09%7D else %7B%0A%09%09%09return %22%5B%22 + this.index + %22%5D%22;%0A%09%09%7D%0A%09%7D%0A%0A%09@Override%0A%09public final String getReferenceTypeName() throws DebugException %7B%0A%09%09return (new ValueTypeVisitor()).apply(this.value.getValue());%0A%09%7D%0A%0A%09@Override%0A%09public final boolean hasValueChanged() throws DebugException %7B%0A%09%09return false;%0A%09%7D%0A%0A%7D%0A

Add missing WorthwhileArrayEntry.java