public HomeControllerWorkerServices(ICatalogServices catalogServices) { Contract.Requires <ArgumentNullException>(catalogServices != null); Contract.Ensures(this.CatalogServices == catalogServices); this.CatalogServices = catalogServices; }
public HomeControllerWorkerServices(ICatalogServices catalogServices, IReadModelFacade readModelFacade) { Contract.Requires <ArgumentNullException>(catalogServices != null, "catalogServices"); Contract.Requires <ArgumentNullException>(readModelFacade != null, "readModelFacade"); this.CatalogServices = catalogServices; this.ReadModelFacade = readModelFacade; }
public CatalogControllerWorkerServices(IReadModelFacade readModelFacade, ICatalogServices catalogServices) { Contract.Requires <ArgumentNullException>(catalogServices != null, "catalogServices"); Contract.Requires <ArgumentNullException>(readModelFacade != null, "readModelFacade"); Contract.Ensures(this.CatalogServices == catalogServices); Contract.Ensures(this.ReadModelFacade == readModelFacade); this.ReadModelFacade = readModelFacade; this.CatalogServices = catalogServices; }
public CatalogController(IReadModelFacade database, ICatalogServices catalogServices) { Contract.Requires <ArgumentNullException>(database != null, "database"); Contract.Requires <ArgumentNullException>(catalogServices != null, "catalogServices"); Contract.Ensures(this.Database == database, "database"); Contract.Ensures(this.CatalogServices == catalogServices, "catalogServices"); Database = database; CatalogServices = catalogServices; }
public void CatalogControllerWorkerServices_Constructor_should_Throw_on_null_CatalogServices() { ICatalogServices svc = null; Executing.This( () => new CatalogControllerWorkerServices(svc) ). Should(). Throw <ArgumentNullException>(). And. ValueOf. ParamName. Should(). Be("productServices"); }
public CatalogControllerWorkerServices(ICatalogServices productServices) { Contract.Requires <ArgumentNullException>(productServices != null, "productServices"); this.ProductServices = productServices; }
static CatalogServices() { Current = new JsonCatalogServices(); }