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