public void RightOfTest846()
{
string s;
s = this.RightOfTest("\0", "\0", PexSafeHelpers.ByteToBoolean((byte)32));
Assert.AreEqual <string>("", s);
}
public void GetMessage479()
{
string s;
s = this.GetMessage(PexSafeHelpers.ByteToBoolean((byte)2));
Assert.AreEqual <string>("Happy New Year!", s);
}
public void LeftOfTest01155()
{
string s;
s = this.LeftOfTest01("\0\0", "", PexSafeHelpers.ByteToBoolean((byte)8));
Assert.AreEqual <string>("\0\0", s);
}
public void SubGroupSettingsPUT122()
{
using (PexDisposableContext disposables = PexDisposableContext.Create())
{
MemorySettingsStorage memorySettingsStorage;
SettingsGroup settingsGroup;
string[] ss = new string[2];
object[] os = new object[2];
ss[0] = "";
ss[1] = "";
os[0] = "";
object boxb = (object)(default(bool));
os[1] = boxb;
PexSafeHelpers.AssignBoxedValue <bool>
(boxb, PexSafeHelpers.ByteToBoolean((byte)128));
memorySettingsStorage = MemorySettingsStorageFactory.Create(ss, os);
disposables.Add((IDisposable)memorySettingsStorage);
settingsGroup = new SettingsGroup((ISettingsStorage)memorySettingsStorage);
disposables.Add((IDisposable)settingsGroup);
object boxb1 = (object)(default(bool));
PexSafeHelpers.AssignBoxedValue <bool>
(boxb1, PexSafeHelpers.ByteToBoolean((byte)128));
this.SubGroupSettingsPUT1(settingsGroup, "", boxb1);
disposables.Dispose();
}
}
public void SubGroupSettingsPUT221()
{
using (PexDisposableContext disposables = PexDisposableContext.Create())
{
MemorySettingsStorage memorySettingsStorage;
SettingsGroup settingsGroup;
string[] ss = new string[2];
object[] os = new object[2];
ss[0] = "";
ss[1] = "";
object boxi = (object)(default(int));
os[0] = boxi;
object boxb = (object)(default(bool));
os[1] = boxb;
memorySettingsStorage = MemorySettingsStorageFactory.Create(ss, os);
disposables.Add((IDisposable)memorySettingsStorage);
settingsGroup = new SettingsGroup((ISettingsStorage)memorySettingsStorage);
disposables.Add((IDisposable)settingsGroup);
object boxb1 = (object)(default(bool));
PexSafeHelpers.AssignBoxedValue <bool>(boxb1, true);
this.SubGroupSettingsPUT2(settingsGroup, "", boxb1);
disposables.Dispose();
PexAssert.IsNotNull((object)settingsGroup);
PexAssert.IsNull(settingsGroup.Storage);
}
}
public void DumpValueTestThrowsNullReferenceException253()
{
AphidInterpreter aphidInterpreter;
aphidInterpreter = AphidInterpreterFactory.Create(false);
object boxl = (object)(default(long));
PexSafeHelpers.AssignBoxedValue <long>(boxl, long.MaxValue);
this.DumpValueTest(aphidInterpreter, boxl, false, false);
}
public void DumpValueTest79()
{
AphidInterpreter aphidInterpreter;
aphidInterpreter = AphidInterpreterFactory.Create(false);
object boxl = (object)(default(long));
PexSafeHelpers.AssignBoxedValue <long>(boxl, 1L);
this.DumpValueTest(aphidInterpreter, boxl, false, false);
}
public void DumpValueTestThrowsNullReferenceException824()
{
AphidInterpreter aphidInterpreter;
aphidInterpreter = AphidInterpreterFactory.Create(false);
object boxb = (object)(default(bool));
PexSafeHelpers.AssignBoxedValue <bool>(boxb, true);
this.DumpValueTest(aphidInterpreter, boxb, false, false);
}
public void Convert328()
{
object o;
NumberFormatConverter s0 = new NumberFormatConverter();
object boxi = (object)(default(int));
PexSafeHelpers.AssignBoxedValue <int>(boxi, int.MinValue);
o = this.Convert(s0, boxi, (Type)null, (object)null, (CultureInfo)null);
Assert.IsNotNull(o);
Assert.IsNotNull((object)s0);
}
public void Constructor48701()
{
EmbeddedChannel embeddedChannel;
Player player;
IChannelHandler[] iChannelHandlers = new IChannelHandler[0];
embeddedChannel = new EmbeddedChannel((IChannelId)null, false,
PexSafeHelpers.ByteToBoolean((byte)2), iChannelHandlers);
embeddedChannel.RunPendingTasks();
player = this.Constructor((IChannel)embeddedChannel);
Assert.IsNotNull((object)player);
}
public void RemoveOutEdgeIf01()
{
AdjacencyGraph adjacencyGraph;
VertexAndEdgeProvider s0 = new VertexAndEdgeProvider();
adjacencyGraph = AdjacencyGraphFactory.CreateAcyclicGraph
(s0, PexSafeHelpers.ByteToBoolean((byte)4), 49);
((GenericMutableAdjacencyGraphTest)this).RemoveOutEdgeIf(adjacencyGraph);
PexAssert.IsNotNull((object)adjacencyGraph);
PexAssert.AreEqual <bool>(true, adjacencyGraph.IsDirected);
PexAssert.IsNotNull(adjacencyGraph.Provider);
PexAssert.IsNotNull(adjacencyGraph.Edges);
}
public void RemoveOutEdgeIf04()
{
AdjacencyGraph adjacencyGraph;
VertexAndEdgeProvider s0 = new VertexAndEdgeProvider();
adjacencyGraph = AdjacencyGraphFactory.CreateCyclicGraph
(s0, PexSafeHelpers.ByteToBoolean((byte)2), 16);
this.RemoveOutEdgeIf(adjacencyGraph);
PexAssert.IsNotNull((object)adjacencyGraph);
PexAssert.AreEqual <bool>(true, adjacencyGraph.IsDirected);
PexAssert.IsNotNull(adjacencyGraph.Provider);
PexAssert.IsNotNull(adjacencyGraph.Edges);
}
public void RunFibonachiTest368()
{
Fibonachi fibonachi;
ulong l;
object boxl = (object)(default(ulong));
PexSafeHelpers.AssignBoxedValue <ulong>(boxl, 1uL);
fibonachi = new Fibonachi();
fibonachi.RunThreadedFibonachi(boxl);
l = this.RunFibonachiTest(fibonachi, 4);
Assert.AreEqual <ulong>(3uL, l);
Assert.IsNotNull((object)fibonachi);
Assert.AreEqual <ulong>(1uL, fibonachi.Fibonum);
}
public void DestroySalonThrowsInvalidOperationException300()
{
EmbeddedChannel embeddedChannel;
Player player;
Salon salon;
IChannelHandler[] iChannelHandlers = new IChannelHandler[0];
embeddedChannel =
new EmbeddedChannel((IChannelId)null, false, false, iChannelHandlers);
embeddedChannel.RunPendingTasks();
player = new Player((IChannel)embeddedChannel);
player.SetConnection(PexSafeHelpers.ByteToBoolean((byte)16));
salon = new Salon(player, player, player, player);
this.DestroySalon(salon);
}
public void BadSettingPUT215()
{
using (PexDisposableContext disposables = PexDisposableContext.Create())
{
XmlSettingsStorage xmlSettingsStorage;
SettingsGroup settingsGroup;
xmlSettingsStorage = new XmlSettingsStorage((string)null);
disposables.Add((IDisposable)xmlSettingsStorage);
settingsGroup = new SettingsGroup((ISettingsStorage)xmlSettingsStorage);
disposables.Add((IDisposable)settingsGroup);
this.BadSettingPUT2
(settingsGroup, "", "\0", PexSafeHelpers.ByteToBoolean((byte)128));
disposables.Dispose();
}
}
public void DestroySalon18302()
{
EmbeddedChannel embeddedChannel;
Player player;
Salon salon;
IChannelHandler[] iChannelHandlers = new IChannelHandler[0];
embeddedChannel =
new EmbeddedChannel((IChannelId)null, false, true, iChannelHandlers);
embeddedChannel.RunPendingTasks();
player = new Player((IChannel)embeddedChannel);
player.SetConnection(PexSafeHelpers.ByteToBoolean((byte)16));
salon = new Salon(player, player, player, player);
this.DestroySalon(salon);
Assert.IsNotNull((object)salon);
}
public void Bind433()
{
object o;
o = AphidObjectFactory.Create(-947878915);
object boxi = (object)(default(int));
this.Bind((AphidObject)o, boxi, PexSafeHelpers.ByteToBoolean((byte)128));
Assert.IsNotNull(o);
Assert.AreEqual <bool>(true, ((AphidObject)o).IsScalar);
Assert.AreEqual <bool>(false, ((AphidObject)o).IsComplex);
Assert.AreEqual <bool>(true, ((AphidObject)o).IsComplexitySet);
Assert.IsNotNull(((AphidObject)o).Value);
Assert.IsNull(((AphidObject)o).Parent);
Assert.IsNotNull(((Dictionary <string, AphidObject>)o).Comparer);
Assert.AreEqual <int>(0, ((Dictionary <string, AphidObject>)o).Count);
}
public void FullyInitialized611()
{
VoterDO voterDO;
bool b;
voterDO = PexInvariant.CreateInstance <VoterDO>();
PexInvariant.SetField <uint?>((object)voterDO, "primaryKey", default(uint?));
PexInvariant.SetField <EntityRef <PollingStationDO> >
((object)voterDO, "_pollingStation", default(EntityRef <PollingStationDO>));
PexInvariant.SetField <uint?>
((object)voterDO, "<PollingStationId>k__BackingField", new uint?(1u));
PexInvariant.SetField <string>
((object)voterDO, "<Name>k__BackingField", (string)null);
PexInvariant.SetField <string>
((object)voterDO, "<Address>k__BackingField", (string)null);
PexInvariant.SetField <string>
((object)voterDO, "<City>k__BackingField", (string)null);
PexInvariant.SetField <bool?>((object)voterDO, "<CardPrinted>k__BackingField",
new bool?(PexSafeHelpers.ByteToBoolean((byte)2)));
PexInvariant.SetField <bool?>
((object)voterDO, "<Voted>k__BackingField", new bool?(true));
PexInvariant.CheckInvariant((object)voterDO);
b = this.FullyInitialized(voterDO);
Assert.AreEqual <bool>(false, b);
Assert.IsNotNull((object)voterDO);
Assert.IsNull((object)(voterDO.PrimaryKey));
Assert.IsNotNull((object)(voterDO.PollingStationId));
Assert.AreEqual <uint>(1u, (uint)((object)(voterDO.PollingStationId)));
Assert.AreEqual <string>((string)null, voterDO.Name);
Assert.AreEqual <string>((string)null, voterDO.Address);
Assert.AreEqual <string>((string)null, voterDO.City);
Assert.IsNotNull((object)(voterDO.CardPrinted));
Assert.AreEqual <bool>(PexSafeHelpers.ByteToBoolean((byte)2),
(bool)((object)(voterDO.CardPrinted)));
Assert.IsNotNull((object)(voterDO.Voted));
Assert.AreEqual <bool>(true, (bool)((object)(voterDO.Voted)));
}
public void ObjectToJSONTest()
{
string s;
object boxc = (object)(default(char));
// 用例测试1
s = JsonHelper.ObjectToJSON((object)null);
// 用例测试2
object s0 = new object();
s = JsonHelper.ObjectToJSON(s0);
// 用例测试3
s = JsonHelper.ObjectToJSON(boxc);
// 用例测试4
PexSafeHelpers.AssignBoxedValue <char>(boxc, '!');
s = JsonHelper.ObjectToJSON(boxc);
// 用例测试5
PexSafeHelpers.AssignBoxedValue <char>(boxc, ' ');
// 用例测试6
object box = (object)(default(Guid));
s = JsonHelper.ObjectToJSON(box);
// 用例测试7
object boxd = (object)(default(double));
s = JsonHelper.ObjectToJSON(boxd);
// 用例测试8
s = JsonHelper.ObjectToJSON("");
// 用例测试9
object boxf = (object)(default(float));
s = JsonHelper.ObjectToJSON(boxf);
// 用例测试10
boxc = (object)(default(char));
PexSafeHelpers.AssignBoxedValue <char>(boxc, '�');
s = JsonHelper.ObjectToJSON(boxc);
// 用例测试11
box = (object)(default(DateTimeOffset));
s = JsonHelper.ObjectToJSON(box);
// 用例测试12
box = (object)(default(decimal));
s = JsonHelper.ObjectToJSON(box);
// 用例测试13
boxc = (object)(default(char));
PexSafeHelpers.AssignBoxedValue <char>(boxc, '&');
s = JsonHelper.ObjectToJSON(boxc);
// 用例测试14
object boxb = (object)(default(bool));
s = JsonHelper.ObjectToJSON(boxb);
// 用例测试15
object[] os = new object[0];
s = JsonHelper.ObjectToJSON((object)os);
// 用例测试16
box = (object)(default(DateTime));
s = JsonHelper.ObjectToJSON(box);
// 用例测试17
boxb = (object)(default(bool));
PexSafeHelpers.AssignBoxedValue <bool>(boxb, true);
s = JsonHelper.ObjectToJSON(boxb);
// 用例测试18
os = new object[1];
s = JsonHelper.ObjectToJSON((object)os);
// 用例测试19
//Uri uri;
//uri = new Uri("%");
//s = JsonHelper.ObjectToJSON((object)uri);
// 用例测试20
s = JsonHelper.ObjectToJSON("\0");
// 用例测试21
s = JsonHelper.ObjectToJSON("");
// 用例测试22
s = JsonHelper.ObjectToJSON("");
// 用例测试23
os = new object[1];
s0 = new object();
os[0] = s0;
s = JsonHelper.ObjectToJSON((object)os);
}
public void SetValueTest()
{
bool b;
ListBox listBox;
Control control;
NumericUpDown numericUpDown;
// 测试用例1
b = ControlHelper.SetValue((Control)null, (object)null);
// 测试用例2
object s0 = new object();
b = ControlHelper.SetValue((Control)null, s0);
// 测试用例3
using (PexDisposableContext disposables = PexDisposableContext.Create())
{
listBox = new ListBox();
listBox.BorderStyle = BorderStyle.None;
listBox.ColumnWidth = 0;
listBox.UseCustomTabOffsets = false;
listBox.DrawMode = DrawMode.Normal;
listBox.HorizontalExtent = 0;
listBox.HorizontalScrollbar = false;
listBox.IntegralHeight = false;
listBox.ItemHeight = 1;
listBox.MultiColumn = false;
listBox.ScrollAlwaysVisible = false;
listBox.SelectedIndex = -1;
listBox.SelectionMode = SelectionMode.None;
listBox.Sorted = false;
listBox.Text = (string)null;
listBox.TopIndex = 0;
listBox.UseTabStops = false;
listBox.Padding = default(Padding);
((ListControl)listBox).DataSource = (object)null;
((ListControl)listBox).FormatInfo = (IFormatProvider)null;
((ListControl)listBox).FormattingEnabled = false;
((ListControl)listBox).ValueMember = (string)null;
((Control)listBox).Dock = DockStyle.None;
((Control)listBox).Site = (ISite)null;
((Control)listBox).TabIndex = 0;
disposables.Add((IDisposable)listBox);
b = ControlHelper.SetValue((Control)listBox, s0);
disposables.Dispose();
}
// 测试用例4
using (PexDisposableContext disposables = PexDisposableContext.Create())
{
listBox = new ListBox();
listBox.BorderStyle = BorderStyle.None;
listBox.ColumnWidth = 0;
listBox.UseCustomTabOffsets = false;
listBox.DrawMode = DrawMode.Normal;
listBox.HorizontalExtent = 0;
listBox.HorizontalScrollbar = false;
listBox.IntegralHeight = false;
listBox.ItemHeight = 1;
listBox.MultiColumn = false;
listBox.ScrollAlwaysVisible = false;
listBox.SelectedIndex = -1;
listBox.SelectionMode = SelectionMode.None;
listBox.Sorted = false;
listBox.Text = (string)null;
listBox.TopIndex = 0;
listBox.UseTabStops = false;
listBox.Padding = default(Padding);
((ListControl)listBox).DataSource = (object)null;
((ListControl)listBox).FormatInfo = (IFormatProvider)null;
((ListControl)listBox).FormattingEnabled = false;
((ListControl)listBox).ValueMember = (string)null;
((Control)listBox).Dock = DockStyle.Top;
((Control)listBox).Site = (ISite)null;
((Control)listBox).TabIndex = 0;
disposables.Add((IDisposable)listBox);
b = ControlHelper.SetValue((Control)listBox, s0);
disposables.Dispose();
}
// 测试用例5
using (PexDisposableContext disposables = PexDisposableContext.Create())
{
listBox = new ListBox();
listBox.BorderStyle = BorderStyle.None;
listBox.ColumnWidth = 0;
listBox.UseCustomTabOffsets = false;
listBox.DrawMode = DrawMode.Normal;
listBox.HorizontalExtent = 0;
listBox.HorizontalScrollbar = false;
listBox.IntegralHeight = false;
listBox.ItemHeight = 1;
listBox.MultiColumn = false;
listBox.ScrollAlwaysVisible = false;
listBox.SelectedIndex = -1;
listBox.SelectionMode = SelectionMode.None;
listBox.Sorted = false;
listBox.Text = (string)null;
listBox.TopIndex = 0;
listBox.UseTabStops = false;
listBox.Padding = default(Padding);
((ListControl)listBox).DataSource = (object)null;
((ListControl)listBox).FormatInfo = (IFormatProvider)null;
((ListControl)listBox).FormattingEnabled = true;
((ListControl)listBox).ValueMember = (string)null;
((Control)listBox).Dock = DockStyle.None;
((Control)listBox).Site = (ISite)null;
((Control)listBox).TabIndex = 0;
disposables.Add((IDisposable)listBox);
b = ControlHelper.SetValue((Control)listBox, s0);
disposables.Dispose();
}
// 测试用例6
using (PexDisposableContext disposables = PexDisposableContext.Create())
{
listBox = new ListBox();
listBox.BorderStyle = BorderStyle.None;
listBox.ColumnWidth = 0;
listBox.UseCustomTabOffsets = false;
listBox.DrawMode = DrawMode.Normal;
listBox.HorizontalExtent = 0;
listBox.HorizontalScrollbar = false;
listBox.IntegralHeight = false;
listBox.ItemHeight = 1;
listBox.MultiColumn = false;
listBox.ScrollAlwaysVisible = false;
listBox.SelectedIndex = -1;
listBox.SelectionMode = SelectionMode.One;
listBox.Sorted = false;
listBox.Text = (string)null;
listBox.TopIndex = 0;
listBox.UseTabStops = false;
listBox.Padding = default(Padding);
((ListControl)listBox).DataSource = (object)null;
((ListControl)listBox).FormatInfo = (IFormatProvider)null;
((ListControl)listBox).FormattingEnabled = false;
((ListControl)listBox).ValueMember = (string)null;
((Control)listBox).Dock = DockStyle.None;
((Control)listBox).Site = (ISite)null;
((Control)listBox).TabIndex = 0;
disposables.Add((IDisposable)listBox);
b = ControlHelper.SetValue((Control)listBox, s0);
disposables.Dispose();
}
// 测试用例7
using (PexDisposableContext disposables = PexDisposableContext.Create())
{
listBox = new ListBox();
listBox.BorderStyle = BorderStyle.None;
listBox.ColumnWidth = 0;
listBox.UseCustomTabOffsets = false;
listBox.DrawMode = DrawMode.Normal;
listBox.HorizontalExtent = 0;
listBox.HorizontalScrollbar = false;
listBox.IntegralHeight = false;
listBox.ItemHeight = 1;
listBox.MultiColumn = false;
listBox.ScrollAlwaysVisible = false;
listBox.SelectedIndex = -1;
listBox.SelectionMode = SelectionMode.One;
listBox.Sorted = false;
listBox.Text = (string)null;
listBox.TopIndex = 0;
listBox.UseTabStops = false;
listBox.Padding = default(Padding);
((ListControl)listBox).DataSource = (object)null;
((ListControl)listBox).FormatInfo = NumberFormatInfo.CurrentInfo;
((ListControl)listBox).FormattingEnabled = false;
((ListControl)listBox).ValueMember = (string)null;
((Control)listBox).Dock = DockStyle.None;
((Control)listBox).Site = (ISite)null;
((Control)listBox).TabIndex = 0;
disposables.Add((IDisposable)listBox);
b = ControlHelper.SetValue((Control)listBox, s0);
disposables.Dispose();
}
// 测试用例8
using (PexDisposableContext disposables = PexDisposableContext.Create())
{
listBox = new ListBox();
listBox.BorderStyle = BorderStyle.None;
listBox.ColumnWidth = 0;
listBox.UseCustomTabOffsets = false;
listBox.DrawMode = DrawMode.Normal;
listBox.HorizontalExtent = 0;
listBox.HorizontalScrollbar = false;
listBox.IntegralHeight = false;
listBox.ItemHeight = 1;
listBox.MultiColumn = false;
listBox.ScrollAlwaysVisible = false;
listBox.SelectedIndex = -1;
listBox.SelectionMode = SelectionMode.None;
listBox.Sorted = false;
listBox.Text = "\0";
listBox.TopIndex = 0;
listBox.UseTabStops = false;
listBox.Padding = default(Padding);
((ListControl)listBox).DataSource = (object)null;
((ListControl)listBox).FormatInfo = (IFormatProvider)null;
((ListControl)listBox).FormattingEnabled = false;
((ListControl)listBox).ValueMember = (string)null;
((Control)listBox).Dock = DockStyle.None;
((Control)listBox).Site = (ISite)null;
((Control)listBox).TabIndex = 0;
disposables.Add((IDisposable)listBox);
b = ControlHelper.SetValue((Control)listBox, s0);
disposables.Dispose();
}
// 测试用例9
using (PexDisposableContext disposables = PexDisposableContext.Create())
{
object[] os = new object[0];
listBox = new ListBox();
listBox.BorderStyle = BorderStyle.None;
listBox.ColumnWidth = 0;
listBox.UseCustomTabOffsets = false;
listBox.DrawMode = DrawMode.Normal;
listBox.HorizontalExtent = 0;
listBox.HorizontalScrollbar = false;
listBox.IntegralHeight = false;
listBox.ItemHeight = 1;
listBox.MultiColumn = false;
listBox.ScrollAlwaysVisible = false;
listBox.SelectedIndex = -1;
listBox.SelectionMode = SelectionMode.None;
listBox.Sorted = false;
listBox.Text = (string)null;
listBox.TopIndex = 0;
listBox.UseTabStops = false;
listBox.Padding = default(Padding);
((ListControl)listBox).DataSource = (object)os;
((ListControl)listBox).FormatInfo = (IFormatProvider)null;
((ListControl)listBox).FormattingEnabled = false;
((ListControl)listBox).ValueMember = (string)null;
((Control)listBox).Dock = DockStyle.None;
((Control)listBox).Site = (ISite)null;
((Control)listBox).TabIndex = 0;
disposables.Add((IDisposable)listBox);
b = ControlHelper.SetValue((Control)listBox, s0);
disposables.Dispose();
}
// 测试用例10
using (PexDisposableContext disposables = PexDisposableContext.Create())
{
listBox = new ListBox();
listBox.BorderStyle = BorderStyle.None;
listBox.ColumnWidth = 0;
listBox.UseCustomTabOffsets = false;
listBox.DrawMode = DrawMode.Normal;
listBox.HorizontalExtent = 0;
listBox.HorizontalScrollbar = true;
listBox.IntegralHeight = false;
listBox.ItemHeight = 1;
listBox.MultiColumn = false;
listBox.ScrollAlwaysVisible = false;
listBox.SelectedIndex = -1;
listBox.SelectionMode = SelectionMode.One;
listBox.Sorted = false;
listBox.Text = (string)null;
listBox.TopIndex = 0;
listBox.UseTabStops = false;
listBox.Padding = default(Padding);
((ListControl)listBox).DataSource = (object)null;
((ListControl)listBox).FormatInfo = (IFormatProvider)null;
((ListControl)listBox).FormattingEnabled = false;
((ListControl)listBox).ValueMember = (string)null;
((Control)listBox).Dock = DockStyle.None;
((Control)listBox).Site = (ISite)null;
((Control)listBox).TabIndex = 0;
disposables.Add((IDisposable)listBox);
b = ControlHelper.SetValue((Control)listBox, s0);
disposables.Dispose();
}
// 测试用例11
using (PexDisposableContext disposables = PexDisposableContext.Create())
{
control = new Control();
control.AllowDrop = false;
control.Dock = DockStyle.None;
control.Site = (ISite)null;
control.TabIndex = 0;
disposables.Add((IDisposable)control);
b = ControlHelper.SetValue(control, s0);
disposables.Dispose();
}
// 测试用例12
using (PexDisposableContext disposables = PexDisposableContext.Create())
{
control = new Control();
control.AllowDrop = true;
control.Dock = DockStyle.None;
control.Site = (ISite)null;
control.TabIndex = 0;
disposables.Add((IDisposable)control);
b = ControlHelper.SetValue(control, s0);
disposables.Dispose();
}
// 测试用例13
using (PexDisposableContext disposables = PexDisposableContext.Create())
{
numericUpDown = new NumericUpDown();
((ISupportInitialize)numericUpDown).BeginInit();
numericUpDown.DecimalPlaces = 0;
numericUpDown.Hexadecimal = false;
numericUpDown.Padding = default(Padding);
numericUpDown.Text = (string)null;
numericUpDown.ThousandsSeparator = false;
((UpDownBase)numericUpDown).AutoScrollMargin = default(Size);
((UpDownBase)numericUpDown).BorderStyle = BorderStyle.None;
((UpDownBase)numericUpDown).UpDownAlign = LeftRightAlignment.Left;
((ContainerControl)numericUpDown).AutoScaleMode = AutoScaleMode.None;
((ContainerControl)numericUpDown).AutoValidate = AutoValidate.Disable;
((ContainerControl)numericUpDown).ActiveControl = (Control)null;
((ScrollableControl)numericUpDown).AutoScrollPosition = default(Point);
((Control)numericUpDown).Site = (ISite)null;
((Control)numericUpDown).TabIndex = 0;
numericUpDown.DownButton();
((ISupportInitialize)numericUpDown).EndInit();
disposables.Add((IDisposable)numericUpDown);
b = ControlHelper.SetValue((Control)numericUpDown, s0);
disposables.Dispose();
}
// 测试用例14
using (PexDisposableContext disposables = PexDisposableContext.Create())
{
numericUpDown = new NumericUpDown();
((ISupportInitialize)numericUpDown).BeginInit();
numericUpDown.DecimalPlaces = 0;
numericUpDown.Hexadecimal = false;
numericUpDown.Padding = default(Padding);
numericUpDown.Text = (string)null;
numericUpDown.ThousandsSeparator = false;
((UpDownBase)numericUpDown).AutoScrollMargin = default(Size);
((UpDownBase)numericUpDown).BorderStyle = BorderStyle.None;
((UpDownBase)numericUpDown).UpDownAlign = LeftRightAlignment.Left;
((ContainerControl)numericUpDown).AutoScaleMode = AutoScaleMode.None;
((ContainerControl)numericUpDown).AutoValidate = AutoValidate.Disable;
((ContainerControl)numericUpDown).ActiveControl = (Control)null;
((ScrollableControl)numericUpDown).AutoScrollPosition = default(Point);
((Control)numericUpDown).Site = (ISite)null;
((Control)numericUpDown).TabIndex = 0;
numericUpDown.DownButton();
((ISupportInitialize)numericUpDown).EndInit();
disposables.Add((IDisposable)numericUpDown);
object box = (object)(default(decimal));
b = ControlHelper.SetValue((Control)numericUpDown, box);
disposables.Dispose();
}
// 测试用例15
using (PexDisposableContext disposables = PexDisposableContext.Create())
{
numericUpDown = new NumericUpDown();
((ISupportInitialize)numericUpDown).BeginInit();
numericUpDown.DecimalPlaces = 0;
numericUpDown.Hexadecimal = false;
numericUpDown.Padding = default(Padding);
numericUpDown.Text = (string)null;
numericUpDown.ThousandsSeparator = false;
((UpDownBase)numericUpDown).AutoScrollMargin = default(Size);
((UpDownBase)numericUpDown).BorderStyle = BorderStyle.None;
((UpDownBase)numericUpDown).UpDownAlign = LeftRightAlignment.Left;
((ContainerControl)numericUpDown).AutoScaleMode = AutoScaleMode.None;
((ContainerControl)numericUpDown).AutoValidate = AutoValidate.Disable;
((ContainerControl)numericUpDown).ActiveControl = (Control)null;
((ScrollableControl)numericUpDown).AutoScrollPosition = default(Point);
((Control)numericUpDown).Site = (ISite)null;
((Control)numericUpDown).TabIndex = 0;
numericUpDown.DownButton();
((ISupportInitialize)numericUpDown).EndInit();
disposables.Add((IDisposable)numericUpDown);
object box = (object)(default(decimal));
PexSafeHelpers.AssignBoxedValue <decimal>
(box, -76819052936496198642298613574e-19M);
b = ControlHelper.SetValue((Control)numericUpDown, box);
disposables.Dispose();
}
// 测试用例16
using (PexDisposableContext disposables = PexDisposableContext.Create())
{
numericUpDown = new NumericUpDown();
((ISupportInitialize)numericUpDown).BeginInit();
numericUpDown.DecimalPlaces = 0;
numericUpDown.Hexadecimal = false;
numericUpDown.Padding = default(Padding);
numericUpDown.Text = "0";
numericUpDown.ThousandsSeparator = false;
((UpDownBase)numericUpDown).AutoScrollMargin = default(Size);
((UpDownBase)numericUpDown).BorderStyle = BorderStyle.None;
((UpDownBase)numericUpDown).UpDownAlign = LeftRightAlignment.Left;
((ContainerControl)numericUpDown).AutoScaleMode = AutoScaleMode.None;
((ContainerControl)numericUpDown).AutoValidate = AutoValidate.Disable;
((ContainerControl)numericUpDown).ActiveControl = (Control)null;
((ScrollableControl)numericUpDown).AutoScrollPosition = default(Point);
((Control)numericUpDown).Site = (ISite)null;
((Control)numericUpDown).TabIndex = 0;
numericUpDown.DownButton();
((ISupportInitialize)numericUpDown).EndInit();
disposables.Add((IDisposable)numericUpDown);
b = ControlHelper.SetValue((Control)numericUpDown, s0);
disposables.Dispose();
}
// 测试用例17
using (PexDisposableContext disposables = PexDisposableContext.Create())
{
numericUpDown = new NumericUpDown();
((ISupportInitialize)numericUpDown).BeginInit();
numericUpDown.DecimalPlaces = 0;
numericUpDown.Hexadecimal = true;
numericUpDown.Padding = default(Padding);
numericUpDown.Text = "0";
numericUpDown.ThousandsSeparator = false;
((UpDownBase)numericUpDown).AutoScrollMargin = default(Size);
((UpDownBase)numericUpDown).BorderStyle = BorderStyle.None;
((UpDownBase)numericUpDown).UpDownAlign = LeftRightAlignment.Left;
((ContainerControl)numericUpDown).AutoScaleMode = AutoScaleMode.None;
((ContainerControl)numericUpDown).AutoValidate = AutoValidate.Disable;
((ContainerControl)numericUpDown).ActiveControl = (Control)null;
((ScrollableControl)numericUpDown).AutoScrollPosition = default(Point);
((Control)numericUpDown).Site = (ISite)null;
((Control)numericUpDown).TabIndex = 0;
numericUpDown.DownButton();
((ISupportInitialize)numericUpDown).EndInit();
disposables.Add((IDisposable)numericUpDown);
b = ControlHelper.SetValue((Control)numericUpDown, s0);
disposables.Dispose();
}
// 测试用例18
using (PexDisposableContext disposables = PexDisposableContext.Create())
{
numericUpDown = new NumericUpDown();
((ISupportInitialize)numericUpDown).BeginInit();
numericUpDown.DecimalPlaces = 0;
numericUpDown.Hexadecimal = false;
numericUpDown.Padding = default(Padding);
numericUpDown.Text = (string)null;
numericUpDown.ThousandsSeparator = false;
((UpDownBase)numericUpDown).AutoScrollMargin = default(Size);
((UpDownBase)numericUpDown).BorderStyle = BorderStyle.None;
((UpDownBase)numericUpDown).UpDownAlign = LeftRightAlignment.Left;
((ContainerControl)numericUpDown).AutoScaleMode = AutoScaleMode.None;
((ContainerControl)numericUpDown).AutoValidate = AutoValidate.Disable;
((ContainerControl)numericUpDown).ActiveControl = (Control)null;
((ScrollableControl)numericUpDown).AutoScrollPosition = default(Point);
((Control)numericUpDown).Site = (ISite)null;
((Control)numericUpDown).TabIndex = 0;
numericUpDown.DownButton();
((ISupportInitialize)numericUpDown).EndInit();
disposables.Add((IDisposable)numericUpDown);
object box = (object)(default(decimal));
PexSafeHelpers.AssignBoxedValue <decimal>(box, decimal.MaxValue);
b = ControlHelper.SetValue((Control)numericUpDown, box);
disposables.Dispose();
}
// 测试用例19
using (PexDisposableContext disposables = PexDisposableContext.Create())
{
numericUpDown = new NumericUpDown();
((ISupportInitialize)numericUpDown).BeginInit();
numericUpDown.DecimalPlaces = 0;
numericUpDown.Hexadecimal = false;
numericUpDown.Padding = default(Padding);
numericUpDown.Text = (string)null;
numericUpDown.ThousandsSeparator = false;
((UpDownBase)numericUpDown).AutoScrollMargin = default(Size);
((UpDownBase)numericUpDown).BorderStyle = BorderStyle.Fixed3D;
((UpDownBase)numericUpDown).UpDownAlign = LeftRightAlignment.Left;
((ContainerControl)numericUpDown).AutoScaleMode = AutoScaleMode.Font;
((ContainerControl)numericUpDown).AutoValidate = AutoValidate.Disable;
((ContainerControl)numericUpDown).ActiveControl = (Control)null;
((ScrollableControl)numericUpDown).AutoScrollPosition = default(Point);
((Control)numericUpDown).Site = (ISite)null;
((Control)numericUpDown).TabIndex = 0;
numericUpDown.DownButton();
((ISupportInitialize)numericUpDown).EndInit();
disposables.Add((IDisposable)numericUpDown);
b = ControlHelper.SetValue((Control)numericUpDown, s0);
disposables.Dispose();
}
// 测试用例20
using (PexDisposableContext disposables = PexDisposableContext.Create())
{
numericUpDown = new NumericUpDown();
((ISupportInitialize)numericUpDown).BeginInit();
numericUpDown.DecimalPlaces = 0;
numericUpDown.Hexadecimal = false;
numericUpDown.Padding = default(Padding);
numericUpDown.Text = (string)null;
numericUpDown.ThousandsSeparator = false;
((UpDownBase)numericUpDown).AutoScrollMargin = default(Size);
((UpDownBase)numericUpDown).BorderStyle = BorderStyle.None;
((UpDownBase)numericUpDown).UpDownAlign = LeftRightAlignment.Left;
((ContainerControl)numericUpDown).AutoScaleMode = AutoScaleMode.None;
((ContainerControl)numericUpDown).AutoValidate = AutoValidate.Disable;
((ContainerControl)numericUpDown).ActiveControl = (Control)null;
((ScrollableControl)numericUpDown).AutoScrollPosition = default(Point);
((Control)numericUpDown).Site = (ISite)null;
((Control)numericUpDown).TabIndex = 0;
numericUpDown.DownButton();
((ISupportInitialize)numericUpDown).EndInit();
disposables.Add((IDisposable)numericUpDown);
object box = (object)(default(decimal));
PexSafeHelpers.AssignBoxedValue <decimal>(box, 1e-1M);
b = ControlHelper.SetValue((Control)numericUpDown, box);
disposables.Dispose();
}
}
public void Constructor01325()
{
AphidInterpreter aphidInterpreter;
aphidInterpreter = this.Constructor01(PexSafeHelpers.ByteToBoolean((byte)2));
Assert.IsNotNull((object)aphidInterpreter);
Assert.IsNull(aphidInterpreter.OnInterpretBlock);
Assert.AreEqual <bool>(false, aphidInterpreter.OnInterpretBlockExecuting);
Assert.IsNull(aphidInterpreter.OnInterpretStatement);
Assert.AreEqual <bool>(false, aphidInterpreter.OnInterpretStatementExecuting);
Assert.IsNull(aphidInterpreter.OnInterpretExpression);
Assert.AreEqual <bool>(false, aphidInterpreter.OnInterpretExpressionExecuting);
Assert.IsNull(aphidInterpreter.OnInterpretObject);
Assert.AreEqual <bool>(false, aphidInterpreter.OnInterpretObjectExecuting);
Assert.IsNotNull(aphidInterpreter.InitialScope);
Assert.AreEqual <bool>(false, aphidInterpreter.InitialScope.IsScalar);
Assert.AreEqual <bool>(true, aphidInterpreter.InitialScope.IsComplex);
Assert.AreEqual <bool>(true, aphidInterpreter.InitialScope.IsComplexitySet);
Assert.IsNull(aphidInterpreter.InitialScope.Value);
Assert.IsNull(aphidInterpreter.InitialScope.Parent);
Assert.IsNotNull(aphidInterpreter.InitialScope.Comparer);
Assert.AreEqual <int>(5, aphidInterpreter.InitialScope.Count);
Assert.IsNotNull(aphidInterpreter.CurrentScope);
Assert.IsTrue(object.ReferenceEquals
(aphidInterpreter.CurrentScope, aphidInterpreter.InitialScope));
Assert.IsNull(aphidInterpreter.PreviousScope);
Assert.AreEqual <int>(-1, aphidInterpreter.OwnerThread);
Assert.IsNotNull(aphidInterpreter.AsmBuilder);
Assert.AreEqual <string>("AphidModule",
aphidInterpreter.AsmBuilder.AssemblyName.RemoveAtIndexOf('_'));
Assert.AreEqual <string>("AphidModule",
aphidInterpreter.AsmBuilder.AssemblyFilename.RemoveAtIndexOf('_'));
Assert.IsNull(aphidInterpreter.AsmBuilder.Assembly);
Assert.IsNotNull(aphidInterpreter.AsmBuilder.Interpreter);
Assert.IsTrue(object.ReferenceEquals
(aphidInterpreter.AsmBuilder.Interpreter, (object)aphidInterpreter));
Assert.IsNotNull(aphidInterpreter.InteropMethodResolver);
Assert.IsNotNull(aphidInterpreter.InteropMethodResolver.Interpreter);
Assert.IsTrue
(object.ReferenceEquals(aphidInterpreter.InteropMethodResolver.Interpreter,
(object)aphidInterpreter));
Assert.IsNotNull(aphidInterpreter.OperatorHelper);
Assert.IsNotNull(aphidInterpreter.OperatorHelper.Interpreter);
Assert.IsTrue(object.ReferenceEquals
(aphidInterpreter.OperatorHelper.Interpreter, (object)aphidInterpreter));
Assert.IsNotNull(aphidInterpreter.ValueHelper);
Assert.IsNotNull(aphidInterpreter.ValueHelper.Interpreter);
Assert.IsTrue(object.ReferenceEquals
(aphidInterpreter.ValueHelper.Interpreter, (object)aphidInterpreter));
Assert.IsNotNull(aphidInterpreter.InteropTypeResolver);
Assert.IsNotNull(aphidInterpreter.InteropTypeResolver.Interpreter);
Assert.IsTrue
(object.ReferenceEquals(aphidInterpreter.InteropTypeResolver.Interpreter,
(object)aphidInterpreter));
Assert.IsNotNull(aphidInterpreter.TypeExtender);
Assert.IsNotNull(aphidInterpreter.TypeExtender.Interpreter);
Assert.IsTrue(object.ReferenceEquals
(aphidInterpreter.TypeExtender.Interpreter, (object)aphidInterpreter));
Assert.IsNotNull(aphidInterpreter.TypeConverter);
Assert.IsNotNull(aphidInterpreter.TypeConverter.Interpreter);
Assert.IsTrue(object.ReferenceEquals
(aphidInterpreter.TypeConverter.Interpreter, (object)aphidInterpreter));
Assert.IsNotNull(aphidInterpreter.FunctionConverter);
Assert.IsNotNull(aphidInterpreter.FunctionConverter.Interpreter);
Assert.IsTrue
(object.ReferenceEquals(aphidInterpreter.FunctionConverter.Interpreter,
(object)aphidInterpreter));
Assert.IsNull(aphidInterpreter.IpcContext);
Assert.IsNotNull(aphidInterpreter.Serializer);
Assert.AreEqual <bool>(false, aphidInterpreter.Serializer.IgnoreLazyLists);
Assert.AreEqual <bool>(true, aphidInterpreter.Serializer.IgnoreFunctions);
Assert.AreEqual <bool>(false, aphidInterpreter.Serializer.IgnoreSpecialVariables);
Assert.AreEqual <bool>(true, aphidInterpreter.Serializer.QuoteToStringResults);
Assert.AreEqual <bool>(false, aphidInterpreter.Serializer.AlwaysQuoteKeys);
Assert.AreEqual <bool>(false, aphidInterpreter.Serializer.ToStringClrTypes);
Assert.AreEqual <int>(-1, aphidInterpreter.Serializer.MaxElements);
Assert.AreEqual <bool>(true, aphidInterpreter.Serializer.SafeCollectionAccess);
Assert.IsNotNull(aphidInterpreter.Serializer.InlineStrings);
Assert.AreEqual <int>(0, aphidInterpreter.Serializer.InlineStrings.Count);
Assert.IsNotNull(aphidInterpreter.Serializer.InlineStrings.Comparer);
Assert.IsTrue
(object.ReferenceEquals(aphidInterpreter.Serializer.InlineStrings.Comparer,
aphidInterpreter.InitialScope.Comparer));
Assert.IsNull(aphidInterpreter.Serializer.MapClrObject);
Assert.AreEqual <int>(60, aphidInterpreter.Serializer.StringReferenceThreshold);
Assert.AreEqual <bool>(true, aphidInterpreter.Serializer.SplitStrings);
Assert.AreEqual <bool>(true, aphidInterpreter.Serializer.SplitAtNewLine);
Assert.AreEqual <int>(100, aphidInterpreter.Serializer.StringChunkSize);
Assert.AreEqual <bool>(false, aphidInterpreter.Serializer.UseDoubleQuotes);
Assert.IsNotNull(aphidInterpreter.Serializer.Interpreter);
Assert.IsTrue(object.ReferenceEquals
(aphidInterpreter.Serializer.Interpreter, (object)aphidInterpreter));
Assert.IsNotNull(aphidInterpreter.Out);
Assert.IsNull(aphidInterpreter.OutFilter);
Assert.IsNull(aphidInterpreter.GatorEmitFilter);
Assert.IsNotNull(aphidInterpreter.Loader);
Assert.IsNotNull(aphidInterpreter.Loader.SystemSearchPaths);
Assert.AreEqual <int>(1, aphidInterpreter.Loader.SystemSearchPaths.Count);
Assert.IsNotNull(aphidInterpreter.Loader.SystemSearchPaths.Comparer);
Assert.IsTrue
(object.ReferenceEquals(aphidInterpreter.Loader.SystemSearchPaths.Comparer,
aphidInterpreter.InitialScope.Comparer));
Assert.IsNotNull(aphidInterpreter.Loader.SearchPaths);
Assert.AreEqual <int>(0, aphidInterpreter.Loader.SearchPaths.Count);
Assert.IsNotNull(aphidInterpreter.Loader.SearchPaths.Comparer);
Assert.IsTrue
(object.ReferenceEquals(aphidInterpreter.Loader.SearchPaths.Comparer,
aphidInterpreter.InitialScope.Comparer));
Assert.AreEqual <bool>(false, aphidInterpreter.Loader.InlineCachedScripts);
Assert.AreEqual <bool>(false, aphidInterpreter.Loader.DisableConstantFolding);
Assert.IsNotNull(aphidInterpreter.Loader.Interpreter);
Assert.IsTrue(object.ReferenceEquals
(aphidInterpreter.Loader.Interpreter, (object)aphidInterpreter));
Assert.IsNull(aphidInterpreter.CurrentStatement);
Assert.IsNull(aphidInterpreter.CurrentExpression);
Assert.AreEqual <bool>(true, aphidInterpreter.StrictMode);
}
