code: public DbDatum[] get_device_property(String name, DbDatum[] properties) throws DevFailed {
  		return databaseDAO.get_device_property(this, name, properties);
  	}
docs: ==========================================================================