internal CityModel CreateCityModelTest([PexAssumeUnderTest] CityModelBuilder target, string cityName)
{
CityModel result = target.CreateCityModel(cityName);
PexAssert.IsNotNull(result);
PexAssert.IsTrue(result.X != Double.NaN, "x was not identify");
PexAssert.IsTrue(result.Y != Double.NaN, "y was not identify");
return(result);
// TODO: добавление проверочных утверждений в метод CityModelBuilderTest.CreateCityModelTest(CityModelBuilder, String)
}
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, "");
}
}
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);
}
}
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);
}
}
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);
}
}
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);
}
}
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, "");
}
}
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");
}
}
