---

FieldInfo.java

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

import de.fub.bytecode.classfile.Field;

/**
 * Information about a field.
 */
public class FieldInfo {
  /**
   * Name of the field.
   */
  private String name;

  /**
   * Type of the field.
   */
  private String type;

  /**
   * Class the field belongs to.
   */
  private ClassInfo ci;

  /**
   * Static field.
   */
  private boolean isStatic;

  /**
   * Creates a new field info.
   */
  public FieldInfo(Field f, ClassInfo c) {
    name = f.getName();
    type = f.getSignature();
    ci = c;
    isStatic = f.isStatic();
  }  
  /**
   * Returns the name of the field.
   */
  public String getName() {
    return name;
  }  
  /**
   * Returns the type of the field.
   */
  public String getType() {
    return type;
  }  
  /**
   * Returns true if the field is static.
   */
  public boolean isStatic() {
    return isStatic();
  }  
  /**
   * Returns a string representation of the field.
   */
  public String toString() {
    StringBuffer sb = new StringBuffer();
    
    if(isStatic) sb.append("static ");

    sb.append(Types.getTypeName(type));
    sb.append(" ");
    sb.append(ci.getName());
    sb.append(".");
    sb.append(name);

    return sb.toString();
  }  
}

---