code: public String[] get_host_list(Database database) throws DevFailed {
          if (!database.isAccess_checked()) checkAccess(database);
  
          //	Query info from database
          DeviceData argIn = new DeviceData();
          argIn.insert("*");
          DeviceData argOut = command_inout(database, "DbGetHostList", argIn);
          return argOut.extractStringArray();
      }
docs: ==========================================================================