---

MethodInfo.java

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

import de.fub.bytecode.classfile.*;
import de.fub.bytecode.generic.*;
import gov.nasa.arc.ase.jpf.*;
import gov.nasa.arc.ase.util.Debug;

public class MethodInfo {

  // Name of the method (string)
  private String              method_name;
  // "Better" represnetation of a Method's information (from JavaClass)
  private MethodGen           mg;
  // All instructions in method
  private InstructionHandle[] ihs;
  // All ExceptionHandlers in method
  private CodeExceptionGen[] exceptions;
  // Constant pool for resolution
  private ConstantPoolGen     cpg;
  // Class information for class this method is part of
  private ClassInfo           ci;
  // Table of line numbers for this method
  private LineNumberTable     linenumbers;
  // Table of line numbers for this method
  private LocalVariableTable   localVars;
  // unique id
  int id;

  public MethodInfo(Method m, 
      ClassInfo ci, 
      ConstantPoolGen cpg) {
    InstructionList     il;
    this.cpg = cpg;
    this.ci = ci;
    id = IDS.method_id; IDS.method_id++;
    mg  = new MethodGen(m,ci.getClassData().getClassName(),cpg);
    exceptions = mg.getExceptionHandlers();
    linenumbers = mg.getLineNumberTable(cpg);
    localVars   = mg.getLocalVariableTable(cpg);
    method_name = mg.getMethodName();
// ifdef DEBUG

//#endif DEBUG
    il  = mg.getInstructionList();   
    if (il != null) {
// ifdef DEBUG

//#endif DEBUG
      ihs = il.getInstructionHandles();      
    }
// ifdef DEBUG


//#endif DEBUG
  }  
  public int getArgumentSize() {
    Type[] args = mg.getArgTypes();
    int sum;

    if(mg.isStatic())
      sum = 0;
    else
      sum = 1;  // this reference

    int n = args.length;
    for (int i = 0; i < n; i++)
      sum += args[i].getSize();

    return sum;
  }  
  public ClassInfo getClassInfo() {
    return ci;
  }  
  public ConstantPoolGen getConstantPool() {
    return cpg;
  }  
  public CodeExceptionGen[] getExceptions() {
    return exceptions;
  }  
  public InstructionHandle getFirstInstruction() {
    if(ihs == null) return null;
    return ihs[0];
  }  
  public String getFullName() {
    return ci.getClassName() + "." + method_name + mg.getMethodSignature();
  }  
  public InstructionHandle getInstructionHandle(int i) {
    return ihs[i];
  }  
  public int getInstructionNumber(InstructionHandle pc) {
    for(int i = 0, s = ihs.length; i < s; i++)
      if(ihs[i] == pc) return i;

    return -1;
  }  
  public LineNumberTable getLineNumbers() {
    return linenumbers;
  }  
  public MethodGen getMethodGen() {
    return mg;
  }  
  public String getMethodName() {
    return method_name;
  }  
}

---