code: public void delete_device_attribute_property(Database database, String deviceName, DbAttribute attr)
              throws DevFailed {
          delete_device_attribute_property(database, deviceName,
                  attr.name, attr.get_property_list());
      }
docs: ==========================================================================