code: private void throw_err_format(String prop_name,String dev_name) throws DevFailed
  	{
  		StringBuffer o = new StringBuffer("Device ");
  		o.append(dev_name);
  		o.append("-> Attribute");
  		o.append(name);	
  		o.append("\nThe property ");
  		o.append(prop_name);
  		o.append(" is defined in a unsupported format");
  				
  		Except.throw_exception("API_AttrOptProp",o.toString(),
  				       "Attribute.throw_err_format");
  	}
docs: --------------------------------------------------------------------------