code: public DbHistory[] get_device_attribute_property_history(String devname, String attname, String propname) throws DevFailed {
  		return databaseDAO.get_device_attribute_property_history(this, devname, attname, propname);
  	}
docs: ==========================================================================