Beispiel #1
0
 public void CreateCityModelTestThrowsObjectDisposedException577()
 {
     using (PexPConsoleInContext.Create())
     {
         CityModel          cityModel;
         IPexChoiceRecorder choices = PexChoose.Replay.Setup();
         choices.DefaultSession
         .At(2, "close", (object)true);
         CityModelBuilder s0 = new CityModelBuilder();
         cityModel = this.CreateCityModelTest(s0, "");
     }
 }
Beispiel #2
0
 public void getInputNumberTestThrowsObjectDisposedException271()
 {
     using (PexPConsoleInContext.Create())
     {
         Manager manager;
         int     i;
         manager = new Manager((string)null, (string)null, (string)null);
         IPexChoiceRecorder choices = PexChoose.Replay.Setup();
         choices.NextSegment(1).DefaultSession
         .At(2, "close", (object)true);
         i = this.getInputNumberTest(manager);
     }
 }
Beispiel #3
0
 public void CreateCityModelTestThrowsArgumentOutOfRangeException911()
 {
     using (PexPConsoleInContext.Create())
     {
         ArgumentOutOfRangeException argumentOutOfRangeException;
         CityModel cityModel;
         argumentOutOfRangeException = new ArgumentOutOfRangeException();
         IPexChoiceRecorder choices = PexChoose.Replay.Setup();
         choices.NextSegment(1).DefaultSession
         .At(1, "throw", (object)argumentOutOfRangeException);
         CityModelBuilder s0 = new CityModelBuilder();
         cityModel = this.CreateCityModelTest(s0, (string)null);
     }
 }
Beispiel #4
0
 public void CreateCityModelTestThrowsOutOfMemoryException120()
 {
     using (PexPConsoleInContext.Create())
     {
         OutOfMemoryException outOfMemoryException;
         CityModel            cityModel;
         outOfMemoryException = new OutOfMemoryException();
         IPexChoiceRecorder choices = PexChoose.Replay.Setup();
         choices.NextSegment(1).DefaultSession
         .At(1, "throw", (object)outOfMemoryException);
         CityModelBuilder s0 = new CityModelBuilder();
         cityModel = this.CreateCityModelTest(s0, (string)null);
     }
 }
Beispiel #5
0
 public void CreateCityModelTestThrowsObjectDisposedException339()
 {
     using (PexPConsoleInContext.Create())
     {
         CityModel          cityModel;
         IPexChoiceRecorder choices = PexChoose.Replay.Setup();
         choices.DefaultSession
         .At(3, "line", "-0")
         .At(6, "line", "-")
         .At(8, "close", (object)true);
         CityModelBuilder s0 = new CityModelBuilder();
         cityModel = this.CreateCityModelTest(s0, (string)null);
     }
 }
Beispiel #6
0
 public void CreateCityModelTest79601()
 {
     using (PexPConsoleInContext.Create())
     {
         CityModel          cityModel;
         IPexChoiceRecorder choices = PexChoose.Replay.Setup();
         choices.DefaultSession
         .At(3, "line", "-0")
         .At(6, "line", "-0");
         CityModelBuilder s0 = new CityModelBuilder();
         cityModel = this.CreateCityModelTest(s0, (string)null);
         Assert.IsNotNull((object)s0);
     }
 }
Beispiel #7
0
 public void getInputNumberTestThrowsOutOfMemoryException17()
 {
     using (PexPConsoleInContext.Create())
     {
         Manager manager;
         OutOfMemoryException outOfMemoryException;
         int i;
         manager = new Manager((string)null, (string)null, (string)null);
         outOfMemoryException = new OutOfMemoryException();
         IPexChoiceRecorder choices = PexChoose.Replay.Setup();
         choices.NextSegment(2).DefaultSession
         .At(1, "throw", (object)outOfMemoryException);
         i = this.getInputNumberTest(manager);
     }
 }
Beispiel #8
0
 public void getInputNumberTest38104()
 {
     using (PexPConsoleInContext.Create())
     {
         Manager manager;
         int     i;
         manager = new Manager((string)null, (string)null, (string)null);
         IPexChoiceRecorder choices = PexChoose.Replay.Setup();
         choices.NextSegment(1).DefaultSession
         .At(3, "line", "00\0");
         i = this.getInputNumberTest(manager);
         Assert.AreEqual <int>(0, i);
         Assert.IsNotNull((object)manager);
     }
 }
Beispiel #9
0
 public void CreateCityModelTestThrowsIOException998()
 {
     using (PexPConsoleInContext.Create())
     {
         IOException iOException;
         CityModel   cityModel;
         iOException = new IOException();
         IPexChoiceRecorder choices = PexChoose.Replay.Setup();
         choices.NextSegment(1).DefaultSession
         .At(0, "peeked", (object)true)
         .At(2, "throw", (object)iOException)
         .At(1, "peek", (object)' ');
         CityModelBuilder s0 = new CityModelBuilder();
         cityModel = this.CreateCityModelTest(s0, "");
     }
 }
Beispiel #10
0
 public void CreateCityModelTestThrowsOutOfMemoryException266()
 {
     using (PexPConsoleInContext.Create())
     {
         OutOfMemoryException outOfMemoryException;
         CityModel            cityModel;
         outOfMemoryException = new OutOfMemoryException();
         IPexChoiceRecorder choices = PexChoose.Replay.Setup();
         choices.NextSegment(1).DefaultSession
         .At(0, "peeked", (object)true)
         .At(1, "peek", (object)' ')
         .At(3, "line", "e")
         .At(4, "throw", (object)outOfMemoryException);
         CityModelBuilder s0 = new CityModelBuilder();
         cityModel = this.CreateCityModelTest(s0, "e");
     }
 }