public void PopulateWithArgs814()
{
TokenEventArgs tokenEventArgs;
tokenEventArgs = new TokenEventArgs(1);
((GameEventArgs)tokenEventArgs).SenderId = 0;
((GameEventArgs)tokenEventArgs).EventId = (string)null;
((GameEventArgs)tokenEventArgs).EventType = (EventType)0;
((GameEventArgs)tokenEventArgs).NeedResponse = false;
string[] ss = new string[1];
ss[0] = "0";
this.PopulateWithArgs(tokenEventArgs, ss);
Assert.IsNotNull((object)tokenEventArgs);
Assert.AreEqual<int>(0, tokenEventArgs.NumberOfTokens);
Assert.AreEqual<int>(0, ((GameEventArgs)tokenEventArgs).SenderId);
Assert.AreEqual<string>((string)null, ((GameEventArgs)tokenEventArgs).EventId);
Assert.AreEqual<EventType>
((EventType)0, ((GameEventArgs)tokenEventArgs).EventType);
Assert.AreEqual<bool>(false, ((GameEventArgs)tokenEventArgs).NeedResponse);
}
public void ToString01712()
{
TokenEventArgs tokenEventArgs;
string s;
tokenEventArgs = new TokenEventArgs(1);
((GameEventArgs)tokenEventArgs).SenderId = 0;
((GameEventArgs)tokenEventArgs).EventId = (string)null;
((GameEventArgs)tokenEventArgs).EventType = (EventType)0;
((GameEventArgs)tokenEventArgs).NeedResponse = false;
s = this.ToString01(tokenEventArgs);
Assert.AreEqual<string>("1", s);
Assert.IsNotNull((object)tokenEventArgs);
Assert.AreEqual<int>(1, tokenEventArgs.NumberOfTokens);
Assert.AreEqual<int>(0, ((GameEventArgs)tokenEventArgs).SenderId);
Assert.AreEqual<string>((string)null, ((GameEventArgs)tokenEventArgs).EventId);
Assert.AreEqual<EventType>
((EventType)0, ((GameEventArgs)tokenEventArgs).EventType);
Assert.AreEqual<bool>(false, ((GameEventArgs)tokenEventArgs).NeedResponse);
}
public void PopulateWithArgsThrowsContractException208()
{
try
{
TokenEventArgs tokenEventArgs;
tokenEventArgs = new TokenEventArgs(1);
((GameEventArgs)tokenEventArgs).SenderId = 0;
((GameEventArgs)tokenEventArgs).EventId = (string)null;
((GameEventArgs)tokenEventArgs).EventType = (EventType)0;
((GameEventArgs)tokenEventArgs).NeedResponse = false;
string[] ss = new string[1];
this.PopulateWithArgs(tokenEventArgs, ss);
throw
new AssertFailedException("expected an exception of type ContractException");
}
catch(Exception ex)
{
if (!PexContract.IsContractException(ex))
throw ex;
}
}
public TokenEventArgs Constructor01(string[] stringArgs)
{
TokenEventArgs target = new TokenEventArgs(stringArgs);
return target;
// TODO: add assertions to method TokenEventArgsTest.Constructor01(String[])
}
public TokenEventArgs Constructor(int numberOfTokens)
{
TokenEventArgs target = new TokenEventArgs(numberOfTokens);
return target;
// TODO: add assertions to method TokenEventArgsTest.Constructor(Int32)
}
