Lines Matching refs:contract
20 friend class boost::contract::access;
30 boost::contract::check c = boost::contract::constructor(this); in concrete_subject()
35 boost::contract::check c = boost::contract::destructor(this); in ~concrete_subject()
40 boost::contract::check c = boost::contract::public_function(this); in set_state()
49 boost::contract::check c = boost::contract::public_function(this); in get_state()
62 friend class boost::contract::access;
74 boost::contract::check c = boost::contract::constructor(this); in concrete_observer()
79 boost::contract::check c = boost::contract::destructor(this); in ~concrete_observer()
84 bool up_to_date_with_subject(boost::contract::virtual_* v = 0) in up_to_date_with_subject()
87 boost::contract::check c = boost::contract::public_function< in up_to_date_with_subject()
94 void update(boost::contract::virtual_* v = 0) /* override */ { in update()
95 boost::contract::check c = boost::contract::public_function< in update()