.. _program_listing_file_include_reach_interfaces_logger.h:

Program Listing for File logger.h
=================================

|exhale_lsh| :ref:`Return to documentation for file <file_include_reach_interfaces_logger.h>` (``include/reach/interfaces/logger.h``)

.. |exhale_lsh| unicode:: U+021B0 .. UPWARDS ARROW WITH TIP LEFTWARDS

.. code-block:: cpp

   #ifndef reach_INTERFACES_LOGGER_H
   #define reach_INTERFACES_LOGGER_H
   
   #include <atomic>
   #include <memory>
   #include <string>
   
   namespace YAML
   {
   class Node;
   }
   
   #ifdef BUILD_PYTHON
   namespace boost
   {
   namespace python
   {
   class dict;
   }  // namespace python
   }  // namespace boost
   #endif
   
   namespace reach
   {
   class ReachResultSummary;
   
   struct Logger
   {
     using Ptr = std::shared_ptr<Logger>;
     using ConstPtr = std::shared_ptr<const Logger>;
   
     virtual ~Logger() = default;
   
     virtual void setMaxProgress(unsigned long max_progress) = 0;
     virtual void printProgress(unsigned long progress) const = 0;
   
     virtual void printResults(const ReachResultSummary& results) const = 0;
   
     virtual void print(const std::string& message) const = 0;
   };
   
   struct LoggerFactory
   {
     using Ptr = std::shared_ptr<LoggerFactory>;
     using ConstPtr = std::shared_ptr<const LoggerFactory>;
   
     virtual ~LoggerFactory() = default;
   
     virtual Logger::Ptr create(const YAML::Node& config) const = 0;
   
     static std::string getSection()
     {
       return LOGGER_SECTION;
     }
   
   #ifdef BUILD_PYTHON
     Logger::Ptr create(const boost::python::dict& pyyaml_config) const;
   #endif
   };
   
   }  // namespace reach
   
   #endif  // reach_INTERFACES_LOGGER_H