IArrayValueProxy.java

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();
}