aterm_string.h

Go to the documentation of this file.

// Author(s): Wieger Wesselink
// 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_STRING_H
#define MCRL2_ATERMPP_ATERM_STRING_H
 
#include "mcrl2/atermpp/aterm.h"
 
namespace atermpp
{
 
class aterm_string: public aterm
{
public:
  aterm_string()
  {}
 
  explicit aterm_string(const aterm& t)
    : aterm(t)
  {
    assert(size() == 0);
  }
 
  aterm_string(const function_symbol& f)
    : aterm(f)
  {
    assert(f.arity() == 0);
    assert(size() == 0);
  }
 
  aterm_string(const std::string& s)
    : aterm(function_symbol(s,0))
  {
    assert(size() == 0);
  }
 
  aterm_string(const aterm_string& t) noexcept = default;
 
  aterm_string(aterm_string&& t) noexcept = default;
 
  aterm_string& operator=(const aterm_string& t) noexcept = default;
 
  aterm_string& operator=(aterm_string&& t) noexcept = default;
 
  operator const std::string&() const
  {
    return function().name();
  }
};
 
inline
const aterm_string& empty_string()
{
  static atermpp::aterm_string t("");
  return t;
}
 
} // namespace atermpp
 
 
namespace std
{
 
 
template <>
inline void swap(atermpp::aterm_string& t1, atermpp::aterm_string& t2) noexcept
{
  t1.swap(t2);
}
} // namespace std
 
#endif // MCRL2_ATERMPP_ATERM_STRING_H