code: public List<DbHistory> getDevicePipePropertyHistory(String deviceName,String pipeName,
                                                               String propertyName) throws DevFailed {
          return databaseDAO.getDevicePipePropertyHistory(this, deviceName, pipeName, propertyName);
      }
docs: ===================================================================