#ifndef FORMALINE_PORTAL_HH
#define FORMALINE_PORTAL_HH

#include <sstream>
#include <string>

#include "storage.hh"



namespace Formaline
{
  
  class portal : public storage
  {
    std::ostringstream msgbuf;
    std::string const path;
    portal * const parent;
    
  public:
    
    portal (char const * id,
            enum state st,
            char const * p = "",
            portal * const par = 0);
    
    virtual
    ~ portal ();
    
    virtual portal *
    open_group (char const * name);
    
    virtual void
    store (char const * key,
           bool value);
    
    virtual void
    store (char const * key,
           CCTK_INT value);
    
    virtual void
    store (char const * key,
           CCTK_REAL value);
    
    virtual void
    store (char const * key,
           char const * value);
    
  private:
    
    std::string
    clean (std::string const & txt)
      const;
  };
  
  
  
} // namespace Formaline



#endif // ifndef FORMALINE_PORTAL_HH