Line data Source code
1 : // Author(s): Wieger Wesselink 2 : // Copyright: see the accompanying file COPYING or copy at 3 : // https://github.com/mCRL2org/mCRL2/blob/master/COPYING 4 : // 5 : // Distributed under the Boost Software License, Version 1.0. 6 : // (See accompanying file LICENSE_1_0.txt or copy at 7 : // http://www.boost.org/LICENSE_1_0.txt) 8 : // 9 : /// \file mcrl2/data/untyped_sort.h 10 : /// \brief add your file description here. 11 : 12 : #ifndef MCRL2_DATA_UNTYPED_SORT_H 13 : #define MCRL2_DATA_UNTYPED_SORT_H 14 : 15 : #include "mcrl2/data/sort_expression.h" 16 : 17 : namespace mcrl2 { 18 : 19 : namespace data { 20 : 21 : //--- start generated class untyped_sort ---// 22 : /// \\brief Unknown sort expression 23 : class untyped_sort: public sort_expression 24 : { 25 : public: 26 : /// \\brief Default constructor. 27 401265 : untyped_sort() 28 401265 : : sort_expression(core::detail::default_values::UntypedSortUnknown) 29 401265 : {} 30 : 31 : /// \\brief Constructor. 32 : /// \\param term A term 33 8996 : explicit untyped_sort(const atermpp::aterm& term) 34 8996 : : sort_expression(term) 35 : { 36 8996 : assert(core::detail::check_term_UntypedSortUnknown(*this)); 37 8996 : } 38 : 39 : /// Move semantics 40 : untyped_sort(const untyped_sort&) noexcept = default; 41 : untyped_sort(untyped_sort&&) noexcept = default; 42 : untyped_sort& operator=(const untyped_sort&) noexcept = default; 43 : untyped_sort& operator=(untyped_sort&&) noexcept = default; 44 : }; 45 : 46 : // prototype declaration 47 : std::string pp(const untyped_sort& x); 48 : 49 : /// \\brief Outputs the object to a stream 50 : /// \\param out An output stream 51 : /// \\param x Object x 52 : /// \\return The output stream 53 : inline 54 : std::ostream& operator<<(std::ostream& out, const untyped_sort& x) 55 : { 56 : return out << data::pp(x); 57 : } 58 : 59 : /// \\brief swap overload 60 : inline void swap(untyped_sort& t1, untyped_sort& t2) 61 : { 62 : t1.swap(t2); 63 : } 64 : //--- end generated class untyped_sort ---// 65 : 66 : } // namespace data 67 : 68 : } // namespace mcrl2 69 : 70 : #endif // MCRL2_DATA_UNTYPED_SORT_H