aterm_io_text.h

Go to the documentation of this file.

// Author(s): Jan Friso Groote
// Copyright: see the accompanying file COPYING or copy at
// https://github.com/mCRL2org/mCRL2/blob/master/COPYING
//
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
//
 
#ifndef MCRL2_ATERMPP_ATERM_IO_TEXT_H
#define MCRL2_ATERMPP_ATERM_IO_TEXT_H
 
#include "mcrl2/atermpp/aterm_io.h"
 
namespace atermpp
{
 
class text_aterm_ostream final : public aterm_ostream
{
public:
  text_aterm_ostream(std::ostream& os, bool newline = false);
 
  void put(const aterm& term) override;
 
private:
  void write_term_line(const aterm& term);
 
  std::ostream& m_stream;
 
  bool m_newline = false; 
};
 
class text_aterm_istream final : public aterm_istream
{
public:
  text_aterm_istream(std::istream& os);
 
  void get(aterm& t) override;
 
private:
  aterm parse_aterm(int& character);
 
  aterm parse_aterm_appl(const std::string& function_name, int& character);
 
  aterm_int parse_aterm_int(int& character);
 
  aterm_list parse_aterm_list(int& character, char begin, char end);
 
  std::string parse_quoted_string(int& character);
 
  std::string parse_unquoted_string(int& character);
 
  std::string print_parse_error_position();
 
  int next_char(bool skip_whitespace = true, bool required = false);
 
  std::istream& m_stream;
 
  std::size_t m_line = 0; 
  std::size_t m_column = 0; 
 
  std::size_t m_history_limit = 64; 
  std::deque<char> m_history; 
 
  int character; 
};
 
} // namespace atermpp
 
#endif // ATERM_IO_TEXT_H