Lines Matching refs:iarray
12 class iarray : class
13 private boost::contract::constructor_precondition<iarray> {
26 explicit iarray(unsigned max, unsigned count = 0) : in iarray() function in iarray
27 boost::contract::constructor_precondition<iarray>(boost::bind( in iarray()
28 &iarray::constructor_pre, max, count)), in iarray()
34 old_instances = BOOST_CONTRACT_OLDOF(iarray::instances()); in iarray()
49 virtual ~iarray() { in ~iarray()
55 BOOST_CONTRACT_ASSERT(iarray::instances() == *old_instances - 1); in ~iarray()
96 boost::contract::check c = boost::contract::public_function<iarray>(); in instances()
107 int iarray::instances_ = 0;
110 iarray a(3, 2); in main()