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) }