public void PopulateWithArgs727() { GiveHeroCardsEventArgs giveHeroCardsEventArgs; int[] ints = new int[2]; giveHeroCardsEventArgs = new GiveHeroCardsEventArgs(1, ints); ((GameEventArgs)giveHeroCardsEventArgs).SenderId = 0; ((GameEventArgs)giveHeroCardsEventArgs).EventId = (string)null; ((GameEventArgs)giveHeroCardsEventArgs).EventType = (EventType)0; ((GameEventArgs)giveHeroCardsEventArgs).NeedResponse = false; string[] ss = new string[4]; ss[0] = "1"; ss[1] = "2"; ss[2] = "1"; ss[3] = "1"; this.PopulateWithArgs(giveHeroCardsEventArgs, ss); Assert.IsNotNull((object)giveHeroCardsEventArgs); Assert.AreEqual<int>(1, giveHeroCardsEventArgs.PlayerId); Assert.IsNotNull(giveHeroCardsEventArgs.HeroCardIds); Assert.AreEqual<int>(2, giveHeroCardsEventArgs.HeroCardIds.Length); Assert.AreEqual<int>(1, giveHeroCardsEventArgs.HeroCardIds[0]); Assert.AreEqual<int>(1, giveHeroCardsEventArgs.HeroCardIds[1]); Assert.AreEqual<int>(0, ((GameEventArgs)giveHeroCardsEventArgs).SenderId); Assert.AreEqual<string> ((string)null, ((GameEventArgs)giveHeroCardsEventArgs).EventId); Assert.AreEqual<EventType> ((EventType)0, ((GameEventArgs)giveHeroCardsEventArgs).EventType); Assert.AreEqual<bool> (false, ((GameEventArgs)giveHeroCardsEventArgs).NeedResponse); }
public void ToString0173() { GiveHeroCardsEventArgs giveHeroCardsEventArgs; string s; int[] ints = new int[1]; giveHeroCardsEventArgs = new GiveHeroCardsEventArgs(1, ints); ((GameEventArgs)giveHeroCardsEventArgs).SenderId = 0; ((GameEventArgs)giveHeroCardsEventArgs).EventId = (string)null; ((GameEventArgs)giveHeroCardsEventArgs).EventType = (EventType)0; ((GameEventArgs)giveHeroCardsEventArgs).NeedResponse = false; s = this.ToString01(giveHeroCardsEventArgs); Assert.AreEqual<string>("1,1,0", s); Assert.IsNotNull((object)giveHeroCardsEventArgs); Assert.AreEqual<int>(1, giveHeroCardsEventArgs.PlayerId); Assert.IsNotNull(giveHeroCardsEventArgs.HeroCardIds); Assert.AreEqual<int>(1, giveHeroCardsEventArgs.HeroCardIds.Length); Assert.AreEqual<int>(0, giveHeroCardsEventArgs.HeroCardIds[0]); Assert.AreEqual<int>(0, ((GameEventArgs)giveHeroCardsEventArgs).SenderId); Assert.AreEqual<string> ((string)null, ((GameEventArgs)giveHeroCardsEventArgs).EventId); Assert.AreEqual<EventType> ((EventType)0, ((GameEventArgs)giveHeroCardsEventArgs).EventType); Assert.AreEqual<bool> (false, ((GameEventArgs)giveHeroCardsEventArgs).NeedResponse); }
public void ToString01480() { GiveHeroCardsEventArgs giveHeroCardsEventArgs; string s; int[] ints = new int[15]; giveHeroCardsEventArgs = new GiveHeroCardsEventArgs(int.MaxValue, ints); ((GameEventArgs)giveHeroCardsEventArgs).SenderId = 0; ((GameEventArgs)giveHeroCardsEventArgs).EventId = (string)null; ((GameEventArgs)giveHeroCardsEventArgs).EventType = (EventType)0; ((GameEventArgs)giveHeroCardsEventArgs).NeedResponse = false; s = this.ToString01(giveHeroCardsEventArgs); Assert.AreEqual<string>("2147483647,15,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0", s); Assert.IsNotNull((object)giveHeroCardsEventArgs); Assert.AreEqual<int>(int.MaxValue, giveHeroCardsEventArgs.PlayerId); Assert.IsNotNull(giveHeroCardsEventArgs.HeroCardIds); Assert.AreEqual<int>(15, giveHeroCardsEventArgs.HeroCardIds.Length); Assert.AreEqual<int>(0, giveHeroCardsEventArgs.HeroCardIds[0]); Assert.AreEqual<int>(0, giveHeroCardsEventArgs.HeroCardIds[1]); Assert.AreEqual<int>(0, giveHeroCardsEventArgs.HeroCardIds[2]); Assert.AreEqual<int>(0, giveHeroCardsEventArgs.HeroCardIds[3]); Assert.AreEqual<int>(0, giveHeroCardsEventArgs.HeroCardIds[4]); Assert.AreEqual<int>(0, giveHeroCardsEventArgs.HeroCardIds[5]); Assert.AreEqual<int>(0, giveHeroCardsEventArgs.HeroCardIds[6]); Assert.AreEqual<int>(0, giveHeroCardsEventArgs.HeroCardIds[7]); Assert.AreEqual<int>(0, giveHeroCardsEventArgs.HeroCardIds[8]); Assert.AreEqual<int>(0, giveHeroCardsEventArgs.HeroCardIds[9]); Assert.AreEqual<int>(0, giveHeroCardsEventArgs.HeroCardIds[10]); Assert.AreEqual<int>(0, giveHeroCardsEventArgs.HeroCardIds[11]); Assert.AreEqual<int>(0, giveHeroCardsEventArgs.HeroCardIds[12]); Assert.AreEqual<int>(0, giveHeroCardsEventArgs.HeroCardIds[13]); Assert.AreEqual<int>(0, giveHeroCardsEventArgs.HeroCardIds[14]); Assert.AreEqual<int>(0, ((GameEventArgs)giveHeroCardsEventArgs).SenderId); Assert.AreEqual<string> ((string)null, ((GameEventArgs)giveHeroCardsEventArgs).EventId); Assert.AreEqual<EventType> ((EventType)0, ((GameEventArgs)giveHeroCardsEventArgs).EventType); Assert.AreEqual<bool> (false, ((GameEventArgs)giveHeroCardsEventArgs).NeedResponse); }
public void PopulateWithArgsThrowsContractException9() { try { GiveHeroCardsEventArgs giveHeroCardsEventArgs; int[] ints = new int[1]; giveHeroCardsEventArgs = new GiveHeroCardsEventArgs(1, ints); ((GameEventArgs)giveHeroCardsEventArgs).SenderId = 0; ((GameEventArgs)giveHeroCardsEventArgs).EventId = (string)null; ((GameEventArgs)giveHeroCardsEventArgs).EventType = (EventType)0; ((GameEventArgs)giveHeroCardsEventArgs).NeedResponse = false; this.PopulateWithArgs(giveHeroCardsEventArgs, (string[])null); throw new AssertFailedException("expected an exception of type ContractException"); } catch(Exception ex) { if (!PexContract.IsContractException(ex)) throw ex; } }
public void PopulateWithArgsThrowsContractException344() { try { GiveHeroCardsEventArgs giveHeroCardsEventArgs; int[] ints = new int[1]; giveHeroCardsEventArgs = new GiveHeroCardsEventArgs(1, ints); ((GameEventArgs)giveHeroCardsEventArgs).SenderId = 0; ((GameEventArgs)giveHeroCardsEventArgs).EventId = (string)null; ((GameEventArgs)giveHeroCardsEventArgs).EventType = (EventType)0; ((GameEventArgs)giveHeroCardsEventArgs).NeedResponse = false; string[] ss = new string[12]; ss[0] = "1"; ss[1] = "1"; ss[2] = "1"; ss[3] = "1"; ss[4] = "1"; ss[5] = "1"; ss[6] = "1"; ss[7] = "1"; ss[8] = "1"; ss[9] = "1"; ss[10] = "1"; ss[11] = "1"; this.PopulateWithArgs(giveHeroCardsEventArgs, ss); throw new AssertFailedException("expected an exception of type ContractException"); } catch(Exception ex) { if (!PexContract.IsContractException(ex)) throw ex; } }
public GiveHeroCardsEventArgs Constructor01(string[] stringArgs) { GiveHeroCardsEventArgs target = new GiveHeroCardsEventArgs(stringArgs); return target; // TODO: add assertions to method GiveHeroCardsEventArgsTest.Constructor01(String[]) }
public GiveHeroCardsEventArgs Constructor(int playerId, int[] heroCardIds) { GiveHeroCardsEventArgs target = new GiveHeroCardsEventArgs(playerId, heroCardIds); return target; // TODO: add assertions to method GiveHeroCardsEventArgsTest.Constructor(Int32, Int32[]) }