---

MULTIANEWARRAY.java

package gov.nasa.arc.ase.jpf.jvm.bytecode;

import de.fub.bytecode.classfile.ConstantPool;
import gov.nasa.arc.ase.jpf.jvm.SystemState;
import gov.nasa.arc.ase.jpf.jvm.KernelState;
import gov.nasa.arc.ase.jpf.jvm.ThreadInfo;
import gov.nasa.arc.ase.jpf.jvm.ElementInfo;
import gov.nasa.arc.ase.jpf.InternalErrorException;
import gov.nasa.arc.ase.util.Debug;

public class MULTIANEWARRAY extends Instruction {
  private String type;
  private int dimensions;

  public int allocateArray(String type, int[] dim, ThreadInfo th, int d) {
    int l = dim[d++];
    int arrayRef = th.list.ks.da.newArray(type.substring(d), l, th);
    ElementInfo e = th.list.ks.da.get(arrayRef);

    if(dim.length > d)
      for(int i = 0; i < l; i++)
    e.setField(i, allocateArray(type, dim, th, d));
    else
      for(int i = 0; i < l; i++)
    e.setField(i, -1);

    return arrayRef;
  }  
  public Instruction execute(SystemState ss, KernelState ks, ThreadInfo th) {
    int[] dim = new int[dimensions];

    for(int i = dimensions - 1; i >= 0; i--)
      dim[i] = th.pop();

    int arrayRef = allocateArray(type, dim, th, 0);

    // put the result (the array reference) on the stack
    th.push(arrayRef, true);

    return th.getPC().getNext();
  }  
  public void setPeer(de.fub.bytecode.generic.Instruction i, ConstantPool cp) {
    type = cp.constantToString(cp.getConstant(((de.fub.bytecode.generic.MULTIANEWARRAY)i).getIndex()));
    dimensions = ((de.fub.bytecode.generic.MULTIANEWARRAY)i).getDimensions();
  }  
}

---