dark_style::dark_style( void ) { _default_font = application::current()->get_font( "Lucida Grande", "Regular", 7.0 ); postcondition( bool(_default_font), "font for dark style not found" ); _default_bold_font = application::current()->get_font( "Lucida Grande", "Bold", 7.0 ); postcondition( bool(_default_bold_font), "font for dark bold style not found" ); }
void DrawPort::addConnectionPoint(RelativePosition *point) { precondition(!point->hasAnchor()); point->replaceAnchor(&this->getPosition()); postcondition(point->hasAnchor()); postcondition(point->getAnchor() == &this->getPosition()); }
void rehash_empty_test1(X* = 0) { X x; x.rehash(10000); BOOST_TEST(postcondition(x, 10000)); x.rehash(0); BOOST_TEST(postcondition(x, 0)); }
Component *ComponentFactory::produce(const std::string &name, const std::vector<std::string> &inPort, const std::vector<std::string> &outPort) { Component *comp = produce(name); addPorts(comp, inPort, PortType::Slot); addPorts(comp, outPort, PortType::Signal); postcondition(comp != nullptr); postcondition(comp->getPorts().size() == inPort.size() + outPort.size()); return comp; }
void ComponentFactory::cleanup(IComponent &icomponent) { Component &component = *dynamic_cast<Component*>(&icomponent); //TODO make it clean ImplementationFactory::dispose(component.implementation); component.implementation = nullptr; component.getPorts().clear(); postcondition(component.getPorts().empty()); postcondition(component.getImplementation() == nullptr); }
void node::remove_output( node_id o ) { if ( _output_count > 1 ) { node_id *beginOuts = _edges + _input_count; node_id *outs = beginOuts; node_id *endOuts = outs + _output_count; while ( outs != endOuts ) { if ( (*outs) == o ) break; ++outs; } // std::cout << this << ": searching for node " << o << " found index " << (outs-beginOuts) << std::endl; postcondition( outs != endOuts, "node id {0} not an output of this node", o ); std::rotate( outs, outs + 1, endOuts ); --_output_count; } else if ( _output_count == 1 ) { precondition( output( 0 ) == o, "node id {0} not an output of this node", o ); _output_count = 0; } }
void rehash_empty_test3(X* = 0, test::random_generator generator = test::default_generator) { test::random_values<X> v(1000, generator); test::ordered<X> tracker; X x; x.rehash(0); BOOST_TEST(postcondition(x, 0)); tracker.insert_range(v.begin(), v.end()); x.insert(v.begin(), v.end()); tracker.compare(x); BOOST_TEST(postcondition(x, 0)); }
void rehash_test1(X* = 0, test::random_generator generator = test::default_generator) { test::random_values<X> v(1000, generator); test::ordered<X> tracker; tracker.insert_range(v.begin(), v.end()); X x(v.begin(), v.end()); x.rehash(0); BOOST_TEST(postcondition(x, 0)); tracker.compare(x); x.max_load_factor(0.25); x.rehash(0); BOOST_TEST(postcondition(x, 0)); tracker.compare(x); x.max_load_factor(50.0); x.rehash(0); BOOST_TEST(postcondition(x, 0)); tracker.compare(x); x.rehash(1000); BOOST_TEST(postcondition(x, 1000)); tracker.compare(x); }
Library::~Library() { components.clear(); components.unregisterObserver(this); postcondition(components.empty()); }
// // MREngine implementation in MRE // BOOL MRE::FInit ( PMreToPdb pmretopdb, BOOL fWrite, BOOL fClosePdb ) { BOOL fRet = fFalse; precondition ( pmretopdb ); precondition ( pmretopdb->ppdb ); precondition ( pmretopdb->pnamemap ); // don't assert that we have a ptpi or ppdbPdbFIle, as we have // cases where we don't need it and it is not supplied. precondition ( pmretopdb->pvReserved1 == NULL ); precondition ( pmretopdb->pvReserved2 == NULL ); __try { m_fWrite = fWrite; m_fClosePdb = fClosePdb; m_ppdb = pmretopdb->ppdb; m_pnamemap = pmretopdb->pnamemap; m_ptpi = pmretopdb->ptpi; if (!m_ppdb->OpenStream ( SZ(c_szMreFileInfo), &m_pstreamFileInfo ) || !m_ppdb->OpenStream ( SZ(c_szMreClassInfo), &m_pstreamClassInfo ) || !m_ppdb->OpenStream ( SZ(c_szMreClassMods), &m_pstreamClassMods) || !m_ppdb->OpenStream ( SZ(c_szMreFileMods), &m_pstreamFileMods ) || !m_ppdb->OpenStream ( SZ(c_szMreRudeFiles), &m_pstreamRudeFiles) ) { __leave; } assert ( m_pstreamFileInfo ); assert ( m_pstreamClassInfo ); assert ( m_pstreamClassMods ); assert ( m_pstreamFileMods ); assert ( m_pstreamRudeFiles ); m_mpnifi.reloadStream ( m_pstreamFileInfo ); m_mpnici.reloadStream ( m_pstreamClassInfo ); m_rgtagniPending.reloadStream ( m_pstreamFileMods ); m_rgtagclsdep.reloadStream ( m_pstreamClassMods ); m_rgtagniRude.reloadStream ( m_pstreamRudeFiles ); // cache away the sizes to see if we have to rewrite the stream m_itagclsdepSav = m_rgtagclsdep.size(); m_ftagniPendingDirty = fFalse; m_itagniRudeSav = m_rgtagniRude.size(); // second stage initializations. m_mrelog.FInit ( this, m_fWrite ); m_lcrechandler.Init ( this ); // now check to see if we have a matching pdb signature or init it if // we haven't gotten it yet. if ( pmretopdb->ppdbPdbFile ) { SIG sigNew = pmretopdb->ppdbPdbFile->QuerySignature(); SIG & sigCur = SigMatchingPdbFile(); if ( sigCur && sigCur != sigNew ) { FDelete(); } sigCur = sigNew; } fRet = fTrue; } __finally { if ( !fRet ) { if ( m_pstreamFileInfo ) { m_pstreamFileInfo->Release(); } if ( m_pstreamClassInfo ) { m_pstreamClassInfo->Release(); } if ( m_pstreamClassMods ) { m_pstreamClassMods->Release(); } if ( m_pstreamFileMods ) { m_pstreamFileMods->Release(); } if ( m_pstreamRudeFiles ) { m_pstreamRudeFiles->Release(); } m_pstreamFileInfo = 0; m_pstreamClassInfo = 0; m_pstreamClassMods = 0; m_pstreamFileMods = 0; m_pstreamRudeFiles = 0; m_pnamemap = 0; m_ppdb = 0; } else { postcondition ( m_pstreamFileInfo ); postcondition ( m_pstreamClassMods ); postcondition ( m_pstreamFileMods ); postcondition ( m_pstreamRudeFiles ); postcondition ( m_pnamemap ); postcondition ( m_ppdb ); } } return fRet; }