public void ToString01919()
{
OverlordCardEventArgs overlordCardEventArgs;
string s;
overlordCardEventArgs = new OverlordCardEventArgs(1);
((GameEventArgs)overlordCardEventArgs).SenderId = 0;
((GameEventArgs)overlordCardEventArgs).EventId = (string)null;
((GameEventArgs)overlordCardEventArgs).EventType = (EventType)0;
((GameEventArgs)overlordCardEventArgs).NeedResponse = false;
s = this.ToString01(overlordCardEventArgs);
Assert.AreEqual<string>("1", s);
Assert.IsNotNull((object)overlordCardEventArgs);
Assert.AreEqual<int>(1, overlordCardEventArgs.OverlordCardId);
Assert.AreEqual<int>(0, ((GameEventArgs)overlordCardEventArgs).SenderId);
Assert.AreEqual<string>
((string)null, ((GameEventArgs)overlordCardEventArgs).EventId);
Assert.AreEqual<EventType>
((EventType)0, ((GameEventArgs)overlordCardEventArgs).EventType);
Assert.AreEqual<bool>
(false, ((GameEventArgs)overlordCardEventArgs).NeedResponse);
}
public void PopulateWithArgs767()
{
OverlordCardEventArgs overlordCardEventArgs;
overlordCardEventArgs = new OverlordCardEventArgs(1);
((GameEventArgs)overlordCardEventArgs).SenderId = 0;
((GameEventArgs)overlordCardEventArgs).EventId = (string)null;
((GameEventArgs)overlordCardEventArgs).EventType = (EventType)0;
((GameEventArgs)overlordCardEventArgs).NeedResponse = false;
string[] ss = new string[1];
ss[0] = "0";
this.PopulateWithArgs(overlordCardEventArgs, ss);
Assert.IsNotNull((object)overlordCardEventArgs);
Assert.AreEqual<int>(0, overlordCardEventArgs.OverlordCardId);
Assert.AreEqual<int>(0, ((GameEventArgs)overlordCardEventArgs).SenderId);
Assert.AreEqual<string>
((string)null, ((GameEventArgs)overlordCardEventArgs).EventId);
Assert.AreEqual<EventType>
((EventType)0, ((GameEventArgs)overlordCardEventArgs).EventType);
Assert.AreEqual<bool>
(false, ((GameEventArgs)overlordCardEventArgs).NeedResponse);
}
public void PopulateWithArgsThrowsContractException100()
{
try
{
OverlordCardEventArgs overlordCardEventArgs;
overlordCardEventArgs = new OverlordCardEventArgs(1);
((GameEventArgs)overlordCardEventArgs).SenderId = 0;
((GameEventArgs)overlordCardEventArgs).EventId = (string)null;
((GameEventArgs)overlordCardEventArgs).EventType = (EventType)0;
((GameEventArgs)overlordCardEventArgs).NeedResponse = false;
string[] ss = new string[1];
ss[0] = "-0:";
this.PopulateWithArgs(overlordCardEventArgs, ss);
throw
new AssertFailedException("expected an exception of type ContractException");
}
catch(Exception ex)
{
if (!PexContract.IsContractException(ex))
throw ex;
}
}
public OverlordCardEventArgs Constructor01(string[] stringArgs)
{
OverlordCardEventArgs target = new OverlordCardEventArgs(stringArgs);
return target;
// TODO: add assertions to method OverlordCardEventArgsTest.Constructor01(String[])
}
public OverlordCardEventArgs Constructor(int overlordCardId)
{
OverlordCardEventArgs target = new OverlordCardEventArgs(overlordCardId);
return target;
// TODO: add assertions to method OverlordCardEventArgsTest.Constructor(Int32)
}
