code: private String get_attr_value(Vector prop_list,String prop_name) throws DevFailed
  	{
  		int pos = 0;
  //
  // Get the property value
  //
  
  		try
  		{
  			pos = find(prop_list,prop_name);
  		}
  		catch (DevFailed ex)
  		{
  			StringBuffer o = new StringBuffer("Property ");
  			o.append(prop_name);
  			o.append(" is missing for attribute ");
  			o.append(name);
  			
  			Except.throw_exception("API_AttrOptProp",o.toString(),
  					       "Attribute.get_attr_value");
  		}
  		
  		return ((AttrProperty)(prop_list.elementAt(pos))).get_value()[0];
  	}
docs: --------------------------------------------------------------------------