Searched refs:assertions_ (Results 1 – 4 of 4) sorted by relevance
573 Assertions assertions_; variable
1203 this->assertions_.push_back(p); in add_assertion()1244 for (Assertions::iterator p = this->assertions_.begin(); in finalize_symbols()1245 p != this->assertions_.end(); in finalize_symbols()1714 for (Assertions::const_iterator p = this->assertions_.begin(); in print()1715 p != this->assertions_.end(); in print()
554 Assertions assertions_; variable
1173 this->assertions_.push_back(p); in add_assertion()1214 for (Assertions::iterator p = this->assertions_.begin(); in finalize_symbols()1215 p != this->assertions_.end(); in finalize_symbols()1684 for (Assertions::const_iterator p = this->assertions_.begin(); in print()1685 p != this->assertions_.end(); in print()