---

MULTIANEWARRAY.java

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

import gov.nasa.arc.ase.jpf.*;
import gov.nasa.arc.ase.jpf.jvm.*;
import de.fub.bytecode.Constants;
import de.fub.bytecode.classfile.Constant;
import de.fub.bytecode.classfile.ConstantPool;
import de.fub.bytecode.generic.ConstantPoolGen;
import de.fub.bytecode.generic.InstructionHandle;
import gov.nasa.arc.ase.util.Debug;

public class MULTIANEWARRAY extends AbstractInstruction {
  private de.fub.bytecode.generic.MULTIANEWARRAY peer;

  public InstructionHandle execute(SystemState ss, KernelState ks, ThreadInfo th) {
    JPFVM jpfvm = JPFVM.getJPFVM();

    ConstantPoolGen cpg = th.getCPG();
    ConstantPool cp = cpg.getConstantPool();
    Constant constant = cp.getConstant(peer.getIndex());

    // type of the array to be constructed
    String typename =  cp.constantToString(constant);

    // number of dimensions
    int ndim = peer.getDimensions();
    int[] dim = new int[ndim];

    for(int i= 0; i < ndim; i++) {
      // gets from the stack each dimension
      dim[i] = th.pop();
    }

    DynamicArea da = ks.dynamic_area;

    int arrayref = da.newArrayObject(typename.substring(1), dim[0], th);

    // put the result (the array reference) on the stack
    th.push(arrayref);
// ifdef MARK_N_SWEEP
    th.setOperandRef();
//#endif MARK_N_SWEEP

    // we still have to allocate the space for it tough
    for(int i = 1; i < ndim; i++) {
      for(int j = 0, s = dim[i-1]; j < s; j++) {
    int objref = da.newArrayObject(typename.substring(i+1), dim[i], th);

    da.setValue(arrayref, j, objref);
      }
    }

    return th.getPC().getNext();
  }  
  public void setPeer(de.fub.bytecode.generic.Instruction i) {
    peer = (de.fub.bytecode.generic.MULTIANEWARRAY)i;
  }  
}

---