code: public DbAttribute get_device_attribute_property(Database database, String deviceName, String attname)
              throws DevFailed {
          String[] attnames = new String[1];
          attnames[0] = attname;
          return get_device_attribute_property(database, deviceName, attnames)[0];
      }
docs: ==========================================================================