code: public DbHistory[] get_device_property_history(Database database, String deviceName, String propname)
              throws DevFailed {
          if (!database.isAccess_checked()) checkAccess(database);
  
          DeviceData argIn = new DeviceData();
          argIn.insert(new String[]{deviceName, propname});
          DeviceData argOut = command_inout(database, "DbGetDevicePropertyHist", argIn);
          List<DbHistory> dbHistories = convertPropertyHistory(argOut.extractStringArray(), false);
          DbHistory[] array = new DbHistory[dbHistories.size()];
          for (int i=0 ; i<array.length ; i++)
              array[i] = dbHistories.get(i);
          return array;
      }
docs: ==========================================================================