public void ToString01482()
{
string s;
CoordinatesEventArgs s0 = new CoordinatesEventArgs(0, 0);
((GameEventArgs)s0).SenderId = 0;
((GameEventArgs)s0).EventId = (string)null;
((GameEventArgs)s0).EventType = (EventType)0;
((GameEventArgs)s0).NeedResponse = false;
s = this.ToString01(s0);
Assert.AreEqual<string>("0,0", s);
Assert.IsNotNull((object)s0);
Assert.AreEqual<int>(0, s0.X);
Assert.AreEqual<int>(0, s0.Y);
Assert.AreEqual<int>(0, ((GameEventArgs)s0).SenderId);
Assert.AreEqual<string>((string)null, ((GameEventArgs)s0).EventId);
Assert.AreEqual<EventType>((EventType)0, ((GameEventArgs)s0).EventType);
Assert.AreEqual<bool>(false, ((GameEventArgs)s0).NeedResponse);
}
public void PopulateWithArgs203()
{
CoordinatesEventArgs s0 = new CoordinatesEventArgs(0, 0);
((GameEventArgs)s0).SenderId = 0;
((GameEventArgs)s0).EventId = (string)null;
((GameEventArgs)s0).EventType = (EventType)0;
((GameEventArgs)s0).NeedResponse = false;
string[] ss = new string[2];
ss[0] = "0";
ss[1] = "0";
this.PopulateWithArgs(s0, ss);
Assert.IsNotNull((object)s0);
Assert.AreEqual<int>(0, s0.X);
Assert.AreEqual<int>(0, s0.Y);
Assert.AreEqual<int>(0, ((GameEventArgs)s0).SenderId);
Assert.AreEqual<string>((string)null, ((GameEventArgs)s0).EventId);
Assert.AreEqual<EventType>((EventType)0, ((GameEventArgs)s0).EventType);
Assert.AreEqual<bool>(false, ((GameEventArgs)s0).NeedResponse);
}
public void PopulateWithArgsThrowsContractException115()
{
try
{
CoordinatesEventArgs s0 = new CoordinatesEventArgs(0, 0);
((GameEventArgs)s0).SenderId = 0;
((GameEventArgs)s0).EventId = (string)null;
((GameEventArgs)s0).EventType = (EventType)0;
((GameEventArgs)s0).NeedResponse = false;
string[] ss = new string[2];
ss[0] = "-0\0";
ss[1] = "\0";
this.PopulateWithArgs(s0, ss);
throw
new AssertFailedException("expected an exception of type ContractException");
}
catch(Exception ex)
{
if (!PexContract.IsContractException(ex))
throw ex;
}
}
public CoordinatesEventArgs Constructor01(string[] stringArgs)
{
CoordinatesEventArgs target = new CoordinatesEventArgs(stringArgs);
return target;
// TODO: add assertions to method CoordinatesEventArgsTest.Constructor01(String[])
}
public CoordinatesEventArgs Constructor(int x, int y)
{
CoordinatesEventArgs target = new CoordinatesEventArgs(x, y);
return target;
// TODO: add assertions to method CoordinatesEventArgsTest.Constructor(Int32, Int32)
}