package jetbrains.mps.debugger.java.api.evaluation.proxies;

/*Generated by MPS */

import jetbrains.mps.annotations.GeneratedClass;
import org.jetbrains.annotations.NotNull;
import com.sun.jdi.Value;
import jetbrains.mps.debugger.java.api.evaluation.EvaluationException;

@GeneratedClass(node = "r:ea2e6d1f-eab5-4a08-8299-1abe57148f37(jetbrains.mps.debugger.java.api.evaluation.proxies)/4727801710070562884", model = "r:ea2e6d1f-eab5-4a08-8299-1abe57148f37(jetbrains.mps.debugger.java.api.evaluation.proxies)")
public interface IArrayValueProxy extends IValueProxy {
  @NotNull
  IValueProxy getElementAt(int index);
  void setElement(Value element, int index) throws EvaluationException;
  int getLength();
}
