C++ (Cpp) id_placeholder Examples

Example #1

File: id_manager.cpp Project: CASL/vera_tpls

 id_placeholder* id_state::add_placeholder(
         std::string const& id, id_category category,
         id_placeholder* parent)
 {
     placeholders.push_back(id_placeholder(
         placeholders.size(), id, category, parent));
     return &placeholders.back();
 }

Example #2

File: document_state.cpp Project: AlexMioMio/boost

 id_placeholder const* document_state_impl::add_placeholder(
         boost::string_ref id, id_category category,
         id_placeholder const* parent)
 {
     placeholders.push_back(id_placeholder(
         placeholders.size(), id, category, parent));
     return &placeholders.back();
 }