code: public DbDatum[] get_device_property(Database database, String name, DbDatum[] properties)
              throws DevFailed {
          String type = "Device";    //	Device object type
          return get_obj_property(database, name, type, properties);
      }
docs: ==========================================================================