concepts.hpp
Go to the documentation of this file.
1 /* -*- Mode:C++; c-file-style:"gnu"; indent-tabs-mode:nil; -*- */
2 /*
3  * Copyright (c) 2014-2020 Regents of the University of California,
4  * Arizona Board of Regents,
5  * Colorado State University,
6  * University Pierre & Marie Curie, Sorbonne University,
7  * Washington University in St. Louis,
8  * Beijing Institute of Technology,
9  * The University of Memphis.
10  *
11  * This file is part of ndn-cxx library (NDN C++ library with eXperimental eXtensions).
12  *
13  * ndn-cxx library is free software: you can redistribute it and/or modify it under the
14  * terms of the GNU Lesser General Public License as published by the Free Software
15  * Foundation, either version 3 of the License, or (at your option) any later version.
16  *
17  * ndn-cxx library is distributed in the hope that it will be useful, but WITHOUT ANY
18  * WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A
19  * PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details.
20  *
21  * You should have received copies of the GNU General Public License and GNU Lesser
22  * General Public License along with ndn-cxx, e.g., in COPYING.md file. If not, see
23  * <http://www.gnu.org/licenses/>.
24  *
25  * See AUTHORS.md for complete list of ndn-cxx authors and contributors.
26  */
27 
28 #ifndef NDN_UTIL_CONCEPTS_HPP
29 #define NDN_UTIL_CONCEPTS_HPP
30 
33 
34 #include <boost/concept/usage.hpp>
35 #include <boost/type_traits/has_equal_to.hpp>
36 #include <boost/type_traits/has_not_equal_to.hpp>
37 #include <boost/type_traits/has_left_shift.hpp>
38 
39 namespace ndn {
40 
43 template<class X>
45 {
46 public:
48  {
49  Block block = j.wireEncode();
50  block.size(); // avoid 'unused variable block'
51  }
52 
53 private:
54  X j;
55 };
56 
59 template<class X>
61 {
62 public:
64  {
65  EncodingEstimator estimator;
66  size_t estimatedSize = j.wireEncode(estimator);
67 
68  EncodingBuffer encoder(estimatedSize, 0);
69  j.wireEncode(encoder);
70  }
71 
72 private:
73  X j;
74 };
75 
79 template<class X>
81 {
82 public:
84  {
85  Block block;
86  X j(block);
87  j.wireDecode(block);
88  }
89 };
90 
91 namespace detail {
92 
93 template<class X>
96  , public WireDecodable<X>
97 {
98 public:
100  {
101  static_assert(std::is_default_constructible<X>::value, "");
102  static_assert(boost::has_equal_to<X, X, bool>::value, "");
103  static_assert(boost::has_not_equal_to<X, X, bool>::value, "");
104  static_assert(boost::has_left_shift<std::ostream, X, std::ostream&>::value, "");
105  static_assert(std::is_base_of<tlv::Error, typename X::Error>::value, "");
106  }
107 };
108 
109 } // namespace detail
110 
114 template<class X>
116 {
117 };
118 
122 template<class X>
124 {
125 };
126 
127 // NDN_CXX_ASSERT_FORWARD_ITERATOR originally written as part of the NFD codebase
128 
129 namespace detail {
130 
131 // As of Boost 1.61.0, the internal implementation of BOOST_CONCEPT_ASSERT does not allow
132 // multiple assertions on the same line, so we have to combine multiple concepts together.
133 template<typename T>
134 class StlForwardIteratorConcept : public boost::ForwardIterator<T>
135  , public boost::DefaultConstructible<T>
136 {
137 };
138 
139 } // namespace detail
140 } // namespace ndn
141 
147 #define NDN_CXX_ASSERT_FORWARD_ITERATOR(T) \
148  static_assert(std::is_default_constructible<T>::value, \
149  #T " must be default-constructible"); \
150  BOOST_CONCEPT_ASSERT((::ndn::detail::StlForwardIteratorConcept<T>))
151 
152 #endif // NDN_UTIL_CONCEPTS_HPP
Definition: data.cpp:26
BOOST_CONCEPT_USAGE(WireDecodable)
Definition: concepts.hpp:83
Represents a TLV element of the NDN packet format.
Definition: block.hpp:42
a concept check for TLV abstraction with .wireEncode method
Definition: concepts.hpp:60
size_t size() const
Return the size of the encoded wire, i.e.
Definition: block.cpp:290
concept check for an item in a Notification Stream
Definition: concepts.hpp:123
BOOST_CONCEPT_USAGE(WireEncodable)
Definition: concepts.hpp:47
BOOST_CONCEPT_USAGE(NfdMgmtProtocolStruct)
Definition: concepts.hpp:99
concept check for an item in a Status Dataset
Definition: concepts.hpp:115
BOOST_CONCEPT_USAGE(WireEncodableWithEncodingBuffer)
Definition: concepts.hpp:63
a concept check for TLV abstraction with .wireEncode method
Definition: concepts.hpp:44
a concept check for TLV abstraction with .wireDecode method and constructible from Block ...
Definition: concepts.hpp:80
EncodingImpl< EncoderTag > EncodingBuffer
EncodingImpl< EstimatorTag > EncodingEstimator