diagnostic-context.hpp

Go to the documentation of this file.

/*
  DIAGNOSTIC-CONTEXT.hpp  -  thread local stack for explicitly collecting diagnostic context info

   Copyright (C)
     2010,            Hermann Vosseler <Ichthyostega@web.de>

  **Lumiera** is free software; you can redistribute it and/or modify it
  under the terms of the GNU General Public License as published by the
  Free Software Foundation; either version 2 of the License, or (at your
  option) any later version. See the file COPYING for further details.

*/

#ifndef LIB_DIAGNOSTIC_CONTEXT_H
#define LIB_DIAGNOSTIC_CONTEXT_H


#include "lib/error.hpp"
#include "lib/nocopy.hpp"



namespace lib {
  
  
  
  
  template<typename VAL>
  class DiagnosticContext
    : util::NonCopyable
    {
      using ValSequence = std::vector<VAL>;
      
      const VAL value_;
      DiagnosticContext * const prev_;
      
      static DiagnosticContext* &
      current()
        {
          thread_local DiagnosticContext* accessPoint;
          return accessPoint;
        }
      
      
    public:
      DiagnosticContext(VAL const& value_to_log = VAL())
        : value_{value_to_log}
        , prev_{current()}
        {
          current() = this;
        }
      
     ~DiagnosticContext()
        {
          ASSERT (this == current());
          current() = prev_;
        }
      
      
      operator VAL const&()  
        {
          return value_;
        }
      
      static DiagnosticContext&
      access ()
        {
          DiagnosticContext* innermost = current();
          if (!innermost)
            throw lumiera::error::Logic ("Accessing Diagnostic context out of order; "
                                         "an instance should have been created within "
                                         "an enclosing scope");
          return *innermost;
        }
      
      
      static ValSequence
      extractStack()
        {
          ValSequence loggedValues;
          DiagnosticContext* next = current();
          while (next)
            {
              loggedValues.push_back (*next);
              next = next->prev_;
            }
          return loggedValues;
        }
    };
  
  
  
  
  
} // namespace lib
#endif