18         boost::contract::check c = boost::contract::constructor(this)  in abstract_stack()
28         boost::contract::check c = boost::contract::destructor(this);  in ~abstract_stack()
33         boost::contract::check c = boost::contract::public_function(this)  in full()
44         boost::contract::check c = boost::contract::public_function(this)  in empty()
53     virtual int length(boost::contract::virtual_* v = 0) const = 0;
54     virtual int capacity(boost::contract::virtual_* v = 0) const = 0;
56     virtual T const& item(boost::contract::virtual_* v = 0) const = 0;
58     virtual void push(T const& value, boost::contract::virtual_* v = 0) = 0;
59     virtual T const& pop(boost::contract::virtual_* v = 0) = 0;
61     virtual void clear(boost::contract::virtual_* v = 0) = 0;
65 int abstract_stack<T>::length(boost::contract::virtual_* v) const {  in length()
67     boost::contract::check c = boost::contract::public_function(v, result, this)  in length()
77 int abstract_stack<T>::capacity(boost::contract::virtual_* v) const {  in capacity()
79     boost::contract::check c = boost::contract::public_function(v, result, this)  in capacity()
89 T const& abstract_stack<T>::item(boost::contract::virtual_* v) const {  in item()
91     boost::contract::check c = boost::contract::public_function(v, result, this)  in item()
101 void abstract_stack<T>::push(T const& value, boost::contract::virtual_* v) {  in push()
102     boost::contract::check c = boost::contract::public_function(v, this)  in push()
114 T const& abstract_stack<T>::pop(boost::contract::virtual_* v) {  in pop()
116     boost::contract::old_ptr<T> old_item = BOOST_CONTRACT_OLDOF(v, item());  in pop()
117     boost::contract::check c = boost::contract::public_function(v, result, this)  in pop()
131 void abstract_stack<T>::clear(boost::contract::virtual_* v) {  in clear()
132     boost::contract::check c = boost::contract::public_function(v, this)  in clear()
142     #define BASES private boost::contract::constructor_precondition< \
146     friend class boost::contract::access;
160         boost::contract::constructor_precondition<vstack>([&] {  in vstack()
166         boost::contract::check c = boost::contract::constructor(this)
175         boost::contract::check c = boost::contract::destructor(this);  in ~vstack()
180     virtual int length(boost::contract::virtual_* v = 0) const /* override */ {  in length()
182         boost::contract::check c = boost::contract::public_function<  in length()
187     virtual int capacity(boost::contract::virtual_* v = 0)  in capacity()
190         boost::contract::check c = boost::contract::public_function<  in capacity()
195     virtual T const& item(boost::contract::virtual_* v = 0)  in item()
198         boost::contract::check c = boost::contract::public_function<  in item()
203     virtual void push(T const& value, boost::contract::virtual_* v = 0)  in push()
205         boost::contract::check c = boost::contract::public_function<  in push()
210     virtual T const& pop(boost::contract::virtual_* v = 0) /* override */ {  in pop()
212         boost::contract::check c = boost::contract::public_function<  in pop()
217     virtual void clear(boost::contract::virtual_* v = 0) /* override */ {  in clear()
218         boost::contract::check c = boost::contract::public_function<  in clear()