io.h

Go to the documentation of this file.

// Author(s): Sjoerd Cranen; simplified by 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_LPS_IO_H
#define MCRL2_LPS_IO_H
 
#include "mcrl2/atermpp/aterm_io_binary.h"
#include "mcrl2/lps/specification.h"
#include "mcrl2/lps/stochastic_specification.h"
 
#include <fstream>
 
namespace mcrl2
{
 
namespace lps
{
 
atermpp::aterm_ostream& operator<<(atermpp::aterm_ostream& stream, const specification& spec);
atermpp::aterm_ostream& operator<<(atermpp::aterm_ostream& stream, const stochastic_specification& spec);
 
atermpp::aterm_istream& operator>>(atermpp::aterm_istream& stream, specification& spec);
atermpp::aterm_istream& operator>>(atermpp::aterm_istream& stream, stochastic_specification& spec);
 
template <typename Specification>
void save_lps(const Specification& spec, std::ostream& stream, const std::string& target = "")
{
  mCRL2log(log::debug) << "Saving LPS" << (target.empty() ? "" : " to " + target) << ".\n";
  atermpp::binary_aterm_ostream(stream) << spec;
}
 
template <typename Specification>
void load_lps(Specification& spec, std::istream& stream, const std::string& source = "")
{
  mCRL2log(log::debug) << "Loading LPS" << (source.empty() ? "" : " from " + source) << ".\n";
 
  if constexpr (std::is_same<Specification, specification>::value)
  {
    stochastic_specification stoch_spec;
    atermpp::binary_aterm_istream(stream) >> stoch_spec;
    spec=remove_stochastic_operators(stoch_spec);
  }
  else
  {
    atermpp::binary_aterm_istream(stream) >> spec;
  }
}
 
template <typename Specification>
void save_lps(const Specification& spec, const std::string& filename)
{
  if (filename.empty() || filename == "-")
  {
    save_lps(spec, std::cout, "standard output");
    return;
  }
 
  std::ofstream ofs(filename, std::ios_base::binary);
  if (!ofs.good())
  {
    throw mcrl2::runtime_error("Could not open file " + filename + ".");
  }
  save_lps(spec, ofs, filename);
}
 
 
template <typename Specification>
void load_lps(Specification& spec, const std::string& filename)
{
  if (filename.empty() || filename == "-")
  {
    load_lps(spec, std::cin, "standard input");
    return;
  }
 
  std::ifstream ifs(filename, std::ios_base::binary);
  if (!ifs.good())
  {
    throw mcrl2::runtime_error("Could not open file " + filename + ".");
  }
  load_lps(spec, ifs, filename);
}
 
} // namespace lps
 
} // namespace mcrl2
 
#endif // MCRL2_LPS_IO_H