Пример #1
0
 public void SaveThrowsMoleNotImplementedException3()
 {
     Logger logger;
     SDummyExampleContactPersistence sDummyExampleContactPersistence;
     ContactManager contactManager;
     OperationResult operationResult;
     TextFileLoggingSink s0 = new TextFileLoggingSink();
     logger = LoggerFactory.Create(s0);
     sDummyExampleContactPersistence =
         new SDummyExampleContactPersistence((ILogger)logger);
     contactManager = ContactManagerFactory.Create
         (logger, (IContactPersistence)sDummyExampleContactPersistence);
     FileStreamPreparation.Prepare();
     Contact s1 = new Contact();
     s1.FirstName = null;
     s1.MiddleName = null;
     s1.LastName = null;
     s1.PhoneNumber = null;
     operationResult = Save(contactManager, s1);
 }
 public void CanSave304()
 {
     Logger logger;
     SDummyExampleContactPersistence sDummyExampleContactPersistence;
     ContactManager contactManager;
     OperationResult operationResult;
     TextFileLoggingSink s0 = new TextFileLoggingSink();
     logger = LoggerFactory.Create(s0);
     sDummyExampleContactPersistence =
         new SDummyExampleContactPersistence((ILogger)logger);
     contactManager = ContactManagerFactory.Create
         (logger, (IContactPersistence)sDummyExampleContactPersistence);
     Contact s1 = new Contact();
     s1.FirstName = null;
     s1.MiddleName = null;
     s1.LastName = null;
     s1.PhoneNumber = null;
     operationResult = CanSave(contactManager, s1);
     Assert.IsNotNull(operationResult);
     Assert.AreEqual(false, operationResult.Success);
     Assert.IsNotNull(contactManager);
 }
Пример #3
0
 public void SaveThrowsTraceAssertionException316()
 {
     using (PexTraceListenerContext.Create())
     {
         Logger logger;
         SDummyExampleContactPersistence sDummyExampleContactPersistence;
         ContactManager contactManager;
         OperationResult operationResult;
         TextFileLoggingSink s0 = new TextFileLoggingSink();
         logger = LoggerFactory.Create(s0);
         sDummyExampleContactPersistence =
             new SDummyExampleContactPersistence((ILogger)logger);
         contactManager = ContactManagerFactory.Create
             (logger, (IContactPersistence)sDummyExampleContactPersistence);
         operationResult = Save(contactManager, null);
     }
 }
 public void CanSave75()
 {
     Logger logger;
     SDummyExampleContactPersistence sDummyExampleContactPersistence;
     ContactManager contactManager;
     OperationResult operationResult;
     TextFileLoggingSink s0 = new TextFileLoggingSink();
     logger = LoggerFactory.Create(s0);
     sDummyExampleContactPersistence =
         new SDummyExampleContactPersistence((ILogger)logger);
     contactManager = ContactManagerFactory.Create
         (logger, (IContactPersistence)sDummyExampleContactPersistence);
     operationResult = CanSave(contactManager, null);
     Assert.IsNotNull(operationResult);
     Assert.AreEqual(false, operationResult.Success);
     Assert.IsNotNull(contactManager);
 }