Lines Matching refs:iarray
12 iarray::iarray(unsigned max, unsigned count) : in iarray() function in iarray
13 boost::contract::constructor_precondition<iarray>(boost::bind( in iarray()
14 &iarray::constructor_precondition, max, count)), in iarray()
20 .old(boost::bind(&iarray::constructor_old, boost::ref(old_instances))) in iarray()
22 &iarray::constructor_postcondition, in iarray()
35 iarray::~iarray() { in ~iarray()
38 .old(boost::bind(&iarray::destructor_old, this, in ~iarray()
40 .postcondition(boost::bind(&iarray::destructor_postcondition, in ~iarray()
48 void iarray::push_back(int value, boost::contract::virtual_* v) { in push_back()
51 .precondition(boost::bind(&iarray::push_back_precondition, this)) in push_back()
52 .old(boost::bind(&iarray::push_back_old, this, boost::cref(v), in push_back()
54 .postcondition(boost::bind(&iarray::push_back_postcondition, this, in push_back()
61 unsigned iarray::capacity() const { in capacity()
67 unsigned iarray::size() const { in size()
73 int iarray::instances() { in instances()
75 boost::contract::check c = boost::contract::public_function<iarray>(); in instances()
79 int iarray::instances_ = 0;
83 iarray a(3, 2); in main()