package jetbrains.mps.debugger.java.api.evaluation.proxies;
/*Generated by MPS */
import org.jetbrains.annotations.NotNull;
import com.sun.jdi.Value;
import jetbrains.mps.debugger.java.api.evaluation.EvaluationException;
public interface IArrayValueProxy extends IValueProxy {
@NotNull
IValueProxy getElementAt(int index);
void setElement(Value element, int index) throws EvaluationException;
int getLength();
}