code: public String[] get_device_property_list(String devname, String wildcard) throws DevFailed {
  		return databaseDAO.get_device_property_list(this, devname, wildcard);
  	}
docs: ==========================================================================