Method push

src/ifcparse/aggregate_of_instance.h:70–74

    typedef boost::shared_ptr<aggregate_of<T>> ptr;
    typedef typename std::vector<T*>::const_iterator it;
    void push(T* type) {
        if (type) {
            list_.push_back(type);
        }
    }
    void push(ptr instance) {
        if (instance) {
            for (typename T::list::it it = instance->begin(); it != instance->end(); ++it) {