@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;
  }
@ 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
Return the attribute name for the specified attribute .