src/main/java/org/plumelib/bcelutil/StackMapUtils.java
@Pure
  protected final String get_attribute_name(Attribute a) {
    int con_index = a.getNameIndex();
    Constant c = pool.getConstant(con_index);
    String att_name = ((ConstantUtf8) c).getBytes();
    return att_name;
  }
@Pure
  protected final String get_attribute_name(Attribute a) {
    int con_index = a.getNameIndex();
    Constant c = pool.getConstant(con_index);
    String att_name = ((ConstantUtf8) c).getBytes();
    return att_name;
  }
Return the attribute name for the specified attribute.

@param a the attribute
@return the attribute name for the specified attribute