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