コード例 #1
0
ファイル: pdecl.cpp プロジェクト: sukwon0709/byterun
 void insert(pdecl_manager & m, sort * const * s, sort * r) {
     if (m_num_params == 0) {
         SASSERT(m_const == 0);
         m.m().inc_ref(r);
         m_const = r;
         return;
     }
     psort_inst_cache * curr = this;
     while (true) {
         if (curr->m_num_params == 1) {
             SASSERT(!curr->m_map.contains(*s));
             curr->m_map.insert(*s, r);
             m.m().inc_ref(*s);
             m.m().inc_ref(r);
             return;
         }
         void * next = 0;
         if (!curr->m_map.find(*s, next)) {
             next = new (m.a().allocate(sizeof(psort_inst_cache))) psort_inst_cache(curr->m_num_params-1);
             curr->m_map.insert(*s, next);
             m.m().inc_ref(*s);
         }
         SASSERT(next != 0);
         SASSERT(curr->m_num_params == static_cast<psort_inst_cache*>(next)->m_num_params + 1);
         s++;
         curr = static_cast<psort_inst_cache*>(next);
     }
 }
コード例 #2
0
ファイル: pdecl.cpp プロジェクト: sukwon0709/byterun
 void finalize(pdecl_manager & m) {
     if (m_num_params == 0) {
         SASSERT(m_map.empty());
         if (m_const)
             m.m().dec_ref(m_const);
         m_const = 0;
     }
     else {
         SASSERT(m_const == 0);
         obj_map<sort, void *>::iterator it  = m_map.begin();
         obj_map<sort, void *>::iterator end = m_map.end();
         for (; it != end; ++it) {
             m.m().dec_ref((*it).m_key);
             if (m_num_params == 1) {
                 m.m().dec_ref(static_cast<sort*>((*it).m_value));
             }
             else {
                 psort_inst_cache * child = static_cast<psort_inst_cache*>((*it).m_value);
                 child->finalize(m);
                 child->~psort_inst_cache();
                 m.a().deallocate(sizeof(psort_inst_cache), child);
             }
         }
         m_map.reset();
     }
 }
コード例 #3
0
ファイル: pdecl.cpp プロジェクト: chadbrewbaker/z3
 void finalize(pdecl_manager & m) {
     if (m_num_params == 0) {
         SASSERT(m_map.empty());
         if (m_const)
             m.m().dec_ref(m_const);
         m_const = nullptr;
     }
     else {
         SASSERT(m_const == 0);
         for (auto kv : m_map) {
             m.m().dec_ref(kv.m_key);
             if (m_num_params == 1) {
                 m.m().dec_ref(static_cast<sort*>(kv.m_value));
             }
             else {
                 psort_inst_cache * child = static_cast<psort_inst_cache*>(kv.m_value);
                 child->finalize(m);
                 child->~psort_inst_cache();
                 m.a().deallocate(sizeof(psort_inst_cache), child);
             }
         }
         m_map.reset();
     }
 }
コード例 #4
0
ファイル: pdecl.cpp プロジェクト: sukwon0709/byterun
 virtual void finalize(pdecl_manager & m) { 
     m.m().dec_ref(m_sort); 
     psort::finalize(m);
 }
コード例 #5
0
ファイル: pdecl.cpp プロジェクト: sukwon0709/byterun
 psort_sort(unsigned id, pdecl_manager & m, sort * s):psort(id, 0), m_sort(s) { m.m().inc_ref(m_sort); }
コード例 #6
0
ファイル: pdecl.cpp プロジェクト: chadbrewbaker/z3
 void finalize(pdecl_manager & m) override {
     m.m().dec_ref(m_sort);
     psort::finalize(m);
 }