/** Returns the attribute name for the specified attribute */
public String get_attribute_name(Attribute a) {
int con_index = a.getNameIndex();
Constant c = pgen.getConstant(con_index);
String att_name = ((ConstantUtf8) c).getBytes();
return (att_name);
}
public Instruction createInstructionAnewarray(Element inst) {
String classType = inst.getAttributeValue("elementType");
return new ANEWARRAY(_cp.addClass(classType));
}
public Instruction createInstructionCheckcast(Element inst) throws IllegalXMLVMException {
String classType = inst.getAttributeValue("type");
return new CHECKCAST(_cp.addClass(classType));
}
