code: public String get_info(Database database) throws DevFailed {
          if (!database.isAccess_checked()) checkAccess(database);
  
          //	Query info from database
          DeviceData argOut = command_inout(database, "DbInfo");
          String[] info = argOut.extractStringArray();
  
          //	format result as string
          return stringArray2String(info);
      }
docs: ==========================================================================